ETAPS 2017: 22-29 April 2017, Uppsala, Sweden

FoSSaCS 2017

20th 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 2017 joint call for papers. Submit your paper via the FoSSaCS 2017 author interface of Easychair.

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

FoSSaCS 2017 will use a rebuttal phase. The dates of the rebuttal are 7-9 December 2016.

Invited speaker

Joel Ouaknine (University of Oxford, UK)

Programme chairs

Javier Esparza (Technische Universität München, Germany)
Andrzej Murawski (University of Warwick, UK)

Programme committee

Mohamed Faouzi Atig (Uppsala University, Sweden)
Jos Baeten (CWI, The Netherlands)
Christel Baier (Technische Universität Dresden, Germany)
Filippo Bonchi (LIP, CNRS & ENS Lyon, France)
Tomáš Brázdil (Masaryk University, Czech Republic)

James Brotherston (University College London, UK)
Anuj Dawar (University of Cambridge, UK)
Michael Emmi (Bell Labs, Nokia, USA)
Stefan Göller (LSV, CNRS & ENS Cachan, France)
Rajeev Goré (Australian National University, Australia)

Thomas Hildebrandt (IT University of Copenhagen, Denmark)
Delia Kesner (IRIF, CNRS & Université Paris 7 Diderot, France)
Sławomir Lasota (Warsaw University, Poland)
Anthony Widjaja Lin (Yale-NUS College, Singapore)
Roland Meyer (Universität Kaiserslautern, Germany)

Aniello Murano (Università di Napoli Federico II, Italy)
Simona Ronchi Della Rocca (Università di Torino, Italy)
Jan Rutten (CWI, The Netherlands)
Margus Veanes (Microsoft Research Redmond, USA)
Lijun Zhang (Institute of Software, Chinese Academy of Sciences, China)