[TYPES/announce] TYPES 2009
Christophe Raffalli
raffalli at univ-savoie.fr
Sun Apr 19 17:14:45 EDT 2009
Dear list members,
Tomorow Monday is the last day to register on the TYPES 2009 website if
you want to pay reduced fee. Later registration is still possible and
talk submission to. We will probably (as every year) publish post
proceedings with good referee.
The TYPES workshop cover theory ptractice and application of type
theory. More detail and registration on the website
http://www.lama.univ-savoie.fr/types09.
Yours sincerely,
The organizing commitee.
More information about the Types-announce
mailing list