Suggested, but not exclusive, list of topics for submission are:
Calculi:
Lambda calculus - Concurrent calculi - Logics - Rewriting systems -
Proof theory - Type theory - Homotopy Type Theory - Logical Frameworks
- Quantum computing
Methods in Computation and Deduction: Type systems - Induction and coinduction - Matching, unification, completion, and orderings - Strategies - Tree automata - Model checking - Proof search and theorem proving - Constraint solving and decision procedures
Semantics: Operational semantics - Abstract machines - Game Semantics - Domain theory and categorical models - Quantitative models
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 properties - Symbolic computation
Tools and Applications:
Programming and proof environments - Verification tools - Libraries for proof assistants and interactive theorem provers - Case studies in proof assistants and interactive theorem provers,…
Semantics and verification in new challenging areas : Certification - Security - Blockchain software - Data bases - Deep learning algorithms - Planning,...
Regular research papers are
limited to 15 pages and must present original research which
is unpublished and not submitted elsewhere.
System descriptions are limited to
6 pages (excluding references) and must present new
software tools in which FSCD topics play an important role,
or significantly new versions of such tools.
What should a system description contain?
A concise description of the underlying FSCD topics that
it implements.
A clear goal of what the system tries to achieve.
Examples of applications.
A comparison with related systems and discussion of the
limitations.
A webpage where the system can be experimented with/downloaded.
Submissions must be formatted using the LIPIcs style files for authors that can be found
here.
A condition of submission is that, if accepted, one of the authors
must register and attend the conference to give the presentation.
Papers must be submitted via Easychair. The submission site is
here.
Best paper award by junior researchers
The program committee will consider declaring this award to a paper in which at least one author is a junior researcher,
i.e. either a student or whose PhD award date is less than three years from the first day of the meeting. Other authors should
declare to the PC Chair that at least 50% of contribution is made by
the junior researcher(s). Send an e-mail to the PC Chair at fscd18@easychair.org .