Résultats de la recherche

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

...énierie du Logiciel''' depuis 2018. Précédemment, Nicolas Magaud et Julien Narboux étaient co-responsables du '''Master ILC Ingénierie du logiciel et des co * Julien Narboux est responsable de la '''Licence Informatique 2ème année''' depuis 2020 e

* L'équipe IGG (J. Narboux, P. Schreck) participe au projet de collaboration Européen '''Égide''' av

* De janvier à juin 2023, Julien Narboux et Basile Sauvage ont contribué à la nouvelle exposition permanente sur l ...etin/1024-numero-18/ bulletin 1024] et en 2023, une rencontre entre Julien Narboux et le nouveau recteur a eu lieu pour lui présenter la cordée de la réuss

...Schreck (PR émérite), Gabriel Braun (MC), Nicolas Magaud (MC HDR), Julien Narboux (MC)

* L'équipe IGG ([https://dpt-info.u-strasbg.fr/~narboux/ Julien Narboux]) participe à l''''ANR''' [http://appam.icube.unistra.fr '''APPAM'''] sur * L'équipe IGG (J.-F. Dufourd, N. Magaud, J. Narboux, P. Schreck) participe à l''''ANR Blanche GALAPAGOS''' portée par Yves Be

*'''GDR DEMIPS''' : Julien Narboux participe au GDR Didactique et Épistémologie des Mathématiques, liens av *'''EJCP2019''': Nicolas Magaud et Julien Narboux organisent l'édition 2019 du 24 au 28 juin de l'EJCP École de Jeunes Cher

...(HDR) (jusqu'au 31/08/2017), [http://dpt-info.u-strasbg.fr/~narboux Julien Narboux] Reprenant un travail de J. Narboux puis G. Braun, P. Boutry a consacré une grande partie de sa thèse à la f

** L'équipe IGG ('''[http://dpt-info.u-strasbg.fr/~narboux Julien Narboux]''') a participé au projet interne ICube '''RobGA''' (Formalisme des algè

...lating the GeoCoq Library into Lean)]. Encadrants : Nicolas Magaud, Julien Narboux. ...grammes de construction géométrique] Encadrants : Pascal Schreck et Julien Narboux.

* L'équipe IGG ([https://dpt-info.u-strasbg.fr/~narboux/ Julien Narboux]) participe à l'ANR [http://appam.icube.unistra.fr APPAM] sur Les assistan * L'équipe IGG (J.-F. Dufourd, N. Magaud, J. Narboux, P. Schreck) participe à l''''ANR Blanche GALAPAGOS''' portée par Yves Be

...fr/~mathis/ Pascal Mathis], [http://dpt-info.u-strasbg.fr/~narboux/ Julien Narboux] En ce qui concerne l'automatisation des preuves, Julien Narboux a réalisé en Coq la première formalisation d'une méthode de démonstrat

...mathis Pascal Mathis] (HDR), [http://dpt-info.u-strasbg.fr/~narboux Julien Narboux]

* '''[http://dpt-info.u-strasbg.fr/~narboux Julien Narboux]''', MC27 UFR Mathématique Informatique et IGG du 01/09/2007 au 31/08/2024