Logic List Mailing Archive

CfP: Ninth International Conference on Formal Structures for Computation and Deduction (FSCD 2024), 10-13 July 2024, Tallinn (Estonia)

                    Ninth International Conference on
       Formal Structures for Computation and Deduction (FSCD 2024)
                    July 10-13, 2024, Tallinn, Estonia

All deadlines are midnight anywhere-on-earth (AoE); late submissions will n
ot be considered.

         Abstract:       February 5, 2024
         Submission:     February 12, 2024
         Rebuttal:       April 2-6, 2024
         Notification:   April 22, 2024
         Final version:  May 6, 2024

FSCD (https://fscd-conference.org/) covers all aspects of formal structures
 for computation and deduction from theoretical foundations to applications
. Building on two communities, RTA (Rewriting Techniques and
Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embrac
es their core topics and broadens their scope to closely related areas in l
ogic, models of computation, semantics and verification in new challenging 

The suggested, but not exclusive, list of topics for submission is:

1. Calculi:
  - Rewriting systems (string, term, higher-order, graph, conditional, modu
lo, infinitary, etc.);
  - Lambda calculus;
  - Logics (first-order, higher-order, equational, modal, linear, classical
, constructive, etc.);
  - Proof theory (natural deduction, sequent calculus, proof nets, etc.);
  - Type theory and logical frameworks;
  - Homotopy type theory;
  - Process algebras (synchronous, asynchronous, static and dynamic semanti
cs with and without time, etc.);
  - Quantum calculi.

2. Methods in Computation and Deduction:
  - Type systems (polymorphism, dependent, recursive, intersection, session
, etc.);
  - Induction, coinduction;
  - Matching, unification, completion, orderings;
  - Strategies (normalization, completeness, etc.);
  - Tree automata;
  - Model building and model checking;
  - Proof search and theorem proving;
  - Constraint solving and decision procedures.

3. Semantics:
  - Operational semantics and abstract machines;
  - Game Semantics and applications;
  - Domain theory and categorical models;
  - Quantitative models (timing, probabilities, etc.);
  - Quantum computation and emerging models in computation.

4. Algorithmic Analysis and Transformations of Formal Systems:
  - Type inference and type checking;
  - Abstract Interpretation;
  - Complexity analysis and implicit computational complexity;
  - Checking termination, confluence, derivational complexity and related p
  - Symbolic computation.

5. Tools and Applications:
  - Programming and proof environments;
  - Verification tools;
  - Proof assistants and interactive theorem provers;
  - Applications in industry;
  - Applications of formal systems in other sciences;
  - Applications of formal systems in education.

6. Formal Systems for Semantics and Verification in new challenging areas:
  - Certification;
  - Security;
  - Blockchain protocols;
  - Data bases;
  - Deep learning and machine learning algorithms;
  - Planning.

The proceedings will be published as an electronic volume in the Leibniz In
ternational Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. 

All LIPIcs proceedings are open access.

Authors of selected papers will be invited to submit an extended version to
 a special issue of Logical Methods in Computer Science, or to TheoretiCS.

The submission site is:


Submissions must be formatted using the LIPIcs style files
(https://submission.dagstuhl.de/series/details/5#author) and submitted via 

Submissions can be made in two categories. Regular research papers are limi
ted to 15 pages, excluding references and appendices. They must present ori
ginal research which is unpublished and not submitted elsewhere. System des
criptions are limited to 15 pages, excluding references. Shorter papers are
 welcome and will be given equal consideration.
A system description must present new software tools, or significantly new 
versions of such tools, in which FSCD topics play an important role. 

An archive of the code with instructions on how to install and run the tool
 must be submitted. In addition, a webpage where the system can be experime
nted with should be provided.

One author of each accepted paper is expected to register and present the w
ork in person at the conference. Alternatively to in-person presentation, a
lso online presentation is possible, but in-person registration by at least
 one author will still be required.

The program committee will select a paper in which at least one author is a
 junior researcher, i.e. either a student or whose PhD award date is less t
han three years from the first day of the meeting. When submitting the pape
r, other authors should declare to the PC Chair that at least 50% of contri
bution is made by the junior researcher(s).

Jakob Rehof, TU Dortmund University
Email: fscd2024 at easychair.org

Thorsten Altenkirch, University of Nottingham Sandra Alves, University of P
orto Takahito Aoto, Niigata University Mauricio Ayala-Rincn, Brasilia Un
iversity Stephanie Balzer, CMU Thierry Coquand, University of Gothenburg Al
ejandro Daz-Caro, Quilmes National University & CONICET-Buenos Aires Uni
versity Claudia Faggian, CNRS, Universit de Paris Silvia Ghilezan, Unive
rsity of Novi Sad Simon Gay, University of Glasgow Cezary Kaliszyk, Univers
ity of Innsbruck Ambrus Kaposi, Etvs Lornd University, Budapest De
xter Kozen, Cornell University Dominique Larchey-Wendling, CNRS, Loria Mari
na Lenisa, University of Udine Sonia Marin, University of Birmingham Naoki 
Nishida, Nagoya University Christine Paulin-Mohring, Paris-Saclay Universit
y Pierre-Marie Pdrot, Inria Rennes-Bretagne-Atlantique Elaine Pimentel, 
University College London Jakob Rehof (Chair), TU Dortmund University Simon
a Ronchi della Rocca, University of Torino Sylvain Schmitz, Universit Pa
ris Cit Aleksy Schubert, University of Warsaw Jakob Grue Simonsen, Unive
rsity of Copenhagen Kathrin Stark, Heriot-Watt University, Edinburgh Lutz S
traburger, Inria Saclay Tachio Terauchi, Waseda University Sarah Winkler
, Free University of Bolzano

Niccol Veltri, Tallinn University of Technology

Luigi Liquori, Inria

Cynthia Kop, Radboud University Nijmegen

Carsten Fuhs, Birkbeck, University of London

Herman Geuvers (Chair), Radboud University Nijmegen
Patrick Baillot, CNRS, Universit de Lille
Alejandro Daz-Caro, Quilmes National University & CONICET-Buenos Aires 

Amy Felty, University of Ottawa
Carsten Fuhs, Birkbeck, University of London
Marco Gaboardi, Boston University
Jrgen Giesl, RWTH Aachen University
Delia Kesner, Universit Paris Cit
Naoki Kobayashi, University of Tokyo
Cynthia Kop, Radboud University Nijmegen
Luigi Liquori, Inria
Giulio Manzonetto, Universit Paris-Nord
Daniele Nantes, Imperial College London / University of Brasilia
Femke van Raamsdonk, Vrije Universiteit Amsterdam
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php