coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] TLCA: 1st CALL for PAPERS

From: Luca <paolini AT di.unito.it>
To: Luca Luigi Paolini <Luca.paolini AT unito.it>
Cc: agda AT lists.chalmers.se, agents AT cs.umbc.edu, aiia AT dis.uniroma1.it, ", aila" AT unicam.it, alg.announce AT catalyse.net, alp-diffusion AT univ-lille1.fr, ", apng-all" AT apng.org, appsem AT tcs.informatik.uni-muenchen.de, ", asl" AT vassar.edu, cade AT itu.dk, caml-list AT inria.fr, categories AT mta.ca, ", ccl" AT ps.uni-sb.de, clean-list AT science.ru.nl, clp AT comp.nus.edu.sg, ", comlab" AT comlab.ox.ac.uk, complog AT cs.nmsu.edu, comprox AT doc.ic.ac.uk, ", compulognet-parimp" AT dia.fi.upm.es, concurrency AT cwi.nl, coq-club AT inria.fr, ", cphc-conf" AT jiscmail.ac.uk, csd AT lists.ut.ee, curry AT lists.rwth-aachen.de, ", dmanet" AT zpr.uni-koeln.de, elsnet-list AT let.uu.nl, ", fg214" AT informatik.uni-kiel.de, finite-model-theory AT lists.rwth-aachen.de, ", fmics" AT inrialpes.fr, fom AT cs.nyu.edu, gdr.gpl AT imag.fr, gdr-im AT gdr-im.fr, ", haskell" AT haskell.org, hol-info AT lists.sourceforge.net, kgs-list AT logic.at, ", ki-inf" AT uni-koblenz.de, kr AT kr.org, lfcs-interest AT dcs.ed.ac.uk, ", lics" AT informatik.hu-berlin.de, linear AT cs.stanford.edu, ", loco" AT csc.liv.ac.uk, logic AT cs.stanford.edu, logic AT math.uni-bonn.de, ", logic-list" AT helsinki.fi, logik AT math02.mathematik.uni-muenchen.de, ", logik" AT math.uni-freiburg.de, lprolog AT cs.umn.edu, math.logik AT gmx.net, ", Maude-users" AT cs.uiuc.edu, mercury-users AT cs.mu.OZ.AU, ", moca-announce" AT list.it.uu.se, meta-announce AT cwi.nl, ", newsletter" AT aarinc.org, nvti-list AT cwi.nl, om-announce AT openmath.org, ", pept" AT yl.is.s.u-tokyo.ac.jp, pmt6sbc AT leeds.ac.uk, prog-lang AT diku.dk, ", prole" AT babel.ls.fi.upm.es, proof-complexity AT math.cas.cz, ", puml-list" AT cs.york.ac.uk, pvs AT csl.sri.com, relmics-l AT McMaster.CA, ", rewriting" AT listes.ens-lyon.fr, rewriting AT m.aist.go.jp, ", rewriting-request" AT listes.ens-lyon.fr, sicstus-users-request AT sics.se, ", softtech" AT cs.uu.nl, spin_list AT research.bell-labs.com, ", theorem-provers" AT ai.mit.edu, theory AT cl.cam.ac.uk, ", theory-logic" AT cs.cmu.edu, types-announce AT lists.seas.upenn.edu, ", vki-list" AT dfki.de
Subject: [Coq-Club] TLCA: 1st CALL for PAPERS
Date: Thu, 16 Oct 2014 08:06:11 +0200
Dkim-filter: OpenDKIM Filter v2.8.0 mail.di.unito.it s9G66DWE004741

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 AT easychair.orgtlca2015@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)

[Coq-Club] TLCA: 1st CALL for PAPERS, Luca, 10/16/2014