Second International Conference on. Formal Structures for Computation and Deduction

Suggested, but not exclusive, list of topics for submission are:

Calculi

• Lambda calculus

• Concurrent calculi

• Logics

• Rewriting systems

• Proof theory

• Type theory and logical frameworks

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

• Certification