ETAPS 2013: 16-24 March 2013, Rome, Italy

FoSSaCS 2013

16th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)

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.

Important dates and submission

See the common call for papers of ETAPS 2013. Submit your paper via the FoSSaCS 2013 author interface of Easychair. FoSSaCS 2013 will use a rebuttal phase. Dates: 6-7 December 2012.

Invited speaker

Martin Hofmann (Univ. of Munich, Germany)

Programme chair

Frank Pfenning (Carnegie Mellon University, USA)

Programme committee

Andreas Abel (LMU Munich, Germany)
Umut Acar (Max Planck Institute for Software Systems, Germany)
Jiri Adamek (Techn. Univ. of Braunschweig, Germany)
Rajeev Alur (University of Pennsylvania, USA)
Eugene Asarin (Université Paris Diderot, France)
Nick Benton (MSR Cambridge, UK)
Krishnendu Chatterjee (IST Austria)
Swarat Chaudhuri (Rice University, USA)
Adam Chlipala (MIT, USA)
Ugo Dal Lago (University of Bologna, Italy)
Giorgio Delzanno (University of Genova, Italy)
Dan Ghica (University of Birmingham, UK)
Jean Goubault-Larrecq (ENS Cachan, France)
Bart Jacobs (Radboud Univ. of Nijmegen, Netherlands)
Radha Jagadeesan (DePaul University, Chicago, USA)
Patricia Johann (University of Strathclyde, Glasgow, UK)
Naoki Kobayashi (Tohoku University, Japan)
Stéphane Lengrand (École Polytechnique, France)
Aart Middeldorp (University of Innsbruck, Austria)
Catuscia Palamidessi (INRIA Saclay and LIX, France)
Ashish Tiwari (SRI International, Menlo Park, USA)
Pawel Urzyczyn (University of Warsaw, Poland)
Kwangkeun Yi (Seoul National University, Korea)