The Coq mailing list

[José Carlos Espírito Santo <jes AT math.uminho.pt>]

(Apologies for cross-posting)


FINAL CALL FOR PARTICIPATION (NEW: full programme)


24th International Conference on Types for Proofs and Programs, TYPES 2018

and

EUTYPES Cost Action CA15123 meeting

Braga, Portugal, 18 - 21 June 2018

http://w3.math.uminho.pt/types2018


BACKGROUND

The TYPES meetings are a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalised
and computer assisted reasoning and computer programming.

The TYPES areas of interest 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.


The EUTypes Cost Action CA15123 (eutypes.cs.ru.nl) focuses on the same
research topics as TYPES and partially sponsors the TYPES Conference:
Part of the programme is organised under the auspices of EUTypes.


INVITED SPEAKERS


 * Cédric Fournet (Microsoft Research, UK):
   Building verified cryptographic components using F*
 * Delia Kesner (IRIF — CNRS and Université Paris-Diderot, France):
   Multi Types for Higher-Order Languages
 * Matthieu Sozeau  (INRIA, France):
   The Predicative, Polymorphic Calculus of Cumulative Inductive Constructions and its implementation
 * Josef Urban (CIIRC, Czech Republic):
   Machine Learning for Proof Automation and Formalization


REGISTRATION

Registration is open at the conference's website.

The fee is 325 EUR for normal participants and 275 EUR for students.


EUTYPES FUNDING

The first two days of TYPES 2018, June 18 – 21 are organised by 
EUTypes Cost Action CA15123. On June 19 there will be an EUTypes 
Management Committee (MC) meeting, and on both days there will be WG 
meetings. This means that members of the EUTypes MC will be invited 
for these 2 days through the e-cost system, and their cost of travel 
and stay will be covered. There will likely be some funding for a 
limited number of other speakers. The funding is subject to COST 
rules, and invitations will be sent out via the e-cost system after 
the 1st of May.


ABOUT BRAGA

Braga is a city with more than two thousand years of history, known 
as the "Portuguese Rome" and the "Archbishops Town". It combines 
the heritage of a roman city (Bracara Augusta), a medieval center of 
religious power, and an ex-libris of Barroque in Portugal. The social 
programme of the conference will explore this rich history. Within a 
distance of 50 kms one finds the cities of Porto and Guimarães, the 
Atlantic Ocean, and the National Park Peneda-Gerês. The week when the
conference takes place allows to experience the unique atmosphere of 
Braga's main popular festivity (St John, June 24).



PROGRAMME COMMITTEE

Andreas Abel (Chalmers University Gothenburg)
Amal Ahmed (Northeastern University Boston)
Andrej Bauer (University of Ljubljana)
Marc Bezem (University of Bergen)
Maria Paola Bonacina (University of Verona)
Gilles Dowek (INRIA – ENS Paris-Saclay)
Peter Dybjer (Chalmers University Gothenburg)
José Espírito Santo (University of Minho) (co-chair)
Herman Geuvers (Radboud University Nijmegen)
Ambrus Kaposi (Eötvös Loránd University)
Ugo de’Liguoro (University of Torino)
Ralph Matthes (IRIT – CNRS and University of Toulouse)
Assia Mahboubi (INRIA – LS2N Nantes)
Keiko Nakata (SAP Potsdam)
Pierre-Marie Pédrot (Max Planck Institute for Software Systems Saarbruckën)
Luís Pinto (University of Minho) (co-chair)
Andrew Pitts (University of Cambridge)
Aleksy Schubert (University of Warsaw)
Carsten Schürmann (IT University of Copenhagen)
Anton Setzer (University of Swansea)



TYPES STEERING COMMITTEE

José Espírito Santo, Silvia Ghilezan, Hugo Herbelin, Ambrus Kaposi, 
Ralph Matthes (chair), Aleksy Schubert.



ABOUT TYPES

The TYPES meetings from 1990 to 2008 were annual workshops of a
sequence of five EU funded networking projects. From 2009 to 2015,
TYPES has been run as an independent conference series. From 2016,
TYPES is partially supported by COST Action EUTypes CA15123. Previous
TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad
(1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996),
Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near
Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004),
Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois
(2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014),
Tallinn (2015), Novi Sad (2016), Budapest (2017).



CONTACT

Email: types2018 AT math.uminho.pt

Organisers: 
José Espírito Santo (Centre of Mathematics, University of Minho)
Maria João Frade (HASLab, University of Minho and INESC TEC)
Cláudia Mendes Araújo (Centre of Mathematics, University of Minho)
Luís Pinto (Centre of Mathematics, University of Minho)