Newsletter 113
January 14, 2008

* 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

  LICS 2008 - Abstract Deadline TODAY
  LICS 2008 - List of Workshops
  Ackermann Award 2008 - Call for Nominations
  CSL 2008 - Call for Papers/Panels/Workshops
  CAV 2008 - Call for Papers
  AMAST 2008 - Call for Papers
  CONCUR 2008 - Call for Papers

* The deadline for submitting a title and short abstract to LICS 2008
  is TODAY, Monday January 14 11:59pm EST.
* The deadline for extended abstracts is
  11:59pm EST, Monday, January 21, 2008.

  There will be five workshops co-located with LICS 2008.
* June 21:  (CoLocated with CSF)
     (L.Bauer, S.Etalle, J.den Hartog, L.Vigano)
  - Security and Rewriting, SecRet2008
     (Dan Dougherty, Santiago Escobar)
* June 22:
  - FCS-ARSPA-WITS (continued from the 21st)
  - Proof-Carrying Code PCC08
    (Ian Stark, David Aspinall)
* June 23:
  - Intuitionist Modal Logics and Applications IMLA08
    (Valeria de Paiva, Aleks Nanevski)
  - International Workshop on Logical Frameworks and MetaLanguages (LFMTP)
    (Andreas Abel, Christian Urban)

  Call for Nominations
* Eligible for the 2008 Ackermann Award are PhD dissertations in
   specified by the EACSL and LICS conferences, which were formally
   accepted as PhD theses at a university or equivalent institution
   between 1.1.2006 and 31.12. 2007.
* The deadline for submission is 15.3.2008.
* Submission details are available at
* The award consists of
     - a diploma,
     - an invitation to present the thesis at the CSL conference,
     - the publication of the abstract of the thesis and the laudation
       in the CSL proceedings,
     - travel support to attend the conference.
* The 2008 Ackermann Award will be presented to the recipients at the
  annual conference of the EACSL (CSL'08).
* The jury consists of seven members:
     - The president of EACSL, J. Makowsky (Haifa);
     - The vice-president of EACSL, D. Niwinski (Warsaw);
     - One member of the LICS organizing committee, G. Plotkin
     - J. van Benthem (Amsterdam)
     - B. Courcelle (Bordeaux);
     - M. Grohe (Berlin);
     - M. Hyland (Cambridge);
     - A. Razborov (Moscow and Princeton).
     - possibly one more member to be appointed by the EACSL Board
* The jury is entitled to give more than one award per year.
* The previous Ackermann Award recipients were:
  2005: Mikolaj Bojanczyk, Konstantin Korovin, Nathan Segerlind;
  2006: Stefan Milius and Balder ten Cate;
  2007: Dietmar Berwanger, Stephane Lengrand and Ting Zhang.
* For the three years 2007-2009,
  the Award is sponsored by Logitech, S.A., Romanel, Switzerland,
  the worlds leading provider of personal peripherals.

  A "Small Workshop" of the European TYPES Project
  Call for Participation and Contributed Talks
  Swansea, Wales, 15-16 March 2008
* In 1908 the British Philosopher and Mathematician Bertrand Russell,
  who was born and died in Wales, published the article "Mathematical
  Logic as based on the Theory of Types" which contained a first
  matured exposition of Type Theory.  In the same year, Ernst Zermelo's
  "Untersuchungen ueber die Grundlagen der Mengenlehre I" introduced
  the basis of current axiomatic set theory as an alternative
  approach to the foundations of Mathematics.
  A central theme of Proof Theory is to compare these different
  foundations.  Proof Theory uses as its main tool ordinal notation
  systems, the basis of which was laid by Oswald Veblen in his paper
  "Continuous Increasing Functions of Finite and Transfinite
  Ordinals", again in 1908.
  A century later, Proof Theory and Type Theory are flourishing more
  than ever before, and their manifold interconnections are driving
  important developments in Mathematics and Computer Science.
  At this workshop we meet and discuss cutting edge research at the
  interface of Proof Theory and Type Theory.
* Topics of interest include, but are not limited to:
  Proof Theory of Type Theory;  Relationship between Type Theory and
  Set Theory; Program extraction from proofs; Normalisation and
  Cut-elimination; New approaches to ordinal analysis Universes and
  reflection principles;  Equality in Type Theory; Philosophical and
  historical aspects of Proof Theory and Type Theory
* Invited Speakers: To be confirmed.
* Participation and Contributed Talks:
  Please send an email to Anton Setzer (
  as soon as possible, but no later than the 29th of February 2008.

  Call for contributions
  March 25-27, Amsterdam, the Netherlands
  Organizers: Luigi Santocanale and Yde Venema.
* The aim of the workshop is to bring together researchers from
  backgrounds, in particular, computer scientists and pure logicians,
  in order to discuss modal fixpoint logics from various perspectives,
  including those of model theory, proof theory, algebra and duality,
  and automata theory.
* Deadline for submission of contributed papers: February 1, 2008.
* Invited speakers: Giovanna D'Agostino, Johan van Benthem, Marcello
  Bonsangue, Dietmar Berwanger,  Erich Graedel (to be confirmed),
  Dexter Kozen (to be confirmed), Giacomo Lenzi, Damian Niwinski,
  Colin Stirling, Thomas Studer, Albert Visser, Igor Walukiewicz,
  and Thomas Wilke (to be confirmed).
* Further information can be found at

21st IEEE Computer Security Foundations Symposium (CSF)
     Pittsburgh, PA, USA, June 23-25, 2008
     Sponsored by the Technical Committee on Security and Privacy
                     of the IEEE Computer Society
* CSF 2008 website:
  CSF home page:
* The IEEE Computer Security Foundations (CSF) series brings together
  researchers in computer science to examine foundational issues in
  computer security. Over the past two decades, many seminal papers and
  techniques have been presented first at CSF. The CiteSeer Impact page
  ( ) lists CSF as 38th out of
  more than 1200 computer science venues, top 3.11% in impact based on
  citation frequency.
* This year's CSF will be colocated with the 23rd IEEE Symposium on
  Logic in Computer Science (LICS). It will be held at Carnegie Mellon
  University in Pittsburgh, Pennsylvania, USA.
* We are proud to announce a joint CSF/LICS invited speaker: David
* New theoretical results in computer security are welcome. Also welcome
  are more exploratory presentations, which may examine open questions
  and raise fundamental concerns about existing theories. Panel
  proposals are sought as well as papers. Possible topics include, but
  are not limited to:
  - Access control
  - Anonymity and Privacy
  - Authentication
  - Data and system integrity
  - Database security
  - Decidability and complexity
  - Distributed systems security
  - Electronic voting
  - Executable content
  - Formal methods for security
  - Information flow
  - Intrusion detection
  - Language-based security
  - Network security
  - Resource usage control
  - Security for mobile computing
  - Security models
  - Security protocols
  - Trust and trust management
* While CSF welcomes submissions beyond these topics, note that the main
  focus of CSF is foundational security: submissions that lack
  foundational aspects risk rejection.
* Proceedings, published by the IEEE Computer Society Press, will be
  available at the symposium, and selected papers will be invited for
  submission to the Journal of Computer Security.
* Important Dates
  Workshop proposals due:       Tuesday, November 20, 2007
  Papers due:                   Tuesday, January 29, 2008
  Panel proposals due:          Thursday, March 6, 2008
  Notification:                 Monday, March 17, 2008
  Camera-ready papers:          Wednesday, April 9, 2008
  Symposium:                    June 23-25, 2008
* There are PDF and HTML versions of this call for papers at

  Call for Papers
  Call for Nominations for CAV Award
  July 7-14, 2008, Princeton, NJ, USA
* CAV 2008 is the 20th in a series dedicated to the advancement of the
  theory and practice of computer-aided formal analysis methods for
  hardware and software systems. CAV considers it vital to continue
  its leadership in hardware verification, maintain its recent momentum in
  software verification, and consider new domains such as biological
* Events:
  - CAV Award (please see website for Call for Nominations)
  - Four pre-conference (July 7, 8), three post-conference (July 14)
* Important dates:
   - Jan 28, 2008: Paper submission deadline
   - Jan 28, 2008: Nominations for CAV Award deadline
   - March 26, 2008: Author notification for papers
* Details available on conference website.

  Call for Papers
  July 28-31, 2008, Urbana, Illinois, United States
* The major goal of the AMAST conferences is to promote research
  towards setting software technology on a firm, mathematical basis.
  Work towards this goal is a collaborative, international effort
  with contributions from both academia and industry. The envisioned
  virtues of providing software technology developed on a mathematical
  basis include: correctness, which can be proved mathematically;
  safety, so that developed software can be used in the implementation
  of critical systems; portability, i.e., independence from computing
  platforms and language generations; and evolutionary change, i.e.,
  the software is self-adaptable and evolves with the problem domain.
* Topics of interest include: systems software technology;
  application software technology; concurrent and reactive systems;
  formal methods in industrial software development; formal techniques
  for software requirements, design; evolutionary software/adaptive
  systems; logic programming, functional programming, object
  constraint programming and concurrency; program verification and
  transformation; programming calculi; specification languages and
  tools; formal specification and development case studies; logic,
  category theory, relation algebra, computational algebra; algebraic
  foundations for languages and systems, coinduction; theorem proving
  and logical frameworks for reasoning; logics of programs; algebra
  and coalgebra. For system demonstrations or ordinary papers:
  software development environments; support for correct software
  development; system support for reuse; tools for prototyping;
  component based software development tools; validation and
  verification; computer algebra systems; theorem proving systems.
* Important dates: Abstract submission due: 1 March 2008;
  Paper submission due: 8 March 2008; Notification: 20 April 2008

  Call for Papers
  Toronto, Canada, August 19-22, 2008
* Submission deadline: April 11, 2008
* CONCUR 08, the 19th International Conference on Concurrency Theory,
  will take place in Toronto, Canada, on August 19-22, 2008.  The
  purpose of the CONCUR conferences is to bring together researchers,
  developers, and students in order to advance the theory of
  concurrency, and promote its applications (in a broad sense).
* CONCUR 08 will be collocated with the 27th Annual ACM SIGACT-SIGOPS
  Symposium on the Principles of Distributed Computing (PODC 2008).
  Furthermore, there will be a symposium celebrating the contributions
  of Nancy Lynch and a number of workshops on topics related to CONCUR
  and PODC.  The overall event will take place at the University of
  Toronto on August 17-24, 2008.
* CONCUR 08 welcomes two categories of papers:
  - regular papers;
  - tool papers.
* Submissions are solicited in all areas of semantics, logics,
  verification and analysis of concurrent systems.  The principal
  topics include (but are not limited to):
  - basic models of concurrency (such as abstract machines, domain
    theoretic models, game theoretic models, process algebras, and
    Petri nets);
  - logics for concurrency (such as modal logics, temporal logics and
    resource logics);
  - models of specialized systems (such as biology-inspired systems,
    circuits, hybrid systems, mobile systems, multi-core processors,
    probabilistic systems, real time systems, synchronous systems, and
    web services);
  - verification and analysis techniques for concurrent systems (such
    as abstract interpretation, atomicity checking, model-checking,
    race detection, run-time verification, state-space exploration,
    static analysis, synthesis, testing, theorem proving and type
  - related programming models (such as distributed or object-oriented).
* The link for submissions is
* Important dates
  Abstract Submission: April 4, 2008
  Paper Submission: April 11, 2008 (strict)
  Notification: May 27, 2008
  Final version due: June 17, 2008
* Program committee
  Luca de Alfaro, University of California, Santa Cruz, USA
  Pedro R. D'Argenio, Universidad Nacional de Cordoba, Argentina
  Jos Baeten, Eindhoven University of Technology, the Netherlands
  Christel Baier, Technical University Dresden, Germany
  Eike Best, Carl von Ossietzky Universitaet Oldenburg, Germany
  Dirk Beyer, Simon Fraser University, Canada
  Patricia Bouyer, LSV, CNRS & ENS Cachan, France
  Mario Bravetti, University of Bologna, Italy
  Franck van Breugel (co-chair), York University, Canada
  Ilaria Castellani, INRIA Sophia Antipolis, France
  Marsha Chechik (co-chair), University of Toronto, Canada
  Wan Fokkink, Vrije Universiteit Amsterdam/CWI, the Netherlands
  Rob van Glabbeek, National ICT Australia
  Arie Gurfinkel, Carnegie Mellon University, USA
  Anna Ingolfsdottir, Reykjavik University, Iceland
  Radha Jagadeesan, DePaul University, USA
  Barbara Koenig, University of Duisburg-Essen, Germany
  Marta Kwiatkowska, University of Oxford, UK
  Orna Kupferman, Hebrew University, Israel
  Kim Larsen, Aalborg University, Denmark
  Nancy Lynch, MIT, USA
  P. Madhusudan, UIUC, USA
  Ugo Montanari, University of Pisa, Italy
  Anca Muscholl, Universite Bordeaux, France
  Catuscia Palamidessi, INRIA Futurs and LIX, France
  Corina Pasareanu, Perot Systems/NASA Ames Research Center, USA
  Scott Smolka, SUNY at Stony Brook, USA
  Nobuko Yoshida, Imperial College London, UK

  Field: Computational Linguistics
  Topic: Surface realisation and large scale over-generation detection
* Deadline for application: February 15, 2008.
* Starting Date: 01 November 2008
* Employer: INRIA (French National Institute for Research in Computer
  Science) Nancy Grand Est (France)
* Job Description: The Lorraine Laboratory of IT Research and its
  Applications (Nancy, France) has a position for a Postdoctoral fellow
  to work on the development of a surface realiser for French.
* Applicants must have a ** recent doctoral degree ** (PhD viva held in
  may 2007 or later) or defend their PhD before the end of 2008. They
  must have expertise in an area relevant to the project (linguistics,
  computational linguistics, computer science), strong hands-on
  experience in Natural Language Processing and a particular interest in
  NL generation.  A good knowledge of Haskell is a necessity.
* Further particulars and details of how to apply are available at:
* The official closing date is February 15, 2007, but applications will
  be processed until the position is filled.
* Contact: Claire Gardent 

Back to the LICS web page.