English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
TYPES 2009
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-04-19 (21:10)
From: Christophe Raffalli <raffalli@u...>
Subject: TYPES 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.