FoSSaCS 2027

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

PC Chairs

• Alexandra Silva (Cornell University and UCL)
• Joël Ouaknine (Max Planck Institute for Software Systems, Saarbrücken)

PC Members

• Luca Aceto (Reykjavik University, Iceland, and Gran Sasso Science Institute, Italy, Iceland)
• C Aiswarya (Chennai Mathematical Institute, India)
• Shaull Almagor (Department of Computer Science, Technion, Israel, Israel)
• Patricia Bouyer (CNRS, France)
• Georgiana Caltais (University of Twente, The Netherlands)
• Andrea Calí (University of Naples Federico II, Italy)
• Agata Ciabatonni (TU Wien, Austria)
• Corina Cîrstea (University of Southampton, UK)
• Anupam Das (University of Birmingham, UK)
• Daniele Gorla (University of Rome "La Sapienza", Computer Science Department, Italy)
• Ichiro Hasuo (National Institute of Informatics, Japan)
• Chris Heunen (The University of Edinburgh, UK)
• Artur Jeż (University of Wroclaw, Institute of Computer Science, Poland)
• Sandra Kiefer (University of Oxford, UK)
• Christoph Koch (Ecole Polytechnique Fédérale de Lausanne, Switzerland)
• Cynthia Kop (Radboud University, The Netherlands)
• Antonin Kucera (Masaryk University, Czechia)
• Orna Kupferman (Hebrew University, Israel)
• Clemens Kupke (University of Strathclyde, UK)
• Paul Blain Levy (University of Birmingham, UK)
• Annabelle McIver (Macquarie University, UK)
• Koko Muroya (Ochanomizu University, Japan)
• Joël Ouaknine (Max Planck Institute for Software Systems (MPI-SWS), Germany)
• Paritosh Pandya (TIFR, India)
• Lutz Schröder (Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany)
• Alexandra Silva (Cornell University, USA)
• Sonja Smets (University of Amsterdam, The Netherlands)
• Ana Sokolova (University of Salzburg, Austria)
• Perdita Stevens (The University of Edinburgh, UK)
• Mariëlle Stoelinga (University of Twente, The Netherlands)
• Tayssir Touili (IRIF, CNRS & University Paris Cité, France)
• Henning Urbat (FAU Erlangen-Nürnberg, Germany)
• Tarmo Uustalu (Reykjavik University, Iceland)
• Jamie Vicary (University of Cambridge, UK)
• Sarah Winter (IRIF & Université Paris Cité, France)

Artifact Evaluation Chair

• Noam Zilberstein (Cornell University and Stevens Institute of Technology, USA)