<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; color: rgb(0, 0, 0); font-size: 14px; font-family: Calibri, sans-serif;"><div><div style="font-family: Consolas; font-size: medium;">Turn your agda code into a TLCA paper and submit it to TLCA!</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">Thorsten</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;"> FINAL CALL FOR PAPERS</div><div style="font-family: Consolas; font-size: medium;"> Thirteenth International Conference on</div><div style="font-family: Consolas; font-size: medium;"> TYPED LAMBDA CALCULI AND APPLICATIONS (TLCA 2015)</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;"> 1 July - 3 July 2015, Warsaw, Poland</div><div style="font-family: Consolas; font-size: medium;"> (co-located with RTA 2015 as part of RDP 2015)</div><div style="font-family: Consolas; font-size: medium;"> <a href="http://rdp15.mimuw.edu.pl/">http://rdp15.mimuw.edu.pl/</a></div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">The 13th International Conference on Typed Lambda Calculi</div><div style="font-family: Consolas; font-size: medium;">and Applications (TLCA 2015) is a forum for original</div><div style="font-family: Consolas; font-size: medium;">research in the theory and applications of typed lambda</div><div style="font-family: Consolas; font-size: medium;">calculus, broadly construed.</div><div style="font-family: Consolas; font-size: medium;">Suggested, but not exclusive, list of topics for submission are:</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">- Proof-theory: natural deduction, sequent calculi, cut elimination</div><div style="font-family: Consolas; font-size: medium;"> and normalization, propositions as types, linear logic and proof</div><div style="font-family: Consolas; font-size: medium;"> nets, type-theoretic aspects of computational complexity</div><div style="font-family: Consolas; font-size: medium;">- Semantics: denotational semantics, game semantics, realisability,</div><div style="font-family: Consolas; font-size: medium;"> domain theory, categorical models, higher order semantics of</div><div style="font-family: Consolas; font-size: medium;"> natural language</div><div style="font-family: Consolas; font-size: medium;">- Types: subtypes, dependent types, polymorphism, inductive,</div><div style="font-family: Consolas; font-size: medium;"> coinductive and recursive types, intersection types and related</div><div style="font-family: Consolas; font-size: medium;"> approaches, type inference and type checking, types in program</div><div style="font-family: Consolas; font-size: medium;"> analysis and verification, types in proof assistants, homotopy type</div><div style="font-family: Consolas; font-size: medium;"> theory</div><div style="font-family: Consolas; font-size: medium;">- Programming: foundational aspects of functional programming,</div><div style="font-family: Consolas; font-size: medium;"> object-oriented programming and other programming paradigms,</div><div style="font-family: Consolas; font-size: medium;"> calculi for higher order concurrency (e.g. pi-calculus),</div><div style="font-family: Consolas; font-size: medium;"> flow analysis of higher-type computation, program equivalence,</div><div style="font-family: Consolas; font-size: medium;"> program transformation and optimization</div><div style="font-family: Consolas; font-size: medium;">- Typed lambda calculi in education, proof systems based on lambda</div><div style="font-family: Consolas; font-size: medium;"> calculus to teach mathematics, lambda calculi as a unified notation</div><div style="font-family: Consolas; font-size: medium;"> in scientific education</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">SUBMISSION GUIDELINES</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">We solicit submissions of research papers, which must:</div><div style="font-family: Consolas; font-size: medium;">- be in English and not exceed 15 pages (including figures and</div><div style="font-family: Consolas; font-size: medium;"> bibliography). Additional material intended for the reviewers</div><div style="font-family: Consolas; font-size: medium;"> but not for publication in the final version - for example</div><div style="font-family: Consolas; font-size: medium;"> details of proofs - may be placed in a clearly marked appendix</div><div style="font-family: Consolas; font-size: medium;"> that is not included in the page limit. Reviewers will be told</div><div style="font-family: Consolas; font-size: medium;"> that they may choose to ignore the appendix.</div><div style="font-family: Consolas; font-size: medium;">- present original research which is unpublished and not submitted</div><div style="font-family: Consolas; font-size: medium;"> elsewhere (conferences, journals, books, etc.)</div><div style="font-family: Consolas; font-size: medium;">- use LIPIcs latex style</div><div style="font-family: Consolas; font-size: medium;"> <a href="http://www.dagstuhl.de/publikationen/lipics/anleitung-fuer-autoren/">http://www.dagstuhl.de/publikationen/lipics/anleitung-fuer-autoren/</a></div><div style="font-family: Consolas; font-size: medium;">- be submitted electronically in PDF via theEasyChair TLCA</div><div style="font-family: Consolas; font-size: medium;"> 2015 Submission Webpage :</div><div style="font-family: Consolas; font-size: medium;"><a href="https://www.easychair.org/conferences/?conf=tlca2015">https://www.easychair.org/conferences/?conf=tlca2015</a></div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">Submissions deviating from these instructions may be rejected without</div><div style="font-family: Consolas; font-size: medium;">review. A condition of submission is that, if accepted, one of the</div><div style="font-family: Consolas; font-size: medium;">authors must attend the conference to give the presentation. The</div><div style="font-family: Consolas; font-size: medium;">proceedings will be published as an electronic volume in the Leibniz</div><div style="font-family: Consolas; font-size: medium;">International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl.</div><div style="font-family: Consolas; font-size: medium;">Note that LIPIcs is open access and hence publications automatically</div><div style="font-family: Consolas; font-size: medium;">satisfy the requirements many research councils impose on</div><div style="font-family: Consolas; font-size: medium;">publications.</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">Any questions regarding the submission guidelines should be directed</div><div style="font-family: Consolas; font-size: medium;">to the Programme Committee Chair prior to submitting.</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">INVITED SPEAKERS</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">Herman Geuvers</div><div style="font-family: Consolas; font-size: medium;">Martin Hofmann</div><div style="font-family: Consolas; font-size: medium;">Hélène Kirchner (joint TLCA and RTA speaker)</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">COLOCATED EVENTS</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">TLCA 2015 is organized as part of the Federated Conference on</div><div style="font-family: Consolas; font-size: medium;">Rewriting, Deduction, and Programming (RDP 2015), together with</div><div style="font-family: Consolas; font-size: medium;">the International Conference on Rewriting Techniques and</div><div style="font-family: Consolas; font-size: medium;">Applications (RTA 2015) and several related events. Details on</div><div style="font-family: Consolas; font-size: medium;">workshops affiliated with RDP 2015 will be available at the web</div><div style="font-family: Consolas; font-size: medium;">site in due course.</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">IMPORTANT DATES</div><div style="font-family: Consolas; font-size: medium;">Abstract Deadline: 30 January 2015</div><div style="font-family: Consolas; font-size: medium;">Submission Deadline: 6 February 2015</div><div style="font-family: Consolas; font-size: medium;">Notification: 2 April 2015</div><div style="font-family: Consolas; font-size: medium;">Camera-Ready: 17 April 2015</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">PROGRAMME CHAIR</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">Thorsten Altenkirch (U Nottingham)</div><div style="font-family: Consolas; font-size: medium;"><a href="mailto:tlca2015@easychair.org">tlca2015@easychair.org</a></div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">PROGRAMME COMMITTEE</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">Steve Awodey<span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span>(Carnegie Mellon U)</div><div style="font-family: Consolas; font-size: medium;">Stefano Berardi <span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span>(U Torino)</div><div style="font-family: Consolas; font-size: medium;">James Chapman <span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span> (TU Tallinn)</div><div style="font-family: Consolas; font-size: medium;">Gilles Dowek<span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span>(INRIA)</div><div style="font-family: Consolas; font-size: medium;">Peter Dybjer <span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span>(Chalmers U)</div><div style="font-family: Consolas; font-size: medium;">Silvia Ghilezan <span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span>(U Novi Sad)</div><div style="font-family: Consolas; font-size: medium;">Mauro Jaskelioff <span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span>(U Rosario)</div><div style="font-family: Consolas; font-size: medium;">Chantal Keller <span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span>(MSR Cambridge)</div><div style="font-family: Consolas; font-size: medium;">Paul Levy <span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span>(U Birmingham)</div><div style="font-family: Consolas; font-size: medium;">Ralph Matthes <span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span> (IRIT, CNRS U Toulouse)</div><div style="font-family: Consolas; font-size: medium;">Keiko Nakata <span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span> <span class="Apple-tab-span" style="white-space: pre;"> </span>(FireEye Dresden)</div><div style="font-family: Consolas; font-size: medium;">Damian Niwinski <span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span>(U Warsaw)</div><div style="font-family: Consolas; font-size: medium;">Valeria de Paiva <span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span>(Nuance Communications)</div><div style="font-family: Consolas; font-size: medium;">Matthieu Sozeau <span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span>(INRIA)</div><div style="font-family: Consolas; font-size: medium;">Wouter Swierstra <span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span>(U Utrecht)</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">CONFERENCE CHAIR</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">Aleksy Schubert (U Warsaw)</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">TLCA STEERING COMMITTEE</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">Sandra Alves (U Porto)</div><div style="font-family: Consolas; font-size: medium;">Steve Awodey, (CMU)</div><div style="font-family: Consolas; font-size: medium;">Pierre-Louis Curien (CNRS/U Paris Diderot)</div><div style="font-family: Consolas; font-size: medium;">Ugo Dal Lago (U Bologna)</div><div style="font-family: Consolas; font-size: medium;">Gilles Dowek (INRIA)</div><div style="font-family: Consolas; font-size: medium;">Masahito Hasegawa (U Kyoto)</div><div style="font-family: Consolas; font-size: medium;">Hugo Herbelin (U Paris Diderot)</div><div style="font-family: Consolas; font-size: medium;">Martin Hofmann (LMU Munchen)</div><div style="font-family: Consolas; font-size: medium;">Luke Ong (U Oxford)</div><div style="font-family: Consolas; font-size: medium;">Michele Pagani (U Paris Diderot)</div><div style="font-family: Consolas; font-size: medium;">Jens Palsberg (UCLA)</div><div style="font-family: Consolas; font-size: medium;">Jakob Rehof (U Dortmund)</div><div style="font-family: Consolas; font-size: medium;">Pawel Urzyczyn (U Warsaw), chair</div><div style="font-family: Consolas; font-size: medium;">Philip Wadler (U Edinburgh)</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">TLCA HONORARY ADVISOR</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">Samson Abramsky (U Oxford)</div><div style="font-family: Consolas; font-size: medium;">Henk Barendregt (U Nijmegen)</div><div style="font-family: Consolas; font-size: medium;">Mariangiola Dezani (U Torino)</div><div style="font-family: Consolas; font-size: medium;">Roger Hindley (Swansea U)</div><div style="font-family: Consolas; font-size: medium;">Simona Ronchi Della Rocca (U Torino)</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">TLCA PUBLICITY CHAIR</div><div style="font-family: Consolas; font-size: medium;"><br></div><div style="font-family: Consolas; font-size: medium;">Luca Paolini (U Torino)</div></div><div><br></div><PRE>
This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please send it back to me, and immediately delete it.
Please do not use, copy or disclose the information contained in this
message or in any attachment. Any views or opinions expressed by the
author of this email do not necessarily reflect the views of the
University of Nottingham.
This message has been checked for viruses but the contents of an
attachment may still contain software viruses which could damage your
computer system, you are advised to perform your own checks. Email
communications with the University of Nottingham may be monitored as
permitted by UK legislation.
</PRE></body></html>