Réunions des opérations 2 et 3 d'IGG

Le groupe de travail des opérations 2 et 3 de l'équipe IGG se réunit une fois par mois le jeudi (en alternance avec les réunions officielles IGG). Il est ouvert à tous.

Calendrier prévisionnel

vendredi 16 avril 14h C316 S.E.B. Thierry et P. Schreck Interrogations de témoins pour la résolution de systèmes de contraintes géométriques

Historique (2008/2009)

vendredi 30 janvier 14h C302 Pascal Mathis/Julien Narboux Discussion autour des logiciels des opérations 2&3 (démos) et de leur avenir
mercredi 17 / jeudi 18 décembre Esplanade S309 / C31 Galapagos Journées du programme ANR blanc Galapagos
jeudi 4 décembre 14h C413 Assia Mahboubi SSReflect
jeudi 30 octobre 16h C316 Thomas Jund Système de prédiction pour la détection de collisions
lundi 6 octobre 17h Ehrhart Farzad Sehat Théorème de Pick
jeudi 2 octobre 14h C316 Nicolas Magaud Changements de représentation des données en Coq

Liste des thèmes à aborder :

Historique des réunions (2007/2008)

lundi 16 juin 10h C316 Pascal Schreck Reparamétrisation de systèmes de contraintes (suite)
jeudi 5 juin 14h C316 Pascal Schreck Reparamétrisation de systèmes de contraintes
lundi 28 avril 14h C316 David Cazier Relations entre la recherche d'intersections dans un ensemble de segments et la définition de relation d'ordre sur les brins d'une carte
jeudi 3 avril 16h C301 Simon E.B. Thierry Systèmes de contraintes géométriques sous-contraints (partie I)
jeudi 13 mars 14h C316 Pascal Mathis Résolution de systèmes de contraintes invariants par des groupes de transformations
vendredi 8 février 14h C316 Christophe Brun Enveloppes convexes et cartes combinatoires en Coq
jeudi 13 décembre 14h C410 Jean-François Dufourd Cartes combinatoires en Coq CR
jeudi 15 novembre 14h C313 Julien Narboux Formalisation de la méthode des aires en Coq
jeudi 11 octobre 14h C313 Nicolas Magaud Preuves en géométrie d'incidence CR (merci à Simon !)
Nicolas Magaud
Last modified: Fri Jan 23 13:47:11 CET 2009