From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 559817EFCD; Thu, 16 Oct 2014 08:30:35 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of paolini@di.unito.it) identity=pra; client-ip=130.192.156.1; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="paolini@di.unito.it"; x-sender="paolini@di.unito.it"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of paolini@di.unito.it designates 130.192.156.1 as permitted sender) identity=mailfrom; client-ip=130.192.156.1; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="paolini@di.unito.it"; x-sender="paolini@di.unito.it"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail.di.unito.it) identity=helo; client-ip=130.192.156.1; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="paolini@di.unito.it"; x-sender="postmaster@mail.di.unito.it"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnUCAMxkP1SCwJwBmWdsb2JhbABbg2FYAYMFtTQGk0YKhnlUgSYBEQEBAQEBCAsLBxQuhAoCGgYVCAEBJhABATQCBRMDCwILAwIBAgFLDQEHAQESiCgNszV4hQIBBZAuBoEshHaJVVeCfoFUkwqDPoJDhjtbl01qgQeBQwEBAQ X-IPAS-Result: AnUCAMxkP1SCwJwBmWdsb2JhbABbg2FYAYMFtTQGk0YKhnlUgSYBEQEBAQEBCAsLBxQuhAoCGgYVCAEBJhABATQCBRMDCwILAwIBAgFLDQEHAQESiCgNszV4hQIBBZAuBoEshHaJVVeCfoFUkwqDPoJDhjtbl01qgQeBQwEBAQ X-IronPort-AV: E=Sophos;i="5.04,730,1406584800"; d="scan'208";a="101392707" Received: from pianeta.di.unito.it (HELO mail.di.unito.it) ([130.192.156.1]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 16 Oct 2014 08:30:33 +0200 X-MailScanner-From: paolini@di.unito.it X-SpamCheck: not spam, SpamAssassin (not cached, score=-80.951, required 3, autolearn=not spam, AUTHENTICATEDUSER -100.00, AWL 21.46, BAYES_00 -1.90, MISSING_FROM 1.00, RCVD_IN_DNSWL_MED -2.30, RDNS_NONE 0.79, SINGLE_HEADER_2K 0.00, SPF_PASS -0.00) X-AntiVirus: Email Clean X-dipinfo-MailScanner-ID: s9G66DWE004741 X-dipinfo-MailScanner-Information: Please contact Department of Computer Science technical staff for more information Received: from mail.di.unito.it ([130.192.156.1]) by mail.di.unito.it (INFO-DIP) with ESMTP id s9G66DWE004741 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NO AuthenticatedUser=paolini ); Thu, 16 Oct 2014 08:06:26 +0200 (CEST) DKIM-Filter: OpenDKIM Filter v2.8.0 mail.di.unito.it s9G66DWE004741 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=di.unito.it; s=dipinfo2011; t=1413439652; bh=k9YfUsvgWAc4Af+oQVM9fOEcbCWsvNmtMEUAuzpi7Mk=; h=Date:From:To:CC:Subject; b=bdW2NlMM/o1D6KuoOU7MUlGw0Kw2ruo7g48B9KGEyBR2tpXr71Xtm7QAabZxgVQFG 4un+BQRnS9v6/67JFF8gJWTpBRCwH7SnQlb+m67Q/eHc0WGwG2p6q1nY/F9oFdysei Dkb2dJs0K6rLyJ2YhzYGHDmCUP+mqVeb81RVpBrk= Message-ID: <543F6053.6050909@di.unito.it> Date: Thu, 16 Oct 2014 08:06:11 +0200 From: Luca User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.2.0 MIME-Version: 1.0 To: Luca Luigi Paolini CC: agda@lists.chalmers.se, agents@cs.umbc.edu, aiia@dis.uniroma1.it, ", aila"@unicam.it, alg.announce@catalyse.net, alp-diffusion@univ-lille1.fr, ", apng-all"@apng.org, appsem@tcs.informatik.uni-muenchen.de, ", asl"@vassar.edu, cade@itu.dk, caml-list@inria.fr, categories@mta.ca, ", ccl"@ps.uni-sb.de, clean-list@science.ru.nl, clp@comp.nus.edu.sg, ", comlab"@comlab.ox.ac.uk, complog@cs.nmsu.edu, comprox@doc.ic.ac.uk, ", compulognet-parimp"@dia.fi.upm.es, concurrency@cwi.nl, coq-club@inria.fr, ", cphc-conf"@jiscmail.ac.uk, csd@lists.ut.ee, curry@lists.rwth-aachen.de, ", dmanet"@zpr.uni-koeln.de, elsnet-list@let.uu.nl, ", fg214"@informatik.uni-kiel.de, finite-model-theory@lists.rwth-aachen.de, ", fmics"@inrialpes.fr, fom@cs.nyu.edu, gdr.gpl@imag.fr, gdr-im@gdr-im.fr, ", haskell"@haskell.org, hol-info@lists.sourceforge.net, kgs-list@logic.at, ", ki-inf"@uni-koblenz.de, kr@kr.org, lfcs-interest@dcs.ed.ac.uk, ", lics"@informatik.hu-berlin.de, linear@cs.stanford.edu, ", loco"@csc.liv.ac.uk, logic@cs.stanford.edu, logic@math.uni-bonn.de, ", logic-list"@helsinki.fi, logik@math02.mathematik.uni-muenchen.de, ", logik"@math.uni-freiburg.de, lprolog@cs.umn.edu, math.logik@gmx.net, ", Maude-users"@cs.uiuc.edu, mercury-users@cs.mu.OZ.AU, ", moca-announce"@list.it.uu.se, meta-announce@cwi.nl, ", newsletter"@aarinc.org, nvti-list@cwi.nl, om-announce@openmath.org, ", pept"@yl.is.s.u-tokyo.ac.jp, pmt6sbc@leeds.ac.uk, prog-lang@diku.dk, ", prole"@babel.ls.fi.upm.es, proof-complexity@math.cas.cz, ", puml-list"@cs.york.ac.uk, pvs@csl.sri.com, relmics-l@McMaster.CA, ", rewriting"@listes.ens-lyon.fr, rewriting@m.aist.go.jp, ", rewriting-request"@listes.ens-lyon.fr, sicstus-users-request@sics.se, ", softtech"@cs.uu.nl, spin_list@research.bell-labs.com, ", theorem-provers"@ai.mit.edu, theory@cl.cam.ac.uk, ", theory-logic"@cs.cmu.edu, types-announce@lists.seas.upenn.edu, ", vki-list"@dfki.de Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Validation-by: paolini@di.unito.it Subject: [Caml-list] TLCA: 1st CALL for PAPERS 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.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)