Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Formation à l'assistant de preuve COQ
Formation à l'assistant de preuve COQ
25-27 février 2002
Organisation
La formation se tiendra au LRI, bâtiment 490 de l'université Paris Sud
les lundi 25, mardi 26 et mercredi 27 février de 9h30 à 17h30.
La formation comporte une part importante d'applications pratiques
réalisées par les participants sur machine.
Les personnes intéressées sont invitées à se faire connaître
par courrier électronique adressé à Christine.Paulin@lri.fr.
Le nombre de places est limité à 10.
Le montant de l'inscription est fixé à 450 Euro (225 Euro pour les
universitaires et chercheurs des organismes publics) comprenant les pauses
café, les déjeuners, un support de cours.