Journée de démarrage de l'ADT
La réunion de démarrage de l'ADT a eu lieu le mercredi 29 octobre, en
salle de conférence du LIX, à
l'École Polytechnique (aile 0 des bâtiments de recherche) à Palaiseau
(RER B Lozère ou bus 91-06
depuis Massy-Palaiseau, arrêt Polytechnique-Laboratoire). Pour les
personnes en voiture particulière, passer par l'entrée ouest (côté
N118/D128) du campus. Si c'est ouvert, le parking est juste en
face. Sinon, se garer devant le bâtiment Thalès et continuer à pied. À
l'interphone de l'aile 0, appeler quelqu'un que vous connaissez.
Le programme de la journée est le suivant :
- 10h00 Accueil café
- 10h30-12h30 Questions d'organisation générale
- Présentation de l'ADT
- Présentation des activités ayant lieu dans les équipes concernées
- Mise en place site web partagé ? wiki ? mailing-list spécifique ?
- Choix localisation workshop Coq (TPHOLs, ICFP, ...)
- Thème et localisation des quatre GTs « ADT » de l'année; principes de fonctionnement des GTs intermédiaires (jours fixes ? délais d'annonce ? compte-rendus ?)
- Bilan Coq 8.2 et projets 8.3
- 12h30-14h00 Pause repas
- 14h00: Benjamin Grégoire (filtrage sur sous-familles inductives dans le CCI)
- 14h45: Roland Zumkeller (optimisation numérique en Coq)
- 15h30: Jean-Christophe Filliâtre (Coq et les procédures de décision)
- 15h30-16h00 Pause
- 16h30-17h00
Discussions préliminaires en vue d'organiser le travail spécifique
- sur CoqIDE
- sur les protocoles de communication