From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7587 Path: news.gmane.org!not-for-mail From: Ralph Matthes Newsgroups: gmane.science.mathematics.categories Subject: Types Meeting 2013 in Toulouse, 23 - 26 April: second call for contributions Date: Thu, 31 Jan 2013 17:09:10 +0100 Message-ID: Reply-To: Ralph Matthes NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1359724034 28254 80.91.229.3 (1 Feb 2013 13:07:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 1 Feb 2013 13:07:14 +0000 (UTC) To: Categories Original-X-From: majordomo@mlist.mta.ca Fri Feb 01 14:07:34 2013 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.32]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1U1GL8-0001iu-9U for gsmc-categories@m.gmane.org; Fri, 01 Feb 2013 14:07:34 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:39816) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1U1GIk-00014B-OG; Fri, 01 Feb 2013 09:05:06 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1U1GIj-0007yN-Ck for categories-list@mlist.mta.ca; Fri, 01 Feb 2013 09:05:05 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7587 Archived-At: Types Meeting 2013 Toulouse, 23-26 April 2013 http://www.irit.fr/TYPES2013/ SECOND 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 25 This means registering a submission to the EasyChair system, including a short text-only abstract, and submitting the PDF file of an abstract typeset in LaTeX that fits on one or two pages, conforming to the EasyChair LaTeX class - for technical details, see the web page. (In the first call for papers, there was a second, earlier deadline for registering the submission to EasyChair.) Notification of acceptance: Friday, March 8 Deadline for final version of LaTeX sources for inclusion of the abstract into the abstract book: Monday, April 1st The conference itself: Tuesday to Friday, April 23-26 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. Abstract submission deadline: February 25 Notification of acceptance: March 8 For the details, see http://www.irit.fr/TYPES2013/PCC2013/ ----------------------------------------------------------------------- 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, Tallinn Technical University, Estonia [For admin and other information see: http://www.mta.ca/~cat-dist/ ]