Newsletter 122
July 20, 2009

* Past issues of the newsletter are available at
* Instructions for submitting an announcement to the newsletter
  can be found at
* To unsubscribe, send an email with "unsubscribe" in the
  subject line to

  Upcoming deadlines, LICS abstract deadline next week!
  FLOC 2010 - Final Call for Workshop Proposals
  FLOC 2010 - First Announcement
  LCC 2009 - Call for Participation
  VMCAI 2010 - Call for Papers
  M4M-6 - Call for Papers
  ICDT 2010 - Call for Papers
  FORMATS 2009 - Call for Participation
  LABCC 2010 - Call for Papers
  ABZ 2010 - Call for Papers
  STACS 2010 - Call for Papers

* FLOC 2010 Workshop Proposal
* VMCAI 2010
* M4M
* ICDT 2010
* LABCC 2010
* ABZ 2010
* STACS 2010

  Edinburgh, Scotland, U.K., July 9-21, 2010
  (proposals are due by July 31, 2009)
* The fifth Federated Logic Conference (FLoC'10), will be 9-21 July, 2010
  hosted by the University of Edinburgh. The following seven conferences
  will participate in FLoC:
  - International Conference on Computer-Aided Verification (CAV).
    Workshop Chair: Tomas Vojnar .
  - International Conference on Logic Programming (ICLP).
    Workshop Chair: Veronica Dahl .
  - International Joint Conference on Automated Reasoning (IJCAR).
    Workshop Chair: Aaron Stump .
  - International Conference on Interactive Theorem Proving (ITP).
    Workshop Chair: Michael Norrish .
  - IEEE Symposium on Logic in Computer Science (LICS).
    Workshop Co-Chairs: Adriana Compagnoni  and
    Maribel Fernandez .
  - International Conference on Rewriting Techniques and Applications (RTA).
    Workshop Chair: Christopher A. Lynch .
  - International Conference on Theory and Applications of
    Satisfiability Testing (SAT).
    Workshop Chair: Carsten Sinz .
* The organizers have made arrangements to facilitate the running of
  pre-, post-, and mid-FLoC workshops. Each workshop will have its own
  registration, with uniform FLoC workshop fees. It is not necessary to
  register for FLoC in order to attend workshops. Meeting rooms and
  accommodations will be reserved by the university in the center of
  - Pre-FLoC workshops:  Friday & Saturday, July 9-10
  - Mid-FLoC workshops:  Wednesday & Thursday, July 14-15
  - Post-FLoC workshops: Tuesday & Wednesday, July 20-21.
* Researchers and practitioners are invited to submit proposals for
  workshops on topics relating logic, broadly understood, applied to
  computer science. Each workshop proposal must indicate one sponsoring
  conference among the participating conferences.  (It is suggested
  that prospective workshop organizers contact the relevant conference
  Workshop Chair before submitting a proposal.) Workshops will have to be
  financially self-supporting, unless the sponsoring conference
  accepts financial responsibility. The FLoC Organizing Committee will
  determine the final list of accepted workshops based on the recommendations
  from the Workshop Chairs of the sponsoring conferences and subject to
  the availability of space and facilities.
* Proposals should consist of two parts. First, a short scientific
  justification of the proposed topic, its significance, and the
  particular benefits of the workshop to the community, as well as a list of
  previous or related workshops (if relevant). A second, organizational  part
  should include:
  - contact information of the workshop organizers
  - proposed sponsoring conference
  - estimate of the audience size
  - proposed format and agenda (for example, demo sessions, tutorials, etc.)
  - potential invited speakers
  - procedures for selecting papers and participants
  - plans for dissemination, if any (for example, special issues of journals)
  - duration (which may vary from one day to two days) and
    preferred period
  - special technical or AV needs.
* Workshops are strongly encouraged to find external financial support.
  This will be wholly their responsibility. Modest funding, based upon
  numbers of registrants, minus FLoC local expenses, will be made available
  to each workshop.
* Proposals are due by July 31, 2009. Organizers will be notified by
  September 15, 2009. Proposals should be submitted electronically
  to EasyChair at the following address (which opens June 18, 2009):
  (Clearly indicate at the top of the proposal the relevant conference.)
  For further enquiries or information, please contact:
  Philip Scott (FLoC Workshop Chair)
  Department of Mathematics and Statistics
  University of Ottawa
  Ottawa, Ont. Canada  K1N 6N5

  Edinburgh, Scotland, U.K.
  July 9-21, 2010
* In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted
  the first Federated Logic Conference (FLoC). It was modeled after the
  successful Federated Computer Research Conference (FCRC), and synergetically
  brought together conferences that apply logic to computer science.  The
  second Federated Logic Conference (FLoC'99) was held in Trento, Italy,
  in 1999, the third (FLoC'02) was held in Copenhagen, Denmark, in 2002, and
  the fourth (FLoC'06) was held in Seattle, Washington, USA.
* We are pleased to announce the fifth Federated Logic Conference (FLoC'10)
  to be held in Edinburgh, Scotland, U.K. (, in July 2010,
  at the School of Informatics at University of Edinburgh (
* The following conferences will participate in FLoC:
  Int'l Conference on Computer-Aided Verification (CAV)
  Int'l Conference on Logic Programming (ICLP)
  Int'l Joint Conference on Automated Reasoning (IJCAR)
  Int'l Conference on Interactive Theorem Proving (ITP)
  IEEE Symposium on Logic in Computer Science (LICS)
  Int'l Conference on Rewriting Techniques and Applications (RTA)
  Int'l Conference on Theory and Applications of Satisfiability Testing (SAT)
* Pre-conference workshops will be held on July 9-10.  ITP, LICS, RTA, and SAT
  will be held in parallel on July 11-14, to be followed by mid-conference
  workshops on July 14-15. CAV, ICLP, and IJCAR will be held in parallel on
  July 16-19, to be followed by post-conference workshops on July 20-21.
  Plenary events involving all the conferences are planned. There will be
  receptions in the Edinburgh Castle and at the National Galleries of Scotland.
* The call for workshop proposals can be found at the FLoC web page
  ( Calls for papers will be issued in the
  near future. For additional information regarding the participating meetings,
  please check the FLoC web page later this summer.
* FLoC'10 Steering Committee:
   - General Chair: Moshe Y. Vardi
   - Conference Co-chairs: Leonid Libkin, Gordon Plotkin
   - CAV Representative: Edmund Clarke
   - ICLP Representative: Manuel Hermenegildo
   - IJCAR Representative: Alan Bundy
   - ITP Representative: Tobias Nipkow
   - LICS Representative: Martin Abadi
   - RTA Representative: Juergen Giesl
   - SAT Representative: Enrico Giunchiglia
   - EasyChair Representative: Andrei Voronkov

   Call for Participation
   will be held in Los Angeles on August 10, 2009,
   as an affiliated meeting of LiCS'09
   and in conjunction with SAS'09 (
* LCC meetings are aimed at the foundational interconnections between
  logic and computational complexity, as present, for example, in implicit
  computational complexity (descriptive and type-theoretic methods);
  deductive formalisms as they relate to complexity (e.g. ramification,
  weak comprehension, bounded arithmetic, linear logic and resource logics);
  complexity aspects of finite model theory and databases;
  complexity-mindful program derivation and verification;
  computational complexity at higher type; and proof complexity.
* The LCC'09 program consists of invited lectures by Andrei Bulatov,
  Martin Hofmann, Phokion Kolaitis, Lars Kristiansen, and
  Michel de Rougemont, as well as contributed papers.
  The full program is available at
* For additional information see,
  or email inquiries to
  Further information about previous LCC meetings can be found at
   * Patrick Baillot (CNRS-ENS Lyons, Co-chair)
   * Markus Lohrey (Leipzig, Co-Chair)
   * Albert Atserias (UP de Catalunya)
   * Pablo Barcelo (U de Chile)
   * Arnold Beckmann (Swansea)
   * Lauri Hella (Tampere)
   * Andrei Krokhin (Durham)
   * Chris Pollett (San Jose SU)
* STEERING COMMITTEE: Michael Benedikt (Oxford, Co-chair),
  Daniel Leivant (Indiana U, Co-chair), Robert Constable (Cornell),
  Anuj Dawar (Cambridge), Fernando Ferreira (Lisbon),
  Martin Hofmann (U Munich), Neil Immerman (U Mass. Amherst),
  Neil Jones (Copenhagen), Bruce Kapron (U Victoria),
  Jean-Yves Marion (LORIA Nancy), Luke Ong (Oxford),
  Martin Otto (Darmstadt), James Royer (Syracuse),
  Helmut Schwichtenberg (U Munich), and Pawel Urzyczyn (Warsaw)

   Madrid, Spain, January 17-19, 2010
  (Co-located with POPL 2010)
* VMCAI  provides  a  forum  for  researchers from  the  communities  of
  Verification,    Model   Checking,   and    Abstract   Interpretation,
  facilitating  interaction,  cross-fertilization,  and  advancement  of
  hybrid methods. VMCAI'10 is co-located with the POPL'10 conference.
* The  program of  VMCAI'10 will  consist of  invited  lectures, invited
  tutorials,   refereed  research   papers,  and   tool  demonstrations.
  Research contributions can report  new results as well as experimental
  evaluations  and comparisons of  existing techniques.  Topics include,
  but are not limited to:
    program verification         program certification
    model checking               debugging techniques
    abstract interpretation      abstract domains
    static analysis              type systems
    deductive methods            optimization
* Submissions   can   address   any  programming   paradigm,   including
  concurrent,    constraint,   functional,   imperative,    logic,   and
  object-oriented programming.   Papers must describe  original work, be
  written and  presented in English, and must  not substantially overlap
  with  papers  that have  been  published  or  that are  simultaneously
  submitted to a journal or  a conference with refereed proceedings. The
  proceedings  will be  published by  Springer in  the Lecture  Notes in
  Computer Science series.
  Please visit the conference website for more information.
* Important Dates:
  - Submission of abstracts:    August 14, 2009
  - Submission of papers:       August 21, 2009
  - Notification of acceptance: October 2, 2009
  - Final version due:          October 30, 2009
  - Conference:                 January 17-19, 2010
* Program Chairs:
   Gilles Barthe, IMDEA Software, Spain
   Manuel Hermenegildo, IMDEA Software and T. U. of Madrid, Spain
* Program Committee:
   Christel Baier, Technische Universität Dresden, Germany
   Patrick Cousot, École Normale Supérieure, France
   Javier Esparza, Technische Universität München, Germany
   Patrice Godefroid, Microsoft Research, USA
   Orna Grumberg, Technion, Israel
   Sumit Gulwani, Microsoft Research, USA
   Joxan Jaffar, National University of Singapore
   Rustan Leino, Microsoft Research, USA
   Ken McMillan, Cadence, USA
   Markus Müller-Olm, Universität Münster, Germany
   Hanne Riis Nielson, Technical University of Denmark
   Xavier Rival, École Normale Supérieure and INRIA, France
   David Sands, Chalmers University of Technology, Sweden
   David Schmidt, Kansas State University, USA
   Hongseok Yang, Queen Mary, University of London, United Kingdom
   Kwangkeun Yi,Seoul National University, Korea
   Greta Yorsh, IBM TJ Watson Research Center, NY, USA

   Copenhagen, Denmark
   November 12-14, 2009
* Scope
  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.
* More information about the previous editions can be found at
* M4M-6 will be preceded by a two-day mini-course aimed at preparing
  PhD students and other researchers for participation in the workshop.
  The mini-course is associated with the FIRST research school
* Paper Submissions
  Authors are invited to submit papers in the following three categories.
  - Regular papers up to 15 pages, describing original 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
* Submissions should be made via EasyChair at the following address:
* Final versions of accepted papers will be published online in a volume
  of Elsevier Electronic Notes in Theoretical Computer Science (ENTCS).
  A preliminary version of the proceedings will also be available at the
* Important dates
  Deadline for submissions: August 24, 2009
  Notification: October 5, 2009
  Camera ready versions: October 26, 2009
  Workshop dates: November 12-14, 2009
* Program Committee
   Carlos Areces, INRIA Lorraine
   Lars Birkedal, IT University of Copenhagen
   Patrick Blackburn, INRIA Lorraine
   Thomas Bolander (co-chair), Technical University of Denmark
   Julian Bradfield, University of Edinburgh
   Torben Braüner (co-chair), Roskilde University
   Balder ten Cate, University of Amsterdam
   Stephane Demri, ENS de Cachan
   Hans van Ditmarsch, University of Otago
   Melvin Fitting, City University of New York
   John Gallagher, Roskilde University
   Mai Gehrke, Radboud University Nijmegen
   Silvio Ghilardi, University of Milano
   Valentin Goranko, University of the Witwatersrand
   Rajeev Goré, ANU
   Michael R. Hansen, Technical University of Denmark
   Andreas Herzig, IRIT
   Wiebe van der Hoek, University of Liverpool
   Martin Lange, LMU München
   Carsten Lutz, Dresden University of Technology
   Angelo Montanari, University of Udine
   Valeria de Paiva, Cuill Inc.
   Renate Schmidt, University of Manchester
   Thomas Schneider, University of Manchester
   Carsten Schürmann, IT University of Copenhagen
   Gert Smolka, Saarland University
   Anders Søgaard, University of Copenhagen
   Jørgen Villadsen, Technical University of Denmark
   Frank Wolter, University of Liverpool
   Thomas Ågotnes, Bergen University College

  Joint conference with EDBT 2010.
  March 23-25, 2010, Lausanne, Switzerland
  Abstract submission: Aug 31, 2009;
  Paper submission: Sept 6, 2009;
  Submission website:
* The series of ICDT conferences provides an international forum for the
  communication of research advances on the theoretical foundations of
  database systems. Originally biennial, the conference is now held
  annually and jointly with EDBT. Now for the 13th edition, we again
  call for original research papers that provide new insights in the
  specification, design, or implementation of data management tools.
* ICDT 2010 covers a broad range of topics. We welcome papers on topics
  including, but not limited to, the following: Access methods and
  physical design; Active databases; Complexity and performance;
  Constraint databases; Data exchange and integration; Data mining;
  Data models and query languages; Data streams; Databases and
  information retrieval; Probabilistic databases; Databases and workflow;
  Databases and the Semantic Web; Databases in e-commerce and in
  e-services; Deductive databases; Distributed databases; Integrity and
  security; Logic and databases; Query optimization; Query processing;
  Real-time databases; Semi-structured, XML, and Web data; Spatial data;
  Temporal data; Transaction management; Views and data warehousing.
* The proceedings will appear in the ACM International Conference
  Proceedings Series. The access to the electronic proceedings will be
  completely  free.
  Abstract submission: Aug 31, 2009;
  Paper submission: Sept 6, 2009;
  Notification: End of Nov, 2009;
  Camera ready copy due: Jan 17, 2010.
* PROGRAM COMMITTEE: Henrik Bjorklund, Toon Calders, Venkatesan
  Chakaravarthy, Edith Cohen, Sara Cohen, Alin Deutsch, Sudipto Guha,
  Claudio Gutierrez, Benny Kimelfeld, Solmaz Kolahi, Bart Kuijpers,
  Maurizio Lenzerini, Sebastian Maneth, Wim Martens, Dan Olteanu, Rina
  Panigrahy, Reinhard Pichler, Alkis Polyzotis, Luc Segoufin (chair),
  Cristina Sirangelo.

                                        TIMED SYSTEMS (FORMATS 2009)
  Call for Participation
  co-located with QEST 2009
  Budapest, Hungary, 14-16 September 2009
  - Jan Beutel, ETH Zurich (joint with QEST)
  - Nikolaj Bjorner, Microsoft Research, USA
  - Stephane Gaubert, INRIA Saclay -- Ile-de-France, France
  - George J. Pappas, Univ. Pennsylvania, USA
* See for further information
  and a list of accepted papers.

  February 17-20, 2010, Greifswald, Germany.
  Call for papers
* The "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagen
  der Exakten Wissenschaften" (DVMLG), the "Polskie Towarzystwo Logiki
  i Filozofii Nauki" (PTLiFN), the "Association Computability in Europe"
  (ACiE) and the "European Association for Computer Science Logic"
  (EACSL) jointly organize this workshop.  The workshop is sponsored by
  the Stiftung Alfried Krupp Kolleg Greifswald, and takes place at the
  Alfried Krupp Wissenschaftskolleg in Greifswald, Germany.
* Keynote speakers are Alessandra Carbone (Paris, France), Lance Fortnow
  (Evanston, IL, U.S.A.), Erich Graedel (Aachen, Germany), Pascal Koiran
  (Lyon, France), Leszek Kolodziejczyk (Warsaw, Poland), and Antonina
  Kolokolova (St.John's, NL, Canada).  There will be a special session
  on "Complexity in Arbitrary Structures" organised by Christine Gassner
  (Greifswald, Germany) and Martin Ziegler (Paderborn, Germany).
  The Programme Committee consists of  Zofia Adamowicz, Franz Baader,
  Arnold Beckmann (chair), Sam Buss, Manfred Droste, Christine Gassner,
  Peter Koepke, Benedikt Loewe, Johann Makowsky, Elvira Mayordomo,
  Damian Niwinski, Wolfgang Thomas, and Martin Ziegler.
* The Programme Committee cordially invites all researchers in the area
  of the workshop to submit their extended abstracts for presentation at
  the workshop.  Further details about submission can be found on our
  website  The deadline for
  submissions is 15 September 2009.

  February 23-25, 2010, Orford, Québec, Canada
  Call for papers
* Important dates:
  September 21, 2009:   Submission of full papers.
  October 11, 2009:     Submission of extended abstracts for
                        short presentations.
  November 17, 2009:    Submission of tutorial proposals.
* ABZ is a conference series on four rigorous methods (Abstract State
  Machines (ASM), Alloy, B and Z) that share a common conceptual
  foundation and are widely used in both academia and industry for the
  design and analysis of hardware and software systems.

  MARCH 4-6, 2010, NANCY, FRANCE
* Scope : Typical areas include (but are not limited to)  Algorithms
and data structures (including: parallel and distributed algorithms,
 computational geometry, cryptography, algorithmic learning theory);
Automata and formal languages; Computational and structural
complexity; Logic in computer science ( including: semantics,
specification, and verification of programs, rewriting and deduction);
Current challenges (for example: biological computing, quantum
computing, mobile and net computing).
* Invited speakers:
  Mikolaj Bojanczyk, Warsaw University,
  Rolf Niedermeier, University of Jena,
  Jacques Stern, Ecole Normale Supérieure
* Important dates :
  - Deadline for submission: September 22, 2009
  - Notification to authors: November 26, 2009
  - Final version: December 18, 2009
* Detailed information can be found on the webpage :

  Electronic Proceedings in Theoretic Computer Science (EPTCS)
* EPTCS is a new international refereed open access venue for the
  rapid electronic publication of the proceedings of workshops and
  conferences, and of festschrifts, etc, in the general area of
  theoretical computer science, broadly construed.
* We do not charge authors or event organisers for electronic
  publication in EPTCS in any way. Copyright on all papers is retained
  by the author, and full-text electronic access to all papers is
  freely available, without any need for registration or subscription.
* Permanent archival of EPTCS publications is ensured by organising
  EPTCS as an overlay of the Computing Research Repository (CoRR): see The content of EPTCS will be indexed by DBLP.
* Only original papers will be considered for publication in EPTCS:
  manuscripts are accepted for review by an EPTCS conference or workshop
  with the understanding that the same work has not been published, nor
  is presently submitted, elsewhere. However, full versions of extended
  abstracts published in EPTCS, or substantial revisions, may later be
  published elsewhere.
* Our editorial board consists of:
  Luca Aceto              Rob van Glabbeek (EiC)  Gordon Plotkin
  Rajeev Alur             Lane A. Hemaspaandra    Vladimiro Sassone
  Krzysztof R. Apt        Matthew Hennessy        Robert H. Sloan
  Lars Arge               Bartek Klin             Wolfgang Thomas
  Ran Canetti             Evangelos Kranakis      Irek Ulidowski
  Luca Cardelli           Shay Kutten             Dorothea Wagner
  Rocco De Nicola         Nancy Lynch             Martin Wirsing
  Jose' Luiz Fiadeiro     Aart Middeldorp         Moti Yung
  Wan Fokkink             Benjamin Pierce
* Further information can be found at   

Back to the LICS web page.