Logic List Mailing Archive

TLCA 2011: Typed Lambda Calculi and Applications

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)