 Conferences
 General information

July 1July 3, 2015, Warsaw, Poland
Accepted Papers
Here is the list of accepted papers.
Call for Papers (PDF)
The 13th International Conference on
Typed Lambda Calculi
and Applications (TLCA 2015) 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:
Prooftheory: natural deduction, sequent calculi, cut
elimination and normalization, propositions as types, linear logic and
proof nets, typetheoretic aspects of computational complexity.
Semantics: denotational semantics, game semantics,
realisability, domain theory, categorical models, higher order
semantics of natural language.
Types: subtypes, dependent types, polymorphism,
inductive, coinductive and recursive types, intersection types and
related approaches, type inference and type checking, types in program
analysis and verification, types in proof assistants, homotopy type
theory.
Programming: foundational aspects of functional programming,
objectoriented programming and other programming paradigms,
calculi for higher order concurrency (e.g. picalculus),
flow analysis of highertype computation, program equivalence,
program transformation and optimization.
Other: typed lambda calculi in education, proof
systems based on lambda calculus to teach mathematics, lambda calculi
as a unified notation in scientific education.
The TLCA serves as a forum for presenting original research in the theory and applications of typed lambda calculus, broadly construed.
Important Dates
Abstract submission: 
January 30, 2015 (Friday) 
Paper submission: 
February 6, 2015 (Friday) 
Notification: 
April 2, 2015 (Thursday) 
CameraReady: 
April 17, 2015 (Friday) 
Submission Guidelines
We solicit submissions of research papers, which must:

be in English and not exceed 15 pages (including figures and
bibliography). Additional material intended for the reviewers
but not for publication in the final version  for example
details of proofs  may be placed in a clearly marked appendix
that is not included in the page limit. Reviewers will be told
that they may choose to ignore the appendix.

present original research which is unpublished and not submitted
elsewhere (conferences, journals, books, etc.)

use
LIPIcs latex style

be submitted electronically in PDF via the EasyChair TLCA
2015 Submission Webpage https://easychair.org/conferences/?conf=tlca2015
Submissions deviating from these instructions may be rejected without
review. A condition of submission is that, if accepted, one of the
authors must attend the conference to give the presentation. The
proceedings will be published as an electronic volume in the Leibniz
International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl.
Note that LIPIcs is open access and hence publications automatically
satisfy the requirements many research councils impose on
publications.
Any questions regarding the submission guidelines should be directed
to the Programme Committee Chair prior to submitting.
Colocated Events
TLCA 2015 is organized as part of the
Federated Conference on Rewriting,
Deduction, and Programming (RDP 2015),
together with the
International Conference on Rewriting Techniques and Applications (RTA 2015)
and several related events. Details on
workshops affiliated with RDP 2015 will be available at the web
site in due course.
Programme Committee
 Thorsten Altenkirch,
University of Nottingham (chair)
 Steve Awodey, Carnegie Mellon University
 Stefano Berardi, University of Turin
 James Chapman, Tallinn University of Technology
 Gilles Dowek, INRIA
 Peter Dybjer, Chalmers University of Technology
 Silvia Ghilezan, University of Novi Sad
 Mauro Jaskelioff, Rosario National University
 Chantal Keller, Microsoft Research Cambridge
 Paul Levy, University of Birmingham
 Ralph Matthes, IRIT, CNRS U Toulouse
 Keiko Nakata, FireEye Dresden
 Damian Niwinski, University of Warsaw
 Valeria de Paiva, Nuance Communications
 Matthieu Sozeau, INRIA
 Wouter Swierstra, University of Utrecht
Programme Chair
Thorsten Altenkirch
University of Nottingham
tlca2015 at easychair.org
Invited Speakers
TLCA Steering Committee
 Sandra Alves, U Porto
 Steve Awodey, CMU
 PierreLouis Curien, CNRS/U Paris Diderot
 Ugo Dal Lago, U Bologna
 Gilles Dowek, INRIA
 Masahito Hasegawa, U Kyoto
 Hugo Herbelin, U Paris Diderot
 Martin Hofmann, LMU Munchen
 Luke Ong, U Oxford
 Michele Pagani, U Paris Diderot
 Jens Palsberg, UCLA
 Jakob Rehof, U Dortmund
 Pawel Urzyczyn, U Warsaw, chair
 Philip Wadler, U Edinburgh
TLCA Honorary Advisor
 Samson Abramsky, U Oxford
 Henk Barendregt, U Nijmegen
 Mariangiola Dezani, U Torino
 Roger Hindley, Swansea U
 Simona Ronchi Della Rocca, U Torino
TLCA Publicity Chair
Luca Paolini, U Torino
