FoSSaCS 2024

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

The important dates are available in the Joint Call for Papers.

Detailed information on artifact evaluation can be found here.

PC Chairs

• Naoki Kobayashi (The University of Tokyo)
• James Worrell (University of Oxford)

PC Members

• Sandra Alves (University of Porto)
• Mauricio Ayala-Rincón (Universidade de Brasília)
• Stephanie Balzer (CMU)
• Udi Boker (Reichman University)
• James Brotherston (University College London)
• Corina Cirstea (University of Southampton)
• Yuxin Deng (East China Normal University)
• Claudia Faggian (CNRS, Université Paris Cité)
• Pierre Ganty (IMDEA Software Institute)
• Ichiro Hasuo (National Institute of Informatics)
• Robbert Krebbers (Radboud University Nijmegen)
• Antonin Kucera (Masaryk University)
• Karoliina Lehtinen (CNRS, Université Aix-Marseille)
• Bas Luttik (Eindhoven University of Technology)
• Rasmus Ejlers Møgelberg (IT University of Copenhagen)
• Luca Padovani (Università di Camerino)
• Catuscia Palamidessi (INRIA)
• Paritosh Pandya (IIT Bombay)
• Elaine Pimentel (UCL)
• Damien Pous (CNRS - ENS Lyon)
• Ana Sokolova (University of Salzburg)
• Lidia Tendera (University of Opole)
• Nikos Tzevelekos (Queen Mary University of London)
• Tarmo Uustalu (Reykjavik University)
• Verena Wolf (Saarland University)
• Franck van Breugel (York University)