posted by user: peterljunglof || 3797 views || tracked by 9 users: [display]

TYPES 2013 : Types for Proofs and Programs

FacebookTwitterLinkedInGoogle


Conference Series : Types for Proofs and Programs
 
Link: http://www.irit.fr/TYPES2013/
 
When Apr 23, 2013 - Apr 26, 2013
Where Toulouse, France
Submission Deadline Feb 25, 2013
Notification Due Mar 8, 2013
Categories    type theory   logic
 

Call For Papers

Types Meeting 2013
Toulouse, 23-26 April 2013

http://www.irit.fr/TYPES2013/

FIRST CALL FOR CONTRIBUTIONS

The 19th Conference "Types for Proofs and Programs" will take place in

Toulouse, France, from 23 to 26 April 2013.

The Types Meeting is a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalized
and computer assisted reasoning and computer programming.

Invited speakers:

* Steve Awodey, Department of Philosophy, Carnegie Mellon University, U.S.A.

* Lars Birkedal, Department of Computer Science, Aarhus University, Denmark

* Ulrich Kohlenbach, Department of Mathematics, TU Darmstadt, Germany

We invite all researchers to contribute talks on subjects related to
the Types area of interest. These include, but are not limited to:

- Foundations of type theory and constructive mathematics;
- Applications of type theory;
- Dependently typed programming;
- Industrial uses of type theory technology;
- Meta-theoretic studies of type systems;
- Proof assistants and proof technology;
- Automation in computer-assisted reasoning;
- Links between type theory and functional programming;
- Formalizing mathematics using type theory.

We would like to especially encourage talks proposing new ways of
applying type theory.

The talks may be based on newly published papers or work submitted for

publication, but also work in progress. There are no formal
pre-proceedings, but we will make available the abstract book for the
conference.

Meanwhile, post-proceedings are confirmed to appear in LIPIcs (Leibniz

International Proceedings in Informatics), Schloss Dagstuhl, see
http://www.dagstuhl.de/en/publications/lipics
(the same publisher as for the last TYPES meeting in Bergen in 2011)
There will be a separate call for papers, and participation in TYPES 2013
is no prerequisite for submission to the post-proceedings.

TYPES 2013 is intended to be a conference in our traditional workshop
style. We expect submission of short abstracts that fit on one or two
pages, presenting in sufficient detail the content of the talk and its

relevance for TYPES, as judged by the program committee.

Submission is exclusively admitted electronically, through the
EasyChair system. The submission site is
https://www.easychair.org/conferences/?conf=types2013

Deadline for proposing a contributed talk: Monday, February 18
This means registering a submission to the EasyChair system, including

a short text-only abstract.

Deadline for the final version of the abstract: Monday, February 25
The final abstract has to be typeset in LaTeX (precise instructions
will be given on the web site) and should fit on one or two pages.
It is meant for inclusion into the abstract book.

Notification of acceptance: Friday, March 8

The conference itself: Tuesday to Friday, April 23-26, 2013

The venue: Toulouse in the South West of France is the fourth largest
city of France and a lively university center with way over 100000
students. Toulouse offers numerous inexpensive accommodations,
including student residences.

Thanks to our sponsors, notably Université Toulouse 1 Capitole,
granting the lecture hall in the city center, and IRIT (Institut de
Recherche en Informatique de Toulouse) with financial support (other
sources pending), we will be able to keep the participation fee
moderate. Moreover, we will operate a scheme of additional fee
reduction for master and PhD students (details will be given later on
the web site).

-----------------------------------------------------------------------
Satellite event: On Monday, April 22, the twelfth international
workshop Proof, Computation, Complexity (PCC 2013) will be held
on the campus of Toulouse Technical University.

For the details, see the web site of TYPES 2013.
-----------------------------------------------------------------------


Program Committee TYPES 2013

José Espírito Santo, University of Minho, Braga, Portugal
Herman Geuvers, Radboud University Nijmegen, Netherlands
Silvia Ghilezan, University of Novi Sad, Serbia
Hugo Herbelin, PPS, INRIA Rocquencourt-Paris, France
Martin Hofmann, Ludwig-Maximilians-Universität München, Germany
Zhaohui Luo, Royal Holloway, University of London, UK
Ralph Matthes, IRIT, CNRS and Univ. de Toulouse, France (co-chair)
Marino Miculan, University of Udine, Italy
Bengt Nordström, Chalmers University of Technology, Göteborg, Sweden
Erik Palmgren, Stockholm University, Sweden
Andy Pitts, University of Cambridge, UK
Sergei Soloviev, IRIT, Univ. de Toulouse, France (co-chair)
Paweł Urzyczyn, University of Warsaw, Poland
Tarmo Uustalu, Institute of Cybernetics, Tallinn Technical University, Estonia

Related Resources

CPP 2020   Certified Programs and Proofs
ICALP 2020   47th International Colloquium on Automata, Languages and Programming
TyDe 2019   4th Workshop on Type-Driven Development (TyDe 2019)
IJCAR 2020   10th International Joint Conference on Automated Reasoning
PROOFS 2019   8th International Workshop on Security Proofs for Embedded Systems
SLIE 2020   Semantic, Logics, Information Extraction and AI
CEA 2020   Special Topics: Academic Administrative Leadership at CEA 2020
CONCUR 2020   31st International Conference on Concurrency Theory
FTfJP 2019   21st Workshop on Formal Techniques for Java-like Programs
EuroPLoP 2019   24th European Conference on Pattern Languages of Programs