Newsletter 122
July 20, 2009
*******************************************************************
* 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
* DEADLINES
Upcoming deadlines, LICS abstract deadline next week!
* CONFERENCES AND WORKSHOPS
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
* SERIAL ANNOUNCEMENT
EPTCS
DEADLINES
* FLOC 2010 Workshop Proposal
31.7.2009
http://www.floc-conference.org
* VMCAI 2010
14.8.2009
http://software.imdea.org/events/vmcai10/
* M4M
24.8.2009
http://m4m.loria.fr/M4M6
* ICDT 2010
31.8.2009
http://lbd.epfl.ch/EDBTICDT/
* LABCC 2010
15.9.2009
http://www.cs.swan.ac.uk/greifswald2010/
* ABZ 2010
21.9.2009
http://abzconference.org
* STACS 2010
22.9.2009
http://stacs.loria.fr/
THE 2010 FEDERATED LOGIC CONFERENCE (FLOC 2010)
Edinburgh, Scotland, U.K., July 9-21, 2010
http://www.floc-conference.org
FINAL CALL FOR WORKSHOP PROPOSALS
(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
Edinburgh.
- 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):
http://www.easychair.org/conferences/?conf=floc10cfw
(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
Email: phil@site.uottawa.ca
2010 FEDERATED LOGIC CONFERENCE (FLOC'10)
Edinburgh, Scotland, U.K.
July 9-21, 2010
http://www.floc-conference.org
* 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. (www.edinburgh.org), in July 2010,
at the School of Informatics at University of Edinburgh (www.inf.ed.ac.uk).
* 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
(http://www.floc-conference.org). 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
THE TENTH INTERNATIONAL WORKSHOP ON LOGIC AND COMPUTATIONAL COMPLEXITY
Call for Participation
(LCC'09, www.cs.indiana.edu/lcc)
will be held in Los Angeles on August 10, 2009,
as an affiliated meeting of LiCS'09
(www2.informatik.hu-berlin.de/lics/lics09),
and in conjunction with SAS'09 (sas09.cs.ucdavis.edu).
* 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 www.cs.indiana.edu/lcc/09program.pdf.
* For additional information see www.cs.indiana.edu/lcc,
or email inquiries to lcc@cs.indiana.edu.
Further information about previous LCC meetings can be found at
http://www.cis.syr.edu/~royer/lcc.
* PROGRAM COMMITTEE
* 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)
THE ELEVENTH INTERNATIONAL CONFERENCE ON VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
CALL FOR PAPERS
Madrid, Spain, January 17-19, 2010
(Co-located with POPL 2010)
http://software.imdea.org/events/vmcai10/
* 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
6TH WORKSHOP ON "METHODS FOR MODALITIES" (M4M-6)
SECOND CALL FOR PAPERS
http://m4m.loria.fr/M4M6
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
http://m4m.loria.fr/
* 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
(http://first.dk).
* 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
participants.
* Submissions should be made via EasyChair at the following address:
http://www.easychair.org/conferences/?conf=m4m6
* 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
workshop.
* 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
ICDT 2010 - 13th INTERNATIONAL CONFERENCE ON DATABASE THEORY
Joint conference with EDBT 2010.
March 23-25, 2010, Lausanne, Switzerland
http://lbd.epfl.ch/EDBTICDT/
CALL FOR PAPERS
Abstract submission: Aug 31, 2009;
Paper submission: Sept 6, 2009;
Submission website: http://www.easychair.org/conferences/?conf=icdt2010
* 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.
* IMPORTANT DATES:
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.
THE 7TH INTERNATIONAL CONFERENCE ON FORMAL MODELLING AND ANALYSIS OF
TIMED SYSTEMS (FORMATS 2009)
Call for Participation
co-located with QEST 2009
Budapest, Hungary, 14-16 September 2009
http://www.comlab.ox.ac.uk/FORMATS2009/
* INVITED SPEAKERS:
- 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 http://www.comlab.ox.ac.uk/FORMATS2009/ for further information
and a list of accepted papers.
LOGICAL APPROACHES TO BARRIERS IN COMPUTING AND COMPLEXITY.
February 17-20, 2010, Greifswald, Germany.
http://www.cs.swan.ac.uk/greifswald2010/
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 http://www.cs.swan.ac.uk/greifswald2010/. The deadline for
submissions is 15 September 2009.
ABZ 2010 CONFERENCE : ABSTRACT STATE MACHINES (ASM), ALLOY, B AND Z
February 23-25, 2010, Orford, Québec, Canada
http://abzconference.org
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.
STACS 2010 - 27TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE
CALL FOR PAPERS
MARCH 4-6, 2010, NANCY, FRANCE
http://stacs.loria.fr/
* 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 : http://stacs.loria.fr/
NEW SERIAL ANNOUNCEMENT:
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
arXiv.org. 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 http://eptcs.org/.
Back to the LICS web page.