Search results

** Julien Narboux * Julien Narboux

* Around the formal proof thematic, Nicolas Magaud and Julien Narboux participates to the team-project [https://team.inria.fr/camus/ CAMUS], in c

* Nicolas Magaud and Julien Narboux were heading the '''Master ILC''' since 2012. Jean-Michel Dischler was the * Julien Narboux heads the 2nd year of the '''Bachelor in Computer Science''' (BSc) since 20

* Julien Narboux participates in the '''GDR DEMIPS'''. * '''EJCP2019''': Nicolas Magaud and Julien Narboux organize the 2019 edition of the french summer school on programming (ECJP:

...the result of a Coq development started in 2006 with the thesis of Julien Narboux. It proposes the Coq formalisation of Tarski's geometry as described in the * [https://github.com/janicicpredrag/Larus LARUS] software developped by NARBOUX Julien and JANICIC Predrag, University of Belgrade, is an automatic theorem

* The IGG team ([https://dpt-info.u-strasbg.fr/~narboux/ Julien Narboux]) is participating in the ANR [http://appam.icube.unistra.fr APPAM] about t * The IGG team (J.-F. Dufourd, N. Magaud, J. Narboux, P. Schreck) participates to the '''ANR Blanche GALAPAGOS''' headed by Yves

...s] (HDR) (up to 31/08/2017), [http://dpt-info.u-strasbg.fr/~narboux Julien Narboux] Taking over a work of J. Narboux and then G. Braun, P. Boutry devoted a large part of his thesis to the form

'''Participants''' : Nicolas Magaud AP, Julien Narboux AP, Pascal Schreck PR1 ...ethod that offers proofs that are both short and readable. In 2004, Julien Narboux formalized a version of this method for affine geometry. In 2009, the forma

...tion in computational geometry (INRIA-Sophia, team of Yves Bertot). Julien Narboux formalized the axiomatic of Tarski's geometry, the methods of Gao and Chou' ...hlinger), or the work from LIX on the geometry of Tarski (thesis of Julien Narboux). The goal is to offer elaboration and program certification tools for geom

** The IGG team ('''[http://dpt-info.u-strasbg.fr/~narboux Julien Narboux]''') participates to the internal project of the ICube lab '''RobGA''' (For

...fr/~mathis/ Pascal Mathis], [http://dpt-info.u-strasbg.fr/~narboux/ Julien Narboux] Concerning automatic proofs, Julien Narboux made the first formalisation in Coq of an automatic demonstration in geomet

...Braun AP associated in 2009, Caroline Essert AP, Pascal Mathis AP, Julien Narboux AP

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

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

* '''[http://dpt-info.u-strasbg.fr/~narboux Julien Narboux]''', UFR Math&CS from 9/2007 till 8/2024.