Embedded Files
The TYPES conference is an almost yearly conference held since 1990. It is a forum to present new and on-going work in all aspects of type theory and its applications.
The TYPES conference is an almost yearly conference held since 1990. It is a forum to present new and on-going work in all aspects of type theory and its applications.
The TYPES conference stemmed out of a number of successful European projects from 1990 to 2008 (ESPRIT Action 3245, 1989 - 1992, ESPRIT BRA 6453, 1992 - 1995, ESPRIT working group 21900, 1997 - 1999, IST working group 29001, 2000 - 2003 and FP6 TYPES coordination action, 2004 - 2008).
The TYPES conference stemmed out of a number of successful European projects from 1990 to 2008 (ESPRIT Action 3245, 1989 - 1992, ESPRIT BRA 6453, 1992 - 1995, ESPRIT working group 21900, 1997 - 1999, IST working group 29001, 2000 - 2003 and FP6 TYPES coordination action, 2004 - 2008).
The Steering Committee currently consists of Christian Sattler, Fredrik Nordvall Forsberg (chair), Malin AltenmĂĽller, Marino Miculan, Meven Lennon-Bertrand, and Tom de Jong (secretary).
The Steering Committee currently consists of Christian Sattler, Fredrik Nordvall Forsberg (chair), Malin AltenmĂĽller, Marino Miculan, Meven Lennon-Bertrand, and Tom de Jong (secretary).
Long-term sponsors
We are very grateful for the recurring sponsorship of the TYPES conferences offered by
Long-term sponsors
We are very grateful for the recurring sponsorship of the TYPES conferences offered by
Google Sites
Report abuse