[Agda] Call for Paper: TLCA'11, 1-3 June 2011, Novi Sad

Luca Paolini paolini at di.unito.it
Mon Sep 13 09:23:41 CEST 2010


CALL FOR PAPER
TLCA 2011, 1-3 June 2011, Novi Sad

 http://www.rdp2011.uns.ac.rs/tlca/index.html

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)

IMPORTANT DATES
---------------
26 January 2011:  Submission of titles and short abstracts
2 February 2011, 23:00 Greenwich Mean Time:    
           Strict deadline for submission of 15-page full papers
23 March 2011:  Notification of acceptance
3 April 2011:   Camera-ready paper versions due
(The above dates are tentative, to be confirmed as soon as possible.)


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)











More information about the Agda mailing list