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

Sign for Notice Everyday

Home Post Event 2025Event 2026Event By Topic By Country Contact

Our Sponsors

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

Website http://www.rdp2011.uns.ac.rs/tlca | Edit Freely

Category TLCA 2011

Deadline: January 26, 2011 | Date: June 01, 2011

Venue/Country: Dubai, United Arab Emirates

Updated: 2010-09-17 13:44:50 (GMT+9)

Call For Papers - CFP

The Tenth International Conference on Typed Lambda Calculi and Applications (TLCA 2011) is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2011), together with the International Conference on Rewriting Techniques and Applications (RTA 2011) and several related events.

Call for papers

The TLCA series of conferences is a forum for presenting 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

Wednesday 26 January 2011 Submission of titles and short abstracts

Wednesday 2 February 2011, 23:00 Greenwich Mean Time Strict deadline for submission of 15-page full papers

Wednesday 23 March 2011 Notification of acceptance

Sunday 3 April 2011 Camera-ready paper versions due

(The above dates are tentative, to be confirmed as soon as possible.)

The paper submission deadline is STRICT. The submission of abstracts a week earlier allows the programme committee to start work before full versions are available. The submission site is now open for both abstracts and full papers.

Submission of an abstract does not entail an obligation to submit a full paper; however an abstract that is not accompanied by a full paper by the final deadline will be treated as withdrawn, but authors are strongly encouraged, in this case, to explicitly withdraw their submission by sending an e-mail to the PC Chair.

Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.