LICS Newsletter 111

LICS Newsletter 111

[Kreutzer + Schweikardt]

Newsletter 111
September 10, 2007

*******************************************************************
* Past issues of the newsletter are available at
  http://www.informatik.hu-berlin.de/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
  can be found at
  http://www.informatik.hu-berlin.de/lics/newsletters/inst.html
* To unsubscribe, send an email with "unsubscribe" in the
  subject line to lics@informatik.hu-berlin.de
*******************************************************************

TABLE OF CONTENTS
* BOOK ANNOUNCEMENTS
  Reactive Systems - Aceto, Ingolfsdottir, Larsen, and Srba
* CONFERENCES AND WORKSHOPS
  LICS 2008 - Call for Workshop Proposals
  M4M-5
  ICALP 2008 - Second Call for Workshop Proposals
  PODS 2008 - Call for Papers
  SAT 2008 - Call for Papers


REACTIVE SYSTEMS: MODELLING, SPECIFICATION AND VERIFICATION
    by Luca Aceto, Anna Ingolfsdottir, Kim G. Larsen and Jiri Srba
    Cambridge University Press,
    ISBN-13: 9780521875462.
* A textbook providing a balanced introduction to the theory and
  practice of concurrency for advanced undergraduates and graduate
  students. It describes various approaches for the modelling,
  specification and verification of reactive systems, their strengths
  and weaknesses, and when they are best used. The book has arisen
  from various courses taught in Iceland, Denmark and elsewhere, and
  is designed to give students a broad introduction to the area, with
  exercises throughout.
* Preface;
  Part I. A Classic Theory of Reactive Systems:
  1. Introduction;
  2. The language CCS;
  3. Behavioural equivalences;
  4. Theory of fixed points and bisimulation equivalence;
  5. Hennessy-Milner logic;
  6. Hennessy-Milner logic with recursive definitions;
  7. Modelling and analysis of mutual exclusion algorithms;
  Part II. A Theory of Real-Time Systems:
  8. Introduction;
  9. CCS with time delays;
  10. Timed automata;
  11. Timed behavioural equivalences;
  12. Hennessy-Milner logic with time;
  13. Modelling and analysis of Fischer's algorithm;
  Appendix; Bibliography; Index.
* For more information, please visit:
  http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=3D9780521875462
  http://www.cs.aau.dk/rsbook/


IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2008)
      Call for Workshop Proposals
      24th=E2=80=9327th June 2008,
      Pittsburgh, Pennsylvania, USA
* The Twenty-Third IEEE Symposium on Logic In Computer Science (LICS 2008)
  (see http://www2.informatik.hu-berlin.de/lics/lics08 ) will be held
  in Pittsburgh, Pennsylvania (USA) June 24--27, 2008.  It will be
  colocated with CSF (IEEE Computer Security Foundations).
* Possible dates for workshops are June 21-23
  (i.e. up to three days before LICS).
* Researchers and practitioners are invited to submit proposals for
  workshops on topics relating logic - broadly construed - to computer
  science or related fields. Typically, LICS workshops feature a
  number of invited speakers and a smaller number of contributed
  presentations. LICS workshops do not produce formal proceedings.
  However, in the past there have been special issues of journals
  based in part on certain LICS workshops.
* Proposals should include:
  - A short scientific summary and justification of the proposed topic.
    This should include a discussion of the particular benefits of the
    topic to the LICS community.
  - A discussion of the proposed format and agenda.
  - The proposed duration, which is typically one to two days,
    and your preferred dates.  (important!)
  - Let us know if you would like your workshop to be a joint
    workshop with CSF.
  - Procedures for selecting participants and papers.
  - Expected number of participants (this is important!)
  - Potential invited speakers.
  - Plans for dissemination (for example, special issues of journals).
* Proposals are due Nov. 20, 2007 and should be submitted
  electronically to both of us:

   Adriana Compagnoni
   abc@cs.stevens.edu

   Philip Scott
   phil@site.uottawa.ca

   Workshops Chairs,
   LICS 2008
* Please specify if you wish to have a 1 or 2 day workshop. And your
  preferred dates.
* Workshops will be chosen by a committee consisting of the LICS
  General Chair, LICS Workshop Chairs, LICS 2008 PC Chair and LICS
  2008 Conference Chair.



5th WORKSHOP ON "METHODS FOR MODALITIES" (M4M-5)
   November 29-30, 2007, Cachan, France
   http://m4m.loria.fr/M4M5
* The workshop ``Methods for Modalities'' (M4M) aims to bring together
  researchers interested in developing algorithms, verification methods
  and tools based on modal logics. Here the term ``modal logics'' is
  conceived broadly, including temporal logic, description logic,
  guarded fragments, conditional logic, temporal and hybrid logic, etc.
  To stimulate interaction and transfer of expertise, M4M will feature a
  number of invited talks by leading scientists, research presentations
  aimed at highlighting new developments, and submissions of
  system demonstrations.
  We strongly encourage young researchers and students to submit papers
  and posters, especially for experimental and prototypical software tools
  which are related to modal logics.
* Invited speakers:
  Ahmed Bouajjani (University of Paris 7),
  Patricia Bouyer (OUCL, Oxford - LSV, ENS Cachan),
  Balder ten Cate (University of Amsterdam),
  Koen Claessen (Chalmers University of Technology),
  Wiebe van der Hoek (University of Liverpool)
* Important dates:
  Deadline for submissions: September 7th, 2007
  Notification: October 10, 2007
  Camera ready versions: November 5, 2007
  Workshop dates: November 29-30, 2007
* Paper Submissions: Authors are invited to submit papers in the
  following three categories.
  - Regular papers up to 15 pages, describing original results,
    work in progress, or future directions of research.
  - System descriptions of up to 12 pages, describing new systems or
    significant upgrades of existing ones.
  - Presentation-only papers, describing work recently published
    or submitted (no page limit).  These will not be included in the
    proceedings, but pre-prints or post-prints can be made available to
    participants.
* Final versions of accepted papers will be published online
  in an Elsevier ENTCS volume. A preliminary version of the proceedings
  will also be available at the workshop.



35TH INTERNATIONAL COLLOQUIUM ON AUTOMATA, LANGUAGES AND PROGRAMMING
    Second Call for Affiliated Workshops
    ICALP 2008
    Reykjavik - Iceland
* Conference Dates: July 7-11, 2008
  Affiliated Workshop Dates: July 6, 12, and 13, 2008
* Researchers and practitioners are invited to submit proposals for
  workshops on topics related to the conference tracks, namely:
  Algorithms, Automata, Complexity and Games (track A); Logic,
  Semantics, and Theory of Programming (track B); and Security and
  Cryptography Foundations (track C).
* The purpose of the workshops is to provide participants with a forum
  for presenting and discussing novel ideas in a small and interactive
  atmosphere.
* The main responsibility of organising a workshop goes to the
  chairperson of the workshop.  The format of each workshop is
  determined by its organisers.
* The workshop proposals will be selected by the ICALP organization,
  under advice of the ICALP PC chairs and EATCS.
* Registrations for the workshops affiliated with ICALP 2008 will be
  handled by the ICALP organizing committee.
* Proposals should include:
  - Name and duration (from half a day to two days) of the proposed
    workshop.
  - Preference for a pre- or post-conference workshop, if any.  (Note,
    however, that the final choice of the day when the workshop will be
    held and other logistic aspects will be decided by the organizing
    committee.)
  - A short scientific summary of the topic, including a discussion on
    the relation with the ICALP topics.
  - A description of past versions of the workshop, if any, including
    dates, organisers, submission and acceptance counts, attendance.
  - Procedures  for  selecting participants  and  papers,  and  expected
    number of participants.
  - Plans  for   dissemination  (for  example, published  proceedings or
    special issues of journals).
* IMPORTANT DATES:
  October  31, 2007: Deadline for submitting workshop proposals
  November 21, 2007: Notification of acceptance
* Workshop proposals must be submitted in plain text, PDF or Postscript
  format by e-mail to icalp08@ru.is
* For further information consult the ICALP 2008 web site:
               http://www.ru.is/icalp08
  or contact the ICALP 2008 Workshops Chairs:
  - Bjarni V. Halldorsson <bjarnivh at ru.is>
  - MohammadReza Mousavi  <M.R.Mousavi at tue.nl>


27TH ACM SIGMOD-SIGACT-SIGART SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS
  PODS 2008
  Call for Papers
   June 9-11, 2008, Vancouver, Canada
   http://www.sigmod08.org/
* The PODS symposium series, held in conjunction with the SIGMOD
 conference series, provides a premier annual forum for the
 communication of new advances in the theoretical foundation of
 database systems. For the 27th edition, original research papers
 providing new insights in the specification, design, or
 implementation of data management tools are called for.
* Topics that fit the interests of the symposium include the
 following (as they pertain to databases): algorithms; complexity;
 computational model theory; concurrency; constraints; data
 exchange; data integration; data mining; data modeling; data on
 the Web; data streams; data warehouses; distributed databases;
 information retrieval; knowledge bases; logic; multimedia;
 physical design; privacy; quantitative approaches;query
 languages; query optimization; real-time data; recovery;
 scientific data; security; semantic Web; semi-structured data;
 spatial data; temporal data; transactions; updates; views; Web
 services; workflows; XML.
* Important Dates: Abstracts submission due: 28 Nov 2007;
 Paper submission: 5 Dec 2007; Notification: 26 Feb 2008.


11TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF
   SATISFIABILITY TESTING (SAT 2008)
   Call for Papers
   May 12 - 15, 2008
   Guangzhou, P. R. China
   http://www.upb.de/cs/SAT08
* The International Conference on Theory and Applications of
  Satisfiability Testing is the primary annual meeting for
  researchers studying the propositional satisfiability problem
  (SAT). SA5DT08 is the eleventh SAT conference. SAT08 features the
   SAT Race, the Max-SAT Evaluation, and the QBFEVAL.
* SCOPE
  Many hard combinatorial problems can be encoded into SAT.
  Therefore improvements on heuristics on the practical side, as well
  as theoretical insights into SAT apply to a large range of real-world
  problems. More specifically, many important practical verification
  problems can be rephrased as SAT problems. This applies to
  verification problems in hardware and software. Thus SAT is becoming
  one of the most important core technologies to verify secure and
  dependable systems. The topics of the conference span practical and
  theoretical research on SAT and its applications and include but are
  not limited to proof systems, proof complexity, search algorithms,
  heuristics, analysis of algorithms, hard instances, randomized
  formulae, problem encodings, industrial applications, solvers,
  simplifiers, tools, case studies and empirical results. SAT is
  interpreted in a rather broad sense: besides propositional
  satisfiability, it includes the domain of quantified boolean
  formulae (QBF), constraints programming techniques (CSP) for
  word-level problems and their propositional encoding and
  particularly satisfiability modulo theories (SMT).
* SUBMISSION
  Submissions should contain original material and can either be
  regular research papers up to 14 pages or short papers up to 6
  pages. Double submissions including submissions as short and long
  papers will be rejected.  Submissions should use the Springer
  LNCS style. All appendices, tables, figures and the bibliography
  must fit into the page limit. Submissions deviating from these
  requirements may be rejected without review.
  All accepted papers including short papers will be published
  in the proceedings of the conference. The conference proceedings
  will be published within Springer LNCS series. The submission page is
  http://www.easychair.org/SAT2008. Papers have to be submitted
  electronically as PDF files.
* IMPORTANT DATES
  January 11, 2008  Abstract Submission
  January 18, 2008  Paper Submission
  February 18, 2008 Author Notification
  February 25, 2008 Final Version
* PROGRAM CHAIRS
  Hans Kleine B=C3=BCning, University of Paderborn, Germany
  Xishun Zhao, Sun Yat-Sen University, Guangzhou, P.R. China
* Further information on SAT Race, Max-SAT Evaluation, and QBFEVAL
  will be published also on the SAT08 conference web page.