Formalization and Automation of Geometry
Formalization and Automation of Geometry
Différences entre les versions de « Members »
Aller à la navigation
Aller à la recherche
Ligne 5 : | Ligne 5 : | ||
* [http://www.matf.bg.ac.rs/~vesnap/ Vesna Marinkovic] (born Pavlovic), teaching assistant and PhD student, University of Belgrade | * [http://www.matf.bg.ac.rs/~vesnap/ Vesna Marinkovic] (born Pavlovic), teaching assistant and PhD student, University of Belgrade | ||
* [http://www.matf.bg.ac.rs/~danijela/ Danijela Petrovic], teaching assistant and PhD student, University of Belgrade | * [http://www.matf.bg.ac.rs/~danijela/ Danijela Petrovic], teaching assistant and PhD student, University of Belgrade | ||
− | * [http://alas.matf.bg.ac.rs/~mr00006/ | + | * [http://alas.matf.bg.ac.rs/~mr00006/ Ivan Petrovic], PhD student, University of Belgrade |
* [http://www.matf.bg.ac.rs/~sana/ Sana Stojanovic], teaching assistant and PhD student, University of Belgrade | * [http://www.matf.bg.ac.rs/~sana/ Sana Stojanovic], teaching assistant and PhD student, University of Belgrade | ||
Version actuelle datée du 9 octobre 2012 à 22:27
Serbian members:
- Predrag Janicic, associate professor, University of Belgrade
- Filip Maric, assistant professor, University of Belgrade
- Vesna Marinkovic (born Pavlovic), teaching assistant and PhD student, University of Belgrade
- Danijela Petrovic, teaching assistant and PhD student, University of Belgrade
- Ivan Petrovic, PhD student, University of Belgrade
- Sana Stojanovic, teaching assistant and PhD student, University of Belgrade
French members:
- Julien Narboux, lecturer, University of Strasbourg
- Pascal Schreck, professor, University of Strasbourg
- Pascal Mathis, lecturer, University of Strasbourg
- Remi Imbach, Phd student, University of Strasbourg
- Hugo Herbelin, INRIA, Rocquencourt-Paris.