Newsletter 111
September 21, 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=9780521875462
http://www.cs.aau.dk/rsbook/
IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2008)
Call for Workshop Proposals
24th–27th 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:
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
- MohammadReza Mousavi
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üning, 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.
Back to the LICS web page.