[ The Types Forum (announcements only),
    http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


                        FIRST CALL FOR PAPERS
                Thirteenth International Conference on
          TYPED LAMBDA CALCULI AND APPLICATIONS (TLCA 2015)

                 1 July - 3 July 2015, Warsaw, Poland
            (co-located with RTA 2015 as part of RDP 2015)
                      http://rdp15.mimuw.edu.pl/

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:

- Proof-theory: natural deduction, sequent calculi, cut elimination
  and normalization, propositions as types, linear logic and proof
  nets, type-theoretic 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,
   object-oriented programming and other programming paradigms,
   calculi for higher order concurrency (e.g. pi-calculus),
   flow analysis of higher-type computation, program equivalence,
   program transformation and optimization
- Typed lambda calculi in education, proof systems based on lambda
   calculus to teach mathematics, lambda calculi as a unified notation
   in scientific education

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
  http://www.dagstuhl.de/publikationen/lipics/anleitung-fuer-autoren/
- be submitted electronically in PDF via theEasyChair TLCA
  2015 Submission Webpage (will open nearer the deadline).

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.

IMPORTANT DATES
Abstract Deadline:              30 January 2015
Submission Deadline:    6 February 2015
Notification:                   2 April 2015
Camera-Ready:           17 April 2015

PROGRAMME CHAIR

Thorsten Altenkirch (U Nottingham)
tlca2015@easychair.orgtlca2...@easychair.org

PROGRAMME COMMITTEE

Steve Awodey                            (Carnegie Mellon U)
Stefano Berardi                         (U Torino)
James Chapman                   (TU Tallinn)
Gilles Dowek                            (INRIA)
Peter Dybjer                            (Chalmers U)
Silvia Ghilezan                         (U Novi Sad)
Mauro Jaskelioff                        (U Rosario)
Chantal Keller                          (MSR Cambridge)
Paul Levy                               (U Birmingham)
Ralph Matthes                   (IRIT, CNRS  U Toulouse)
Keiko Nakata                            (TU Tallinn)
Damian Niwinski                 (U Warsaw)
Valeria de Paiva                        (Nuance Communications)
Matthieu Sozeau                         (INRIA)
Wouter Swierstra                        (U Utrecht)

CONFERENCE CHAIR

Aleksy Schubert (U Warsaw)

TLCA STEERING COMMITTEE

Sandra Alves (U Porto)
Steve Awodey, (CMU)
Pierre-Louis Curien (CNRS/U Paris Diderot)
Ugo Dal Lago (U Bologna)
Gilles Dowek (INRIA)
Masahito Hasegawa (U Kyoto)
Hugo Herbelin (U Denis Diderot)
Martin Hofmann (LMU Munchen)
Luke Ong (U Oxford)
Michele Pagani (U Denis 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)

Reply via email to