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 email@example.com ******************************************************************* 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: firstname.lastname@example.org 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 email@example.com. 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.