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

  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)
* 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

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. (,
 in July 2010, at the School of Informatics at the University
 of Edinburgh (
* 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 (, 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
 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)

* JLA becomes the first ASL sponsored journal
  The Association for Symbolic Logic (ASL: 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 ( or
  contact the Editor-in-Chief, Prof Nigel Cutland, University of York,
  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 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:
* 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:
 - Table of Contents:
* 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:

* 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

Back to the LICS web page.