<div dir="ltr">*********************************************************************<br><br>                       CALL FOR PAPERS<br><br> FoSSaCS '24: 27th International Conference on Foundations of<br>         Software Science and Computation Structures<br>                       6-11 April 2024<br><br>       Part of 27th European Joint Conferences on Theory and<br>                     Practice of Software<br>                           ETAPS 2024<br><br>                 <a href="https://urldefense.com/v3/__https://etaps.org/2024/fossacs__;!!IBzWLUs!XR4ww52nNAOHTod40nkE_dWD00KGyo4gaW9V4Ul3xzInWSqAyZ8Zi_4htwVU4BA4IuoE0m8NOsRz4f08NIc0Ypywy8N3s5xM21nmFQ$">https://etaps.org/2024/fossacs</a><br><br>                  Program Committee Co-chairs<br>         Naoki Kobayashi (The University of Tokyo)<br>         James Worrell (University of Oxford)<br><br><br>*********************************************************************<br><br>                       IMPORTANT DATES<br><br>       Paper submission:   October 12, 2023, 23:59 AoE<br>       Rebuttal period:    December 5 - December 7, 2023<br>       Paper notification: December 21, 2023<br><br>As in the previous year, FoSSaCS welcomes voluntary submissions of<br>artefacts such as formalized proofs for evaluation after paper<br>acceptance; the outcome will not change the paper acceptance decision.<br><br>       Artefact submission deadline: January 4, 2024<br>       Artefact notification:        February 8, 2024<br><br>*********************************************************************<br><br>FoSSaCS seeks original papers on foundational research with a clear<br>significance for software science. The conference invites submissions<br>on theories and methods to support the analysis, integration,<br>synthesis, transformation, and verification of programs and software<br>systems. The specific topics covered by the conference include, but<br>are not limited to, the following:<br><br>- categorical models and logics;<br>- language theory, automata, and games;<br>- modal, spatial, and temporal logics;<br>- type theory and proof theory;<br>- concurrency theory and process calculi;<br>- rewriting theory;<br>- semantics of programming languages;<br>- program analysis, correctness, transformation, verification, and<br>  synthesis;<br>- logics of programming;<br>- emerging models of computation;<br>- logical aspects of computational complexity;<br>- models of system security;<br>- logical foundations of databases<br><br><br>*********************************************************************<br><br>                SUBMISSION INSTRUCTIONS<br><br>All accepted papers will appear in the proceedings and have<br>presentations during the conference. <br><br>Submissions must follow the formatting guidelines of Springer's LNCS,<br>be *at most 18 pages in length*  (excluding the bibliography and<br>appendices) and be submitted electronically in pdf through the<br>EasyChair author interface<br><br><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=fossacs2024__;!!IBzWLUs!XR4ww52nNAOHTod40nkE_dWD00KGyo4gaW9V4Ul3xzInWSqAyZ8Zi_4htwVU4BA4IuoE0m8NOsRz4f08NIc0Ypywy8N3s5yWmqMQng$">https://easychair.org/conferences/?conf=fossacs2024</a><br><br>Submissions not adhering to the specified format and length may be<br>rejected immediately.<br><br>Submitted papers must be in English, presenting original research.<br>They must be unpublished and not submitted for publication elsewhere.<br><br>See also the ETAPS 2024 Joint Call for Papers: <a href="https://urldefense.com/v3/__https://etaps.org/2024/cfp/__;!!IBzWLUs!XR4ww52nNAOHTod40nkE_dWD00KGyo4gaW9V4Ul3xzInWSqAyZ8Zi_4htwVU4BA4IuoE0m8NOsRz4f08NIc0Ypywy8N3s5yKMzaJpw$">https://etaps.org/2024/cfp/</a><br><br>*********************************************************************<br><br>                   PROGRAMME COMMITTEE<br><br>Sandra Alves (University of Porto)<br>Mauricio Ayala-Rincón (Universidade de Brasília)<br>Stephanie Balzer (CMU)<br>Udi Boker (Reichman University)<br>James Brotherston (University College London)<br>Corina Cirstea (University of Southampton)<br>Yuxin Deng (East China Normal University)<br>Claudia Faggian (CNRS, Université Paris Cité)<br>Pierre Ganty (IMDEA Software Institute)<br>Ichiro Hasuo (National Institute of Informatics)<br>Robbert Krebbers (Radboud University Nijmegen)<br>Antonin Kucera (Masaryk University)<br>Karoliina Lehtinen (CNRS, Université Aix-Marseille)<br>Bas Luttik (Eindhoven University of Technology)<br>Rasmus Ejlers Møgelberg (IT University of Copenhagen)<br>Luca Padovani (Università di Camerino)<br>Catuscia Palamidessi (INRIA)<br>Paritosh Pandya (TIFR)<br>Elaine Pimentel (UCL)<br>Damien Pous (CNRS - ENS Lyon)<br>Ana Sokolova (University of Salzburg)<br>Lidia Tendera (University of Opole)<br>Nikos Tzevelekos (Queen Mary University of London)<br>Tarmo Uustalu (Reykjavik University)<br>Verena Wolf (Saarland University)<br>Franck van Breugel (York University)<br><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>Naoki Kobayashi</div><div>Department of Computer Science<br>Graduate School of Information Science and Technology<br>The University of Tokyo<br>7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-0033 Japan<br>email: <a href="mailto:koba@is.s.u-tokyo.ac.jp" target="_blank">koba@is.s.u-tokyo.ac.jp</a><br></div></div></div></div>