1-3 June 2011
Novi Sad, Serbia
=====================================
***** Final CALL FOR PAPER *****
Typed Lambda Calculi and Applications
TLCA 2011, 1-3 June 2011, Novi Sad
=====================================
http://www.rdp2011.uns.ac.rs/tlca/index.html
------------------------------------------------
** Title and abstract due 26 January 2011 **
** Deadline for submission 2 February 2011 **
------------------------------------------------
The conference proceedings will be published by Springer in the ARCoSS
subline of LNCS series:
http://www.springer.com/computer/lncs?SGWID=0-164-6-737109-0
Invited Speakers
* Alexandre Miquel (Universite Paris VII)
* Stephanie Weirich (University of Pennsylvania, United States)
* Vladimir Voevodsky, to be confirmed (Princeton, United States)
The 10th Conference on Typed Lambda Calculi and Applications (TLCA
2011) is a forum for 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, type-theoretic 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)
Programme Committee Chair
* Luke Ong (Oxford, GB)
Programme Committee
* Thorsten Altenkirch (University of Nottingham)
* Stefano Berardi (University of Torino)
* Adriana Compagnoni (Stevens Institute of Technology, New Jersey)
* Giles Dowek (Ecole Polytechnique, Paris)
* Silvia Ghilezan (University of Novi Sad)
* Hugo Herbelin (INRIA, Paris)
* Atsushi Igarashi (Kyoto University)
* Ranjit Jhala (UC San Diego)
* Ralph Matthes (CNRS, IRIT)
* Ugo dal Lago (University of Bologna)
* Luke Ong (University of Oxford) (PC Chair)
* Rick Statman (Carnegie Mellon University)
* Tachio Terauchi (Tohoku University)
* Nobuko Yoshida (Imperial College, London)
TLCA Publicity Chair
* Luca Paolini (Turin)