Scope; Participants; Programme; Co-Location; Location; Accomodation; Registration; Organisation

Conference of the Types Project

Types 2006

18-21 April 2006
University of Nottingham, UK

Co-Located with TFP 2006

Types 2006 is the latest conference of the Types project. The current financial support for this project is the Coordination Action "Types" in the IST program of the European Union which started in September 2004. This action is based on the strong collaboration and achievements in four successful European projects (ESPRIT BRA 6453, ESPRIT working group 21900 and IST working group 29001).

New! Call For Papers

Invited Speakers: Bart Jacobs, Simon Peyton Jones and Hongwei Xi

Jubilee Campus       Jubilee Campus

TYPES conferences have occured regularly since 1992. In 2004, it was located in Paris. The conference is not restricted to members of the EU action.

Talks will not be published as such, but we encourage people who gave a talk to submit their papers after the conference. We hope to be able to publish Post-Workshop Proceedings for TYPES 2006 after a formal referee process, as a volume of the Lecture Notes in Computer Science (LNCS) series.


The topic of this meeting is formal reasoning and computer programming based on Type Theory : languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.


Robin Adams (Royal Holloway, University of London), Vincent Atassi (LIPN, Université Paris 13), GrzegorzBancerek (Bialystok Technical University), Stefan Berghofer (Technische Universitä t München), Yves Bertot (IN-RIA, Sophia-Antipolis), Marc Bezem (University of Bergen), Jens Brage (Stockholm University), Venanzio Capretta (University of Ottawa),Tyng-Ruey Chuang (Academia Sinica, Taiwan),Alberto Ciaffaglione (Università di Udine), Pierre Corbineau (Radboud University Nijmegen),David Delahaye (CNAM, CEDRIC - LogiCal),Gilles Dowek (LIX - École Polytechnique), José Esírito Santo (Universidade do Minho),Maribel Fernandez (King's College London), Silvia Ghilezan (University of Novi Sad),Hugo Herbelin (LIX - INRIA Futurs),Patrik Jansson (Chalmers University of Technology), Cezary Kaliszyk (Radboud University Nijmegen),Alexander Krauss (Technische Universität München),Stéphane Lengrand (University of St Andrews), Fredrik Lindblad (Chalmers University of Technology),Yong Luo (University of Kent), Zhaohui Luo (Royal Holloway, University of London),Maria Emilia Maietti (Università di Padova),Ralph Matthes (IRIT, Toulouse), Micaela Mayero (LIPN, Université Paris 13),Michel Parigot (CNRS, Université Paris 7),Alberto Momigliano (LFCS, University of Edinburgh), Peter Morris (University of Nottingham),Aleksandar Nanevski (Harvard University), Laszlo Nemeth (Istanbul Bilgi University),Milad Niqui (Radboud University Nijmegen),Russell O'Connor (Radboud University Nijmegen), Nicolas Oury (LRI Orsay),Hiroyuki Ozaki (AIST, Japan),Erik Palmgren (Uppsala University), Christine Paulin-Mohring (Universite Paris Sud),Luís Pinto (Universidade do Minho), Colin Riba (INRIA - LORIA),Eike Ritter (University of Birmingham),Dulma Rodriguez (LMU München), Claudio Sacerdoti Coen (Universit`a di Bologna),Ivan Scagnetto (Università di Udine),Stefan Schimanski (LMU München), Monika Seisenberger (University of Wales, Swansea),Olha Shkaravska (Institute of Cybernetics, Tallinn), Hugo Simoes (University of St Andrews),Alan Smaill (Edinburgh University),Serguei Soloviev (IRIT, Toulouse), Matthieu Sozeau (LRI, Université Paris-Sud),Mike Stannett (University of Sheffield),Enrico Tassi (Università di Bologna), Patrick Thévenon (Université de Savoie),Andrzej Trybulec (University of Bialystok), Christian Urban (LMU München),Tarmo Uustalu (Institute of Cybernetics, Tallinn),David Wahlstedt (Chalmers University of Technology), Daria Walukiewicz (Warsaw University),Makarius Wenzel (Technische Universität München),Benjamin Werner (LIX - INRIA Futurs), Nathan Whitehead (University of California, Santa Cruz),Freek Wiedijk (Radboud University Nijmegen), Marek Zaionc (Jagiellonian University),Roland Zumkeller (LIX - École Polytechnique),Wouter Swierstra (University of Nottingham), Thorsten Altenkirch (University of Nottingham),Bart Jacobs (Radboud University Nijmegen), Hongwei Xi (Boston University),James Chapman (University of Nottingham),Bruno Barras (LIX - INRIA Futurs), Joao Filipe Belo (University of Manchester),Marcin Benke (Warsaw University),Ulrich Berger (Prifysgol Cymru Abertawe), Frederic Blanqui (INRIA - LORIA),Ana Bove (Chalmers University of Technology),James Brotherston (LFCS, University of Edinburgh), Chin-Lung Chang (Academia Sinica, Taiwan),Jacek Chrzçaszcz (Warsaw University), Catarina Coquand (Chalmers University of Technology),Judicael Courant (Univ. Joseph Fourier, VERIMAG),RenéDavid (Universitéde Chambéry), Joelle Despeyroux (INRIA, Sophia-Antipolis),Peter Dybjer (Chalmers University of Technology),Simon Foster (University of Sheffield), Haixing Hu (Univ. Joseph Fourier, VERIMAG),Andrew Hughes (University of Sheffield), Jelena Ivetic (Università di Torino),Wolfgang Jeltsch (Brandenburgische Technische , Universität Cottbus),Florent Kirchner (LIX - INRIA Futurs), Sylvain Lebresne (LIX - INRIA Futurs),Gyesik Lee (LIX - École Polytechnique),Pierre Letouzey (UniversitéParis 7), Patrick Maier (LFCS, University of Edinburgh),Michael Mendler (University of Bamberg), Markus Michelbrink (Prifysgol Cymru Abertawe),Marino Miculan (Università di Udine),Julien Narboux (LIX - INRIA Futurs), Adam Naumowicz (University of Bialystok),Bengt Nordström (Chalmers University of Technology),Ulf Norell (Chalmers University of Technology), Jean-Marc Notin (LIX - INRIA Futurs),Randy Pollack (LFCS, Edinburgh University), Maxime Rebout (IRIT, Toulouse),Franc,ois-Régis Sinot (LIX - INRIA Futurs),Bas Spitters (Radboud University Nijmegen), Pierre-Yves Strub (LIX - École Polytechnique),Pawel Urzyczyn (Warsaw University),Sean Wilson (University of Edinburgh), Adedayo Adetoye (University of Birmingham),Andreas Abel (University of Munich), Anton Setzer (Prifysgol Cymru Abertawe), Edwin Brady (University of St Andrews), Simon Peyton Jones (Microsoft Research, Cambridge)



Types 2006 is co-located with TFP 2006 (to be held 19 - 21 April). To take advantage of the synergies offered by these two complementary events, we will invite a joint keynote speakers, hold joint sessions on topics of mutual interest, such as dependently typed functional programming, and run common social events. The schedule will be arranged so that participants may freely move between parallel sessions of the two events.


The conference will be held on the Jubilee Campus of the University of Nottingham, which has won many awards for its design and environmental features. Jubilee Campus is the home of the School for Computer Science and IT and its Foundation of Programming Research Group.

Nottingham is centrally located in the UK, and is easily reachable by all forms of transport, see how to get here. The campus is around 30 minutes by taxi from Nottingham East Midlands airport , which has direct scheduled flights to many European destinations. Those without a direct flight should be able to make the journey with a single change, or may prefer to fly to Birmingham, Manchester, London Stansted or or London Heathrow airports and then take the train to Nottingham. If you will be flying to Nottingham please book your ticket as soon as possible, as most of the carriers are budget airlines whose cheap flights are very popular. Online timetables and booking are available for most flights, via the above links or try amadeus.


Full registration includes single en-suite accomodation on the Jubilee Campus. A detailed map of the Jubilee Campus is available here.


Click here for Registration. Early registration until 15/3/2006


The conference is organised by Thorsten Altenkirch, James Chapman, Conor McBride, Peter Morris and Wouter Swierstra . All enquiries should be addressed to:

Last modified: Fri Jan 6 13:47:41 GMT 2006