* TLCA 2011 --- Last Call for Papers
@ 2010-12-22 16:58 Luca Paolini
0 siblings, 0 replies; only message in thread
From: Luca Paolini @ 2010-12-22 16:58 UTC (permalink / raw)
To: moca-announce-HnE2qM1WCGk4M/bo5TPICw,
agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB,
asl-zka7wQWIdxI3uPMLIKxrzw, cade-YidNj35/HaM,
categories-59hdLBrVOVU, clean-list-FlD2LfDziEhmR6Xm/wNWPw,
clp-re5r+meJ/dN84TsAtUCrkA,
coq-club-YJlLV9CSrF6HKRXNmLAf3lAUjnlXr6A1, compulognet
Cc: Luca Paolini
=====================================
***** 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)
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2010-12-22 16:58 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-12-22 16:58 TLCA 2011 --- Last Call for Papers Luca Paolini
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).