From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10788 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Pawel Sobocinski Newsgroups: gmane.science.mathematics.categories Subject: CFP: FoSSaCS '23: 26th International Conference on Foundations of Software Science and Computation Structures Date: Tue, 23 Aug 2022 16:20:22 +0300 Message-ID: Reply-To: Pawel Sobocinski Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3696.120.41.1.1\)) Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="38813"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Fri Aug 26 03:33:53 2022 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1oROEL-0009wJ-AB for gsmc-categories@m.gmane-mx.org; Fri, 26 Aug 2022 03:33:53 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:37186) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1oROD7-0005vc-6C; Thu, 25 Aug 2022 22:32:37 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1oROCk-0008Gv-6D for categories-list@rr.mta.ca; Thu, 25 Aug 2022 22:32:14 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10788 Archived-At: ********************************************************************* CALL FOR PAPERS FoSSaCS '23: 26th International Conference on Foundations of Software Science and Computation Structures 24-27 April 2023 Part of 26th European Joint Conferences on Theory and Practice of Software ETAPS 2023 https://etaps.org/2023/fossacs Programme Committee Co-chairs Orna Kupferman (Hebrew University of Jerusalem) Pawel Sobocinski (Tallinn University of Technology) ********************************************************************* IMPORTANT DATES Paper submission: October 13, 2022, 23:59 AoE Rebuttal period: December 6 - December 8, 2022 Paper notification: December 22, 2022 For the first time, 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 5, 2023 Artefact notification: February 9, 2023 ********************************************************************* 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 https://easychair.org/conferences/?conf=3Dfossacs2023 All accepted papers will appear in the proceedings and have presentations during the conference. We plan FoSSaCS 2023 as an on-site conference; nonetheless, remote attendance and presentation will be made possible. Submissions must follow the formatting guidelines of Springer's LNCS, be *at most 18 pages in length* (bibliography included) and be submitted electronically in pdf through the Easychair author interface linked above. 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. ********************************************************************* PROGRAMME COMMITTEE Marco Carbone (IT University of Copenhagen) Ugo Dal Lago (Universit=C3=A0 di Bologna and INRIA Sophia Antipolis) Alwen Tiu (The Australian National University) Shahar Maoz (Tel Aviv University) Marco Gaboardi (Boston University) Patrick Baillot (CNRS and Lille) Frank Valencia (LIX, Ecole Polytechnique) Kuldeep S. Meel (National University of Singapore) Emmanuel Filiot (Universit=C3=A9 Libre de Bruxelles) Joel Ouaknine (Max Planck Institute for Software Systems) Filip Murlak (University of Warsaw) Alexandra Silva (Cornell University) Lars Birkedal (Aarhus University) Stefan Milius (FAU Erlangen) Koko Muroya (RIMS, Kyoto University) Barbara K=C3=B6nig (University of Duisburg-Essen) Thomas Colcombet (CNRS) Bartek Klin (University of Oxford) Bart Jacobs (Radboud University) Assia Mahboubi (INRIA) Sam Staton (University of Oxford) Parosh Aziz Abdulla (Uppsala University) Daniele Varacca (Universit=C3=A9 Paris-Est Cr=C3=A9teil) Giovanni Bacci (Aalborg University) V=C3=A9ronique Bruy=C3=A8re (University of Mons) Nathalie Bertrand (INRIA) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]