[Agda] TLCA: 1st CALL for PAPERS

[Thorsten Altenkirch]

I hope to see many papers either using Agda or about Agda!

Thorsten

On 16/10/2014 07:06, "Luca" <paolini at di.unito.it> wrote:

>
>			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)
>
>_______________________________________________
>Agda mailing list
>Agda at lists.chalmers.se
>https://lists.chalmers.se/mailman/listinfo/agda

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.