[TYPES/announce] CFP FoSSaCS 2012

[Lars Birkedal]

CFP: 15th International Conference on Foundations of Software Science
      and Computation Structures (FoSSaCS)
      2012, 24 March - 1 April. Tallinn, Estonia.

      http://itu.dk/research/fossacs-2012/

The submission site is now open!

FoSSaCS seeks original papers on foundational research with a clear
significance for software science. The conference invites submissions
on theories and methods to support the analysis, integration,
synthesis, transformation, and verification of programs and software
systems. The specific topics covered by the conference include, but
are not limited to, the following:

     Automata and language theory;
     Behavioural equivalences;
     Categorical models;
     Infinite state systems;
     Modal, spatial, and temporal logics;
     Models of concurrent, reactive, distributed, hybrid, and mobile 
systems;
     Process algebras and calculi;
     Semantics of programming languages;
     Software specification and refinement;
     Type systems and type theory;
     Fundamentals of security;
     Semi-structured data;
     Program correctness and verification.

As a part of ETAPS, FoSSaCS adheres to ETAPS submission and
notification deadlines, but FoSSaCS will also include an author
response period:

     Friday, October 7, 2011 (23:59 Apia, Samoa time): 	Deadline for 
submission of abstracts.
     Friday, October 14, 2011, 23:59 Apia, Samoa time:	Deadline for 
submission of full papers.
     Thursday and Friday, December 8-9, 2011:     	Author Response
     Friday, December 16, 2011:                     	Notification of 
acceptance
     Friday, January 6, 2012:                            Camera-ready 
paper versions due
     March 24 - April 1, 2012:                           FoSSaCS 2012 
Conference

The paper submission deadline is STRICT. Making the deadline for
submission of abstracts a week early allows the programme committee to
start work before full versions are available. Obviously, there is no
need to wait with submission of the full version until the final
deadline.

Submission of an abstract implies no obligation to submit a full
version; abstracts with no corresponding full versions by the final
deadline will be treated as withdrawn, but authors are strongly
encouraged, in this case, to explicitly withdraw their submission by
sending an e-mail to the chairman.


Programme chair
   Lars Birkedal (IT Univ. of Copenhagen, Denmark)

Invited speaker:
   Glynn Winskel (Univ. of Cambridge, UK)


Programme committee:
   Luca Aceto (Reykjavik Univ., Iceland)
   Roberto Amadio (Univ. of Paris 7, France)
   Torben Amtoft (Kansas State Univ., USA)
   Lars Birkedal (IT Univ. of Copenhagen, Denmark)
   Mikolaj Bojanczyk (Warsaw University, Poland)
   Thierry Coquand (Chalmers Univ. of Technology, Sweden)
   Andrea Corradini (Univ. of Pisa, Italy)
   Volker Diekert (Univ. of Stuttgart, Germany)
   Maribel Fernandez (King's College London, UK)
   Kohei Honda (Queen Mary, Univ. of London, UK)
   Bart Jacobs (Radboud Univ. of Nijmegen, Netherlands)
   Joost-Pieter Katoen (RWTH Aachen, Germany)
   Olivier Laurent (ENS Lyon, France)
   Rupak Majumdar (Max Planck Inst. for Software Systems, Germany)
   Markus Müller-Olm (Univ. of Münster, Germany)
   Joachim Parrow (Uppsala Univ., Sweden)
   Duško Pavlović (Univ. of Oxford, UK)
   Hanne Riis Nielson (Technical Univ. of Denmark)
   Alex Simpson (Univ. of Edinburgh, UK)
   Carolyn Talcott (SRI International, USA)
   Yde Venema (Univ. of Amsterdam, Netherlands)
   Thomáš Vojnar (Brno University, Czech Republic)


Websites:
   http://www.itu.dk/research/fossacs-2012/
   http://www.etaps.org/2012/fossacs