GoingToMeet

The TLCA series of conferences is a forum for presenting original research in the theory and applications of typed lambda calculus, broadly construed. Suggested, but not exclusive, list of topics for submission are:

• Proof-theory: formal reasoning based on type theory, linear logic and proof nets, typetheoretic aspects of computational complexity
• Semantics: game semantics, realisability, categorical and other models
• Types: dependent types, polymorphism, intersection types and related approaches (union types, refinement / liquid types, behavioural types), type inference, types in program analysis and verification
• Programming: foundational aspects of functional and object-oriented programming, flow analysis of higher-type computation, program equivalence (step-indexed, bisimulation and related methods)