projj.eu - 24th International Conference on Types for Proofs and Programs,TYPES 2018 – Braga, Portugal, 18-21 June 2018

Example domain paragraphs

Braga, Portugal, 18-21 June 2018

The TYPES meetings are 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. The meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. Since 2009, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussoi

The TYPES areas of interest include, but are not limited to:

Links to projj.eu (5)

theowinterhalter.github.io Théo Winterhalter
akaposi.github.io Ambrus Kaposi
keikonakata.github.io Keiko Nakata - Welcome
nicolaikraus.github.io Nicolai Kraus
mattam.org Matthieu Sozeau :: News