Résultats de la recherche

* [http://dpt-info.u-strasbg.fr/~magaud Nicolas Magaud]

* Autour de la thématique des preuves formelles, Nicolas Magaud et Julien Narboux participent à l'équipe-projet [https://team.inria.fr/ca

...L Sciences et Ingénierie du Logiciel''' depuis 2018. Précédemment, Nicolas Magaud et Julien Narboux étaient co-responsables du '''Master ILC Ingénierie du * Nicolas Magaud est président de la '''commission pédagogique de l'UFR Mathématique-Info

...s''' – 1,5 ETPR : Pascal Schreck (PR émérite), Gabriel Braun (MC), Nicolas Magaud (MC HDR), Julien Narboux (MC)

* '''GT LVP''' : Nicolas Magaud est co-responsable (avec Julien Signoles) du groupe de Travail Languages et *'''CNU 27 ''' : Nicolas Magaud est membre élu au CNU en 27ème section depuis 2022. Jean-Michel Dischler

...conférences : Gabriel Braun, [http://dpt-info.u-strasbg.fr/~magaud Nicolas Magaud] (HDR), [http://dpt-info.u-strasbg.fr/~mathis Pascal Mathis] (HDR) (jusqu'a ...ncipalement le travail de thèse de David Braun doctorant co-encadré par N. Magaud et P. Schreck. L'objectif, très ambitieux, de cette thèse était d'identi

...g Coq Proofs More Reliable and More Easily Reusable]]. Encadrant : Nicolas Magaud. ...ion des packings de l’espace projectif fini PG(3,3)]]. Encadrant : Nicolas Magaud.

...''') a participé au projet interne ICube '''[http://dpt-info.u-strasbg.fr/~magaud/TrADiCont/ TrADiCont]''' (Transformations Affines Discrètes pour la repré

* L'équipe IGG (J.-F. Dufourd, N. Magaud, J. Narboux, P. Schreck) participe à l''''ANR Blanche GALAPAGOS''' portée

...ne Essert|Caroline Essert]], [http://dpt-info.u-strasbg.fr/~magaud Nicolas Magaud], [http://dpt-info.u-strasbg.fr/~mathis/ Pascal Mathis], [http://dpt-info.u ...CGoGn d'IGG. (Travail de thèse de C. Brun, encadré par J.-F. Dufourd et N. Magaud [http://lsiit-cnrs.unistra.fr/Publications/0/2-BDMxx/ 2-BDM11a] [http://lsi

* L'équipe IGG (J.-F. Dufourd, N. Magaud, J. Narboux, P. Schreck) participe à l''''ANR Blanche GALAPAGOS''' portée * Autour de la thématique des preuves formelles, Nicolas Magaud et Julien Narboux participent à l'équipe-projet [https://team.inria.fr/ca

...sert Caroline Essert] (HDR), [http://dpt-info.u-strasbg.fr/~magaud Nicolas Magaud], [http://dpt-info.u-strasbg.fr/~mathis Pascal Mathis] (HDR), [http://dpt-i

* '''[http://dpt-info.u-strasbg.fr/~magaud Nicolas Magaud]''', PR27 UFR MI depuis 2023 (HDR 2020) et IGG depuis 2005. Responsable du