Différences entre les versions de « Spécifications, contraintes et preuves »
(→Bilan) |
(→Bilan) |
||
| Ligne 6 : | Ligne 6 : | ||
La fusion des opérations 2 et 3 dans l'ancienne terminologie LSIITesque, est une manière d'officialiser la réunion de 2 opérations, réunion qui était familièrement baptisée opération 23. Cette réorganisation a pour résultat l'axe "Spécifications, contraintes et preuves" qui continue sous une autre appellation un thème de recherche original en France et qui nous tient particulièrement à cœur. Il concerne la certification logicielle dans le domaine de la géométrie. Ce thème englobe naturellement le domaine de la formalisation et de la preuve en géométrie, mais aussi la spécification de types abstraits et d'algorithmes certifiés concernant la géométrie. | La fusion des opérations 2 et 3 dans l'ancienne terminologie LSIITesque, est une manière d'officialiser la réunion de 2 opérations, réunion qui était familièrement baptisée opération 23. Cette réorganisation a pour résultat l'axe "Spécifications, contraintes et preuves" qui continue sous une autre appellation un thème de recherche original en France et qui nous tient particulièrement à cœur. Il concerne la certification logicielle dans le domaine de la géométrie. Ce thème englobe naturellement le domaine de la formalisation et de la preuve en géométrie, mais aussi la spécification de types abstraits et d'algorithmes certifiés concernant la géométrie. | ||
| − | Cela s'est traduit lors de ces dernières années par des activités de recherche dans quatre directions : | + | Cela s'est traduit lors de ces dernières années par des activités de recherche dans quatre directions légèrement différentes mais participant du même esprit : |
* Formalisation de la géométrie et preuves de théorèmes géométriques (N. Magaud, J. Narboux et P. Schreck) ; | * Formalisation de la géométrie et preuves de théorèmes géométriques (N. Magaud, J. Narboux et P. Schreck) ; | ||
Version du 27 mars 2011 à 21:21
Bilan
La fusion des opérations 2 et 3 dans l'ancienne terminologie LSIITesque, est une manière d'officialiser la réunion de 2 opérations, réunion qui était familièrement baptisée opération 23. Cette réorganisation a pour résultat l'axe "Spécifications, contraintes et preuves" qui continue sous une autre appellation un thème de recherche original en France et qui nous tient particulièrement à cœur. Il concerne la certification logicielle dans le domaine de la géométrie. Ce thème englobe naturellement le domaine de la formalisation et de la preuve en géométrie, mais aussi la spécification de types abstraits et d'algorithmes certifiés concernant la géométrie.
Cela s'est traduit lors de ces dernières années par des activités de recherche dans quatre directions légèrement différentes mais participant du même esprit :
- Formalisation de la géométrie et preuves de théorèmes géométriques (N. Magaud, J. Narboux et P. Schreck) ;
- Spécification et preuves d'algorithmes géométriques en utilisant des cartes combinatoires (C. Brun, J.-F. Dufourd et N. Magaud) ;
- Spécification de figures et résolution de contraintes géométriques (P. Mathis, P. Schreck et S. Thierry) ;
- Formalisation et planification d'opérations percutanées dans le cas de l'ablation de tumeurs hépatiques et d'intervention radiologiques (C. Baegert, C. Essert et P. Schreck) ;
Participants permanents
- Deux professeurs : Jean-François Dufourd et Pascal Schreck
- Quatre maîtres de conférences : Caroline Essert, Nicolas Magaud, Pascal Mathis, Julien Narboux
Autres participants
Participants : Gabriel Braun MC associé en 2009
Post-doctorants : Simon E.B. Thierry ATER
Doctorants : Rémi Imbach