From: Pawel Sobocinski <sobocinski@gmail.com>
To: Homotopy Type Theory <HomotopyTypeTheory@googlegroups.com>
Subject: [HoTT] CFP: FoSSaCS '23: 26th International Conference on Foundations of Software Science and Computation Structures
Date: Tue, 23 Aug 2022 16:20:19 +0300 [thread overview]
Message-ID: <BE30C3B1-D2CD-4A4D-A4B6-3FFA23BA24C2@gmail.com> (raw)
*********************************************************************
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=fossacs2023
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à 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é 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önig (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é Paris-Est Créteil)
Giovanni Bacci (Aalborg University)
Véronique Bruyère (University of Mons)
Nathalie Bertrand (INRIA)
--
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/BE30C3B1-D2CD-4A4D-A4B6-3FFA23BA24C2%40gmail.com.
reply other threads:[~2022-08-23 13:20 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=BE30C3B1-D2CD-4A4D-A4B6-3FFA23BA24C2@gmail.com \
--to=sobocinski@gmail.com \
--cc=HomotopyTypeTheory@googlegroups.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).