posted by user: sierrauy || 5288 views || tracked by 12 users: [display]

TLCA 2011 : 10th Conference on Typed Lambda Calculi and Applications

FacebookTwitterLinkedInGoogle


Conference Series : Typed Lambda Calculus and Applications
 
Link: http://www.rdp2011.uns.ac.rs/tlca/index.html
 
When Jun 1, 2011 - Jun 3, 2011
Where Novi Sad
Abstract Registration Due Jan 26, 2011
Submission Deadline Feb 2, 2011
Notification Due Mar 23, 2011
Final Version Due Apr 3, 2011
Categories    typed lambda calculus   proof-theory   semantics   programming
 

Call For Papers

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

SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
CiVEJ 2020   Civil Engineering and Urban Planning: An International Journal
MVA 2021   17th International Conference on Machine Vision Applications
E&C 2020   4th International Conference on Electrical & Computer Engineering
ITAS--EI Compendex, Scopus 2021   2021 Information Technology & Applications Symposium (ITAS 2021)--EI Compendex, Scopus
SI:ICPR-MVAP 2021   Special Issue on Selected Papers from 25th ICPR in Machine Vision and Applications
AMSTA 2021   15th International Conference on Agents and Multi-Agent Systems: Technology and Applications
HMM 2021   Hidden Markov Models and Applications
AIAAT-SCOPUS 2021   5th International Conference on Artificial Intelligence Applications and Technologies (AIAAT 2021)
ICoCTA 2021   2021 2nd International Conference on Control Theory and Applications (ICoCTA 2021)