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.
Programme
PROGRAMME
Documentation supplémentaire
Supports de cours
Inscription
Date limite d'inscription 15 février 2002.
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.
Pour s'inscrire, remplir le FORMULAIRE D'INSCRIPTION.
Lieu
Les enseignements auront lieu dans la salle Firtech au 2ème étage du
bâtiment 490.
LRI - bâtiment 490
Université Paris Sud
91 405 Orsay Cedex
RER-Ligne B-Orsay
Pour se rendre au LRI consulter
http://www.lri.fr/Services/Plan/introduction.fr.shtml
Logement
À 5mn à pied de l'université :
| Hotel d'Orsay |
| 2 rue François Leroux |
| 91400 ORSAY |
| tel : 01 64 86 17 47 |
| Chambre : - Petit déjeûner : |
| Mme LOPEZ-DELGADO (Bed & Breakfast) |
| 12 rue de la Pacaterie |
| 91400 ORSAY |
| tel : 01 69 82 90 39 |
| Chambre & Petit déjeûner : ~30 Euro |
Horaires
| Matin |
9h30-12h30 |
| Déjeuner |
12h30-14h |
| Apres-midi |
14h-17h30 |
Contacts
Contenu de la formation
Christine.Paulin@lri.fr
Inscriptions-Paiement
| Formation Permanente |
| Centre Scientifique d'Orsay |
| Université Paris Sud |
| Les Algorithmes |
| F 91 405 Orsay Cedex |
| tel |
: 01 69 35 60 00 |
| fax |
: 01 69 35 01 01 |
| e-mail |
: formation.permanente@fp.cso.u-psud.fr |
| No SIRET |
: 199 111 014 000 15 |
| Code APE |
: 92 15. |
This document was translated from LATEX by HEVEA.