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.