[TYPES/announce] TYPES annual workshop

[Christophe Raffalli]

Dear list members,

The Types 2009 meeting will be held in Aussois, at the “centre Paul
Langevin” managed by the CNRS. This centre will supply everything:
conference room, accommodation, meals, etc. It should provide very good
conditions for profitable work.

The annual TYPES workshop was originally announced on the mailing list
of the former TYPES PROJECT.
We recently discovered this other mailing list related to type theory,
and some of you may be interested to
come to this workshop.

You will find here all the information about the workshop :

http://www.lama.univ-savoie.fr/~raffalli/types09/index.php?page=accueil

Best Regards,
The TYPES 2009 program commitee.