FSCD 2018 - 2018 Third International Conference on Formal Structures for Computation and Deduction

TOPICS
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