[Agda] new use for literate agda!

[Thorsten Altenkirch]

Turn your agda code into a TLCA paper and submit it to TLCA!

Thorsten

                    FINAL 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 :
https://www.easychair.org/conferences/?conf=tlca2015

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.

INVITED SPEAKERS

Herman Geuvers
Martin Hofmann
Hélène Kirchner (joint TLCA and RTA speaker)

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.org<mailto:tlca2015 at 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          (FireEye Dresden)
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 Paris Diderot)
Martin Hofmann (LMU Munchen)
Luke Ong (U Oxford)
Michele Pagani (U Paris 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)





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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20150107/346ba6c5/attachment.html