FoSSaCS 2018

21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)

Accepted papers

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:

• categorical models and logics;
• language theory, automata, and games;
• modal, spatial, and temporal logics;
• type theory and proof theory;
• concurrency theory and process calculi;
• rewriting theory;
• semantics of programming languages;
• program analysis, correctness, transformation, and verification;
• logics of programming;
• software specification and refinement;
• models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems;
• emerging models of computation;
• logical aspects of computational complexity;
• models of software security;
• logical foundations of data bases

Important dates and submission

See the ETAPS 2018 joint call for papers. Submit your paper via the FoSSaCS 2018 author interface of Easychair.

FoSSaCS accepts only research papers (max 15 pp, excluding bibliography of max 2 pp).

FoSSaCS 2018 will use a rebuttal phase.

Programme chairs

Christel Baier (Technische Universität Dresden, Germany) 
Ugo Dal Lago (Università di Bologna, Italy)

Programme committee

Andreas Abel (Gothenburg University, Sweden)
Nathalie Bertrand (INRIA Rennes, France)
Mikolaj Bojanczyk (University of Warsaw, Poland)
Udi Boker (IDC Herzliya, Israel)
Luis Caires (Universidade Nova de Lisboa, Portugal) 

Yuxin Deng (East China Normal University, China) 
Mariangiola Dezani-Ciancaglini (Università di Torino, Italy)
Ichiro Hasuo (National Institute of Informatics, Japan)
Radha Jagadeesan (De Paul University Chicago, US)
Stefan Kiefer (University of Oxford, UK)

Barbara König (Universität Duisburg-Essen, Germany)
David Monniaux (VERIMAG, CNRS and Université Grenoble Alpes, France)
Andrzej Murawski (University of Warwick, UK)
Joel Ouaknine (MPI -SWS, Germany, and University of Oxford, UK)
Catuscia Palamidessi (LIX, INRIA and École Polytechnique, France)

Kirstin Peters (Technische Universität Berlin, Germany)
Damien Pous (LIP, CNRS and ENS Lyon, France)
Jean-Francois Raskin (Université Libre de Bruxelles, Belgium)
Helmut Seidl (Technische Universität Munich, Germany)
Alexandra Silva (University College London, UK)

Alex Simpson (University of Ljubljana, Slovenia)
Jiri Srba (Aalborg University, Denmark)
Jean-Marc Talbot (LIF, Aix-Marseille Université, France)
Christine Tasson (IRIF, Université Paris 7, France)
Kazushige Terui (Kyoto University, Japan)