TLCA: Typed Lambda Calculus and Applications

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2012 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
TLCA 2011 10th Conference on Typed Lambda Calculi and Applications
Jun 1, 2011 - Jun 3, 2011 Novi Sad Feb 2, 2011 (Jan 26, 2011)
 
 

Present CFP : 2011

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)
 

Related Resources

ICMCT&A 2025   ICMCT&A´25 - The 2025 International Conference on Marketing, Communication, Technologies and Applications
ReacTS 2024   International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
Lambda World 2024   Lambda World - The Largest Functional Programming Conference in South Europe
AASDS 2024   Special Issue on Applications and Analysis of Statistics and Data Science
IEA/AIE 2025   The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
ICIEA 2025   Springer--2025 12th International Conference on Industrial Engineering and Applications (ICIEA 2025)
ACM ICSCA 2025   ACM--2025 14th International Conference on Software and Computer Applications (ICSCA 2025)
ACDSA 2025   2nd International Conference on Artificial Intelligence, Computer, Data Sciences and Applications
VISAPP 2025   20th International Conference on Computer Vision Theory and Applications
IEEE ICARA 2025   IEEE--2025 The 11th International Conference on Automation, Robotics and Applications (ICARA 2025)