[TYPES/announce] CfP: FoSSaCS '24: 27th International Conference on Foundations of Software Science and Computation Structures

[Naoki Kobayashi]

*********************************************************************

                       CALL FOR PAPERS

 FoSSaCS '24: 27th International Conference on Foundations of
         Software Science and Computation Structures
                       6-11 April 2024

       Part of 27th European Joint Conferences on Theory and
                     Practice of Software
                           ETAPS 2024

                 https://urldefense.com/v3/__https://etaps.org/2024/fossacs__;!!IBzWLUs!XR4ww52nNAOHTod40nkE_dWD00KGyo4gaW9V4Ul3xzInWSqAyZ8Zi_4htwVU4BA4IuoE0m8NOsRz4f08NIc0Ypywy8N3s5xM21nmFQ$ 

                  Program Committee Co-chairs
         Naoki Kobayashi (The University of Tokyo)
         James Worrell (University of Oxford)


*********************************************************************

                       IMPORTANT DATES

       Paper submission:   October 12, 2023, 23:59 AoE
       Rebuttal period:    December 5 - December 7, 2023
       Paper notification: December 21, 2023

As in the previous year, FoSSaCS welcomes voluntary submissions of
artefacts such as formalized proofs for evaluation after paper
acceptance; the outcome will not change the paper acceptance decision.

       Artefact submission deadline: January 4, 2024
       Artefact notification:        February 8, 2024

*********************************************************************

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, verification, and
  synthesis;
- logics of programming;
- emerging models of computation;
- logical aspects of computational complexity;
- models of system security;
- logical foundations of databases


*********************************************************************

                SUBMISSION INSTRUCTIONS

All accepted papers will appear in the proceedings and have
presentations during the conference.

Submissions must follow the formatting guidelines of Springer's LNCS,
be *at most 18 pages in length*  (excluding the bibliography and
appendices) and be submitted electronically in pdf through the
EasyChair author interface

https://urldefense.com/v3/__https://easychair.org/conferences/?conf=fossacs2024__;!!IBzWLUs!XR4ww52nNAOHTod40nkE_dWD00KGyo4gaW9V4Ul3xzInWSqAyZ8Zi_4htwVU4BA4IuoE0m8NOsRz4f08NIc0Ypywy8N3s5yWmqMQng$ 

Submissions not adhering to the specified format and length may be
rejected immediately.

Submitted papers must be in English, presenting original research.
They must be unpublished and not submitted for publication elsewhere.

See also the ETAPS 2024 Joint Call for Papers: https://urldefense.com/v3/__https://etaps.org/2024/cfp/__;!!IBzWLUs!XR4ww52nNAOHTod40nkE_dWD00KGyo4gaW9V4Ul3xzInWSqAyZ8Zi_4htwVU4BA4IuoE0m8NOsRz4f08NIc0Ypywy8N3s5yKMzaJpw$ 

*********************************************************************

                   PROGRAMME COMMITTEE

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 (TIFR)
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)

-- 
Naoki Kobayashi
Department of Computer Science
Graduate School of Information Science and Technology
The University of Tokyo
7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-0033 Japan
email: koba at is.s.u-tokyo.ac.jp
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230913/e7a56e70/attachment-0001.htm>