Small Types Workshop: High Level Languages for Proofs

Date: April 13th and 14th at the LAMA near Chambery

The topic of the workshop is the development of language for proofs that would allow our proof to be

Name	Email	Arrivial	Departure	Chambre
Lucas Dixon	lucas.dixon@ed.ac.uk	12th, Chambery 21:53 ?	15th	Simple
Freek Wiedijk	freek@cs.ru.nl	12th, Chambery 21:53	15th	Simple
Czeslaw Bylinski	bylinski@math.uwb.edu.pl	12th, Aix les bains 19h56 ?	15th	Simple
Adam Grabowski	adam@math.uwb.edu.pl	12th, Aix les bains 19h56 ?	15th	Simple
Adam Naumowicz	adamn@math.uwb.edu.pl	12th, Aix les bains 19h56 ?	15th	Simple
Anna Zalewska	zalewska@uwb.edu.pl	12th, Aix les bains 19h56 ?	15th	Simple
Robin Adams	radams@cs.man.ac.uk	12th, Chambery 18:44	15th	Simple
Mircea Dan Hernest	danher@lix.polytechnique.fr	12th, Chambery 10:54 ?	15th	Simple
Jean Duprat	duprat@ens-lyon.fr	14th	14th	None
Florent Kirchner	florent.kirchner@inria.fr	12th, Chambery 21:53	14th	Double
Julien Narboux	Julien.Narboux@inria.fr	12th, Chambery 21:53	14th	Double
Christophe Raffalli	christophe.raffalli@univ-savoie.fr	12th	15th	None
Patrick Thevenon	patrick.thevenon@univ-savoie.fr	12th	15th	None
Frederic Ruyer	frederic.ruyer@univ-savoie.fr	12th	15th	None
René David	rene.david@univ-savoie.fr	12th	15th	None

Single room at 46€ per night with breakfast.
Double room at 54€ per night with breakfast.
A "banquet" is planned the 13th in the evening for around 30€ per person.
Other evening meals at a restaurant near the hotel at 10€ (you have to book them as soon as you arrive at the hotel).
Lunch at the university will cost 5€.
The 13th and 14th, we will use our cars to transport you from the hotel to the university if you do not wish to walk (it is 1.7km)
Here is a map with the university ("Technolac") and the hotel (next to the "Chantegrill").

Last modified: Sat Nov 12 18:45:33 CET 2005