Scope;
Participants;
Programme;
Co-Location;
Location;
Accomodation;
Registration;
Organisation
Conference of the Types Project
Types 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
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: types06@cs.nott.ac.uk
Last modified: Fri Jan 6 13:47:41 GMT 2006