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

WACV 2017   IEEE Winter Conference on Applications of Computer Vision
SERecSys 2017   2nd ICDM Workshop on Semantics-Enabled Recommender Systems
ICITA 2018   International Conference on Information Technology and Applications
ICON 2017   14th International Conference on Natural Language Processing
FSCD 2017   FSCD 2017 : Second International Conference on Formal Structures for Computation and Deduction
LOPAL 2018   International Conference on Learning and Optimization Algorithms: Theory and Applications
SI-SoftMM 2017   Special Issue on Soft Computing Techniques and Applications on MM Data Analyzing Systems-- Springer Journal of Multimedia Tools and Applications
SCN-SPMAP 2017   Security and Communication Networks Journal - SI on Security and Privacy in Mobile Applications and Platforms
CSPA 2018   14th IEEE Colloquium on Signal Processing and its Applications (CSPA 2018)
ACM SAC-RS 2018   ACM SIGAPP Symposium On Applied Computing 2018 - Track on Recommender Systems: Theory, User Interactions and Applications