[FOM] LICS Newsletter 127

Stephan Kreutzer stephan.kreutzer at comlab.ox.ac.uk
Thu May 6 14:30:02 EDT 2010

Newsletter 127
May 1, 2010

* 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
   body to lics at informatik.hu-berlin.de

   Early Registration Deadline
   LICS Test-of-time award winners
   JELIA - Call for Papers
   CLIMA XI - Call for Papers
   MOVEP - Call for Participation
   FLOC 2010 - Call for Participation
   CiE 2010 - Call for Participation
   Journal of Logic and Analysis
   CFP: Special Issue on Verification Techniques
   LIPIcs: Proceedings of STACS

* Early Registration Deadline
   17 May 2010

* For the 2010 LICS Test-of-Time Award, all papers from LICS 1990 were
   considered. The Awards Committee consisted of
   - Glynn Winskel (chair),
   - Jean-Pierre Jouannaud
   - John Mitchell.
* In view of the weight of highly-influential papers, across a range
   of areas, the committee has taken the exceptional step of selecting
   four papers. They are:
   - Model-checking for real-time systems.
     R Alur, C Courcoubetis, D Dill.
     This paper was a pioneer in the model checking of real-time
     systems. It provided a polynomial-space algorithm for the model
     checking of a real-time logic (an extension of CTL with timing
     constraints) with respect to a continuous-time model. Its techniques
     are still used extensively and results of this paper form part of
     almost any course or tutorial on real-time verification.
   - Symbolic model checking: 10^20 states and beyond.
     JR Burch, EM Clarke, KL McMillan, DL Dill, LJ Hwang.
     This paper revolutionized model checking. Through its symbolic
     representation of the state space using Randy Bryant's Binary Decision
     Diagrams (BDDs) and its careful analysis of several forms of model
     checking problems, backed up by empirical results, it provided a first
     convincing attack on the verificationn of large-state systems. The
     paper was a major agent in establishing BDDs as a tool in mainstream
     computer science.
   - The theory of ground rewrite systems is decidable.
     M Dauchet, S Tison.
     This paper asked what has proved to be a very important question,
     whether the first-order theory of one-step rewriting is decidable. The
     paper settled the question positively for the theory of ground rewrite
     systems using innovative techniques on tree automata. Its techniques
     rekindled an interest in automata theory on finite trees, now a major
     topic, with many current applications from rewriting through to
     security, program analysis and concurrency.
   - Recursive types reduced to inductive types.
     P Freyd.
     This paper showed what was really going on with the classic method of
     solving domain equations.  By separating positive and negative
     occurrences of the unknown in a domain equation, it gave an elegant
     category-theoretic treatment of recursively defined domains that
     extends the well-understood and widely-used methods of initial-algebra
     semantics. Its methods are now standard. They led to new techniques
     for relating operational and denotational semantics, and new mixed
     induction/coinduction principles.

   FINAL Call for Papers
   September 13-15, 2010, Helsinki, Finland
* The European Conference on Logics in Artificial Intelligence (JELIA)
   is a biannual forum bringing together researchers interested in
   all aspects concerning the use of logics in Artificial Intelligence
   to discuss current research, results, problems, and applications of both
   theoretical and practical nature.
* Authors are invited to submit papers presenting original and
   unpublished research in all areas related to the use of logics in
   AI, including: abductive and inductive reasoning; answer set
   programming; applications and foundations of logic-based AI systems;
   argumentation systems; automated reasoning including satisfiability
   checking and its extensions; computational complexity and
   expressiveness; description logics and other logical approaches to
   semantic web and ontologies; hybrid reasoning systems; knowledge
   representation, reasoning, and compilation; logic programming and
   constraint programming; logics for uncertain and probabilistic
   reasoning; logics in machine learning; logics in multi-agent
   systems, games, and social choice; non-classical such as modal,
   temporal, spatial, paraconsistent, and hybrid logics; nonmonotonic
   reasoning; belief revision, and updates; planning and diagnosis
   based on logic; preferences; reasoning about actions and causality
* Important Dates: Abstract submission: May 3, 2010; Paper submission:
   May 7, 2010; Notification: June 11, 2010

                                                                (CLIMA XI)
* http://centria.di.fct.unl.pt/events/climaXI/
* Lisbon, Portugal, August 16-17, 2010.
* The purpose of the CLIMA Workshop Series is to provide a forum for
   discussing techniques, based on computational logic, for representing,
   programming and reasoning about agents and multi-agent systems in a
   formal way.
* Following the previous ten, very successful, editions, the 11th CLIMA
   will be affiliated with ECAI'10 and will take place in Lisbon, Portugal,
   on the 16th and 17th of August 2010.
* In addition to CLIMA's regular topics and sessions, this edition will
   feature two special sessions:
   - Norms and Normative Multi-Agent Systems
   - Logics for Games and Strategic Reasoning
* We welcome and encourage the submission of high quality, original
   papers, which have not been accepted for publication nor are currently
   under review for another journal or conference.
* LNCS Proceedings: CLIMA's Proceedings will be published by
   Springer as a volume in the Lecture Notes in Computer Science, and
   will be available in time for the workshop.
* AMAI Special Issue: After the workshop, authors of selected papers will
   be invited to extend and re-submit their work to be considered for inclusion
   in a CLIMA Special Issue of Annals of 
Mathematics and Artificial Intelligence.
* Detailed information regarding CLIMA, its topics of interest, the two Special
   Sessions, formatting and submission instructions is available at
* Important dates:
   Submission: May 7th
   Notification: June 4th
   Camera Ready: June 16th
* CLIMA XI Chairs:
   - Jürgen Dix, Technical University of Clausthal, Germany
   - João Leite, New University of Lisbon, Portugal
* Special Session Organisers:
   - Guido Governatori, NICTA, Australia (Norms and Normative
Multi-Agent Systems)
   - Wojtek Jamroga, University of Luxembourg, Luxembourg (Logics for
     Games and Strategic Reasoning)
* Please send all enquiries about CLIMA XI to clima2010 at easychair.org.

MOVEP 2010 - 9th International Summer School on
  MOdelling and VErifying parallel Processes
  Call for Student Abstracts and Call for Participation
  June 28 -- July 2 2010, Aachen, Germany
* MOVEP is a 5 day summer school about modelling and verifying parallel
  processes. The topics covered by MOVEP 2010 include model checking,
  testing, synthesis, real-time and hybrid systems, games, stochastic
  systems, security, computational systems biology etc.
* Registration is now open
* Speakers: Krishnendu Chatterjee (IST Austria, Vienna), Veronique
  Cortier (LORIA/CNRS, Nancy), Bengt Jonsson (University of Uppsala),
  Joost-Pieter Katoen (RWTH Aachen), Andrew Phillips (Microsoft
  Research Cambridge), James Worrell (Oxford University), Dino
  Distefano (Queen Mary University of London), Martin Fraenzle
  (University of Oldenburg), Blaise Genest (IPAL/CNRS, Singapore),
  Jerome Leroux (LaBRI/CNRS, Bordeaux), Stefan Schwoon (LSV, Cachan)
* Phd Student Session: Submission of extended abstracts until May 21
* Detailed information can be found on the web site

    Edinburgh, Scotland, U.K.
    July 9-21, 2010
*  DEADLINES (All deadlines are firm!):
   - deadline for student travel grant application: 3 MAY 2010.
   - early registration deadline: 17 MAY 2010.
    NEW CANCELLATION POLICY: details are given below.
* The fifth Federated Logic Conference (FLoC'10)
  will be held in Edinburgh, Scotland, U.K. (www.edinburgh.org),
  in July 2010, at the School of Informatics at the University
  of Edinburgh (www.inf.ed.ac.uk).
* FLoC'10 promises to be the premier scientific meeting in
  computational logic in 2010.
  The following conferences will participate in FLoC:
  - CAV 2010:   Int'l Conference on Computer-Aided Verification
  - CSF 2010:   IEEE Computer Security Foundations Symposium
  - ICLP 2010:  Int'l Conference on Logic Programming
  - IJCAR 2010: Int'l Joint Conference on Automated Reasoning
  - ITP 2010:   Int'l Conference on Interactive Theorem Proving
  - LICS 2010:  IEEE Symposium on Logic in Computer Science
  - RTA 2010:   Int'l Conference on Rewriting Techniques and Applications
  - SAT 2010:   Int'l Conference on Theory and Applications of
                Satisfiability Testing
  The eight major conferences will be accompanied by more than
  fifty workshops and a number of other affiliated events.
* Program:
  The FLoC'10 program includes plenary talks by David Basin,
  Georg Gottlob, David Harel, and Gordon Plotkin, as well as
  keynote talks by Deepak Kapur and J Strother Moore.
  Please consult the FLoC website for further information on
  invited speakers and contributed talks of all the
  participating conferences.
* The city of Edinburgh:
  Edinburgh (http://www.ed.ac.uk/about/city/introduction), one of the
  most vibrant, cosmopolitan cities in Europe, has been regularly voted
  one of the most desirable places to live in the world - and the
  University is at the heart of it all.
  Located throughout the centre of the city, the campus plays an integral
  part in the activities of Scotland's lively capital.
  Set against a beautiful backdrop of stunning architecture, Edinburgh is
  a welcoming, cosmopolitan city with a large and diverse student population.
  The city offers an exciting array of entertainment, history, culture and
  sport, with the lush Scottish countryside and coastline just a few miles
  away. It is a safe and prosperous city, with an abundance of parks and
  green spaces for recreation and reflection.
  FLoC receptions will be held at the Edinburgh Castle (11 July) and
  the National Galleries of Scotland (16 July).
* Registration:
  For online registration for FLoC, please follow the link on the
  FLoC website at http://floc-conference.org/registration.html
  Registration is now open. The deadline for early registration is
  17 May. Standard rates will apply for those who register between 18 May
  and 30 June. For those who register after 30 June, late rates will apply.
  Note that it is possible to register early, and then add components
  (e.g., additional workshops, additional registration days, etc.) later on.
* Accomodation:
  Very affordable accommodation has been booked at the University's
  Pollock Halls campus, about 15-minute walk from the conference site.
  Room types include single/double rooms with shared facilities/ensuite,
  and standard hotel rooms in a 3-star Victorian mansion.
  Alternatively, blocks of rooms have been booked at several hotels in
  the cite centre. For details, see
* Cancellation Policy:
  If a participant is unable to attend FLoC because of force
  majeure (e.g., volcanic ash causing flight cancellation) or because
  of visa denial, their registration fee and accommodation payments
  will be refunded in full, except for a GBP 50 administrative charge.
* Student Travel Grants:
  FLoC has raised funds to help students with participating in the
  2010 meeting. See details on
* 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

    Ponta Delgada (Azores), Portugal
    June 30 to July 4, 2010
    Call for Participation and Informal Presentations
   There is a remarkable difference in conference style between computer
   science and mathematics conferences. Mathematics conferences allow for
   informal presentations that are prepared very shortly before the
   conference and inform the participants about current research and work
   in progress. The format of computer science conferences with
   pre-conference proceedings is not able to accommodate this form of
   scientific communication.
* Again continuing the tradition of past CiE conferences, this year's
   CiE conference endeavours to get the best of both worlds. In addition
   to the formal presentations based on our LNCS proceedings volume, we
   invite researchers to present informal presentations. For this, please
   send us a brief description of your talk (between one paragraph and
   half a page) by the DEADLINE:
   MAY 15, 2010.
   Please submit your abstract electronically, via EasyChair, selecting the
   category "Informal Presentation".
* You will be notified whether your talk has been accepted for informal
   presentation usually within a week after your submission, so if you
   intend to apply for ASL ASL Student Travel Awards you should submit
   your abstract before March 23rd.
* Let us remind you that we are planning several post-conference
   publications, which will contain full articles of selected CiE 2010
   presentations, including informal presentations.
* You can find these instructions at
   Submission of applications for ASL Student Grants: MARCH 30
   Early registration deadline: MAY 28
   Submission of informal presentations: MAY 15
   Late registration deadline: JUNE 20
   TUTORIALS: Jeffrey Bub (Information, Computation and Physics),
     Bruno Codenotti (Computational Game Theory).
   INVITED SPEAKERS: Eric Allender, Jose L. Balcazar, Shafi Goldwasser,
      Denis Hirschfeldt, Seth Lloyd, Sara Negri, Toniann Pitassi, and Ronald
      de Wolf.
   - Biological Computing, organizers: Paola Bonizzoni, Krishna Narayanan
     Invited speakers: Natasha Jonoska, Giancarlo Mauri, Yasubumi
     Sakakibara, Stephane Vialette
   - Computational Complexity, organizers: Luis Antunes, Alan Selman
     Invited speakers: Eric Allender, Christian Glasser, John Hitchcock,
     Rahul Santhanam
   - Computability of the Physical, organizers: Cris Calude, Barry Cooper
     Invited speakers: Giuseppe Longo, Yuri Manin, Cris Moore, David Wolpert
   - Proof Theory and Computation, organizers: Fernando Ferreira, Martin Hyland
     Invited speakers: Thorsten Altenkirch, Samuel Mimram, Paulo Oliva,
     Lutz Strassburger
    Reasoning and Computation from Leibniz to Boole,
    organizers: Benedikt Loewe, Guglielmo Tamburrini
    Invited speakers: Nimrod Bar-Am, Michele Friend, Olga Pombo, Sara Uckelman
   - Web Algorithms and Computation, organizers: Thomas Erlebach, Martin Olsen
     Invited speakers: Hannah Bast, Debora Donato, Alex Hall, Jeannette Janssen
   Klaus Ambos-Spies (Heidelberg), Luis Antunes (Porto), Arnold Beckmann
   (Swansea), Paola Bonizzoni (Milano), Alessandra Carbone (Paris), Steve
   Cook (Toronto ON), Barry Cooper (Leeds), Erzsebet Csuhaj-Varju
   (Budapest), Fernando Ferreira (Lisbon, co-chair), Nicola Galesi
   (Rome), Luis Mendes Gomes (Ponta Delgada), Rosalie Iemhoff (Utrecht),
   Achim Jung (Birmingham), Michael Kaminski (Haifa), Jarkko Kari
   (Turku), Viv Kendon (Leeds), James Ladyman (Bristol), Kamal Lodaya
   (Chennai), Giuseppe Longo (Paris), Benedikt Loewe (Amsterdam), Elvira
   Mayordomo (Zaragoza, co-chair), Wolfgang Merkle (Heidelberg), Russell
   Miller (New York NY), Dag Normann (Oslo), Isabel Oitavem (Lisbon),
   Joao Rasga (Lisbon), Nicole Schweikardt (Frankfurt), Alan Selman
   (Buffalo NY), Peter van Emde Boas (Amsterdam), Albert Visser (Utrecht)
* http://www.cie2010.uac.pt/

* JLA becomes the first ASL sponsored journal
   The Association for Symbolic Logic (ASL: www.aslonline.org/) has
   agreed to sponsor the Journal of Logic and Analysis, the first in this
   category recently created by the ASL Council.
* The Journal of Logic and Analysis (JLA) is an electronic open access
   peer-reviewed journal ( ISSN 1759-9008) that that examines the
   interaction between ideas or techniques from mathematical logic and
   other areas of mathematics, especially, but not limited to, pure and
   applied analysis. The journal publishes papers in nonstandard analysis
   and related areas of applied model theory; papers involving interplay
   between mathematics and logic (including foundational aspects of such
   interplay); and mathematical papers using or developing analytical
   methods having connections to any area of mathematical logic.
* JLA is intended to be a natural home for papers with an essential
   interaction between mathematical logic and other areas of mathematics,
   rather than for papers purely in logic or analysis.
* Volume 1 (2009) is complete, and papers are currently being
   published in Volume 2 (2010).  Papers are reviewed in MathSciNet and
   Zentralblatt MATH
* For further information about JLA (Editorial Board, how to submit
   papers etc) visit the website (http://logicandanalysis.org/) or
   contact the Editor-in-Chief, Prof Nigel Cutland, University of York,
   UK (nc507 at york.ac.uk).

   Science of Computer Programming
   Guest editor: Markus Roggenbach
   Second Call For Papers
* The (corrected) deadline for submissions is May 31st, 2010.
* This special issue is devoted to the scope of the international
   workshop on Automated Verification of Critical Systems (AVoCS 2009 -
   see http://www.cs.swan.ac.uk/avocs09/index.php) which Swansea
   University hosted in September 2009. AVoCS is devoted to tools
   and techniques for the verification of critical systems. These topics
   are to be interpreted broadly and inclusively.
* Typical, but not exclusive topics of interest are:
   - Model Checking,
   - Automatic and Interactive Theorem Proving,
   - Abstract Interpretation,
   - Specification and Refinement,
   - Requirements Capture and Analysis,
   - Verification of Software and Hardware,
   - Verification of Security-Critical Systems,
   - Probabilistic and Real-Time Systems,
   - Verified System Development, and
   - Industrial Applications.
* Submission to this special issue is completely open. We expect
   original articles (typically 15-30 pages) that present high-quality
   contributions that have not been previously published in an archival
   venue and that must not be simultaneously submitted for publication
* Submissions must comply with SCP's author guidelines (see
   be written in English, and be formatted using LaTeX.
* Submission to this special issue are hereby encouraged via the
   EasyChair submission system at

  Proceedings of STACS'10
  Editors: Jean-Yves Marion, Thomas Schwentick
  Series: LIPIcs (Leibniz International Proceedings in Informatics)
  Publisher: Schloss Dagstuhl
  ISBN: 978-3-939897-16-3
* Access:
  Open access (online and free of charge) at
* About STACS:
  The "Symposium on Theoretical Aspects of Computer Science" (STACS)
  takes place each year since 1984, alternately in Germany and France.
  See also: http://www.stacs-conf.org/
* About the proceedings:
  The STACS conference of March 4-6, 2010, held in Nancy, is the 27th
  in this series. The STACS 2010 call for papers led to over 238
  submissions from 40 countries. Each paper was assigned to three
  program committee members. The committee selected 54 papers.
  See also:
  - Foreword: http://dx.doi.org/10.4230/LIPIcs.STACS.2010.2439
  - Table of Contents: http://dx.doi.org/10.4230/LIPIcs.STACS.2010.2505
* About LIPIcs:
  "LIPIcs: Leibniz International Proceedings in Informatics" is a
  series of high-quality conference proceedings across all fields in
  informatics established in cooperation with
  "Schloss Dagstuhl--Leibniz Center of Informatics".
  See also: http://www.dagstuhl.de/en/publications/lipics/

* One PhD studentship is available in the School of Computer
  Science at the University of Manchester to conduct research and
  make original contrbutions to an EPSRC Research Project with
  the aim to automatically generate implemented automated
* The studentship is available for up to three years with a
  stipend of 13,290 pounds per annum (tax free), full university
  registration fees for UK/EU students, a contribution of about
  74% to the university registration fees for Non-EU
  international students, plus travel money for attending
* Closing date for applications: 14 May 2010
* Anticipated start date: July - September 2010
* For more details please consult
  or contact Dr Renate Schmidt at schmidt at cs.man.ac.uk.

You are subscribed to the LICS Newsletter. To unsubscribe
please send an email to majordomo at comlab.ox.ac.uk with the keyword
'unsubscribe' in the message body. If you want help with using the
mailing list, please send 'help' in the body of an email to
majordomo at comlab.ox.ac.uk.

More information about the FOM mailing list