Équipe IGG : Informatique Géométrique et Graphique

Différences entre les versions de « Offres Stages Thèses »

De Équipe IGG : Informatique Géométrique et Graphique
Aller à la navigation Aller à la recherche
Ligne 22 : Ligne 22 :
  
 
* [https://docs.google.com/document/d/1R39fSKGhBU3PPLyjemCs6x8yVGUh1kyDsYljTiZ_yXU/pub Preuves formelles en géométrie du triangle: vers une encyclopédie certifiée], Julien Narboux
 
* [https://docs.google.com/document/d/1R39fSKGhBU3PPLyjemCs6x8yVGUh1kyDsYljTiZ_yXU/pub Preuves formelles en géométrie du triangle: vers une encyclopédie certifiée], Julien Narboux
 +
 +
* [https://docs.google.com/document/d/1YzafshfXDFyHrDl1XZ2rDMEGgqvFB_xl8j10LdJ8AbY/pub Symétrie dans les preuves formelles], Julien Narboux
  
 
== Sujets de stage Licence ou Master 1 ==
 
== Sujets de stage Licence ou Master 1 ==

Version du 7 novembre 2014 à 15:54


Offres IGG 2015

Contrats doctoraux de l'Université de Strasbourg

Sujets de stage Master 2

Sujets de stage Licence ou Master 1

Stages courts de moins de 8 semaines (39 jours MAX) sans gratification

Stages "sur projets" avec gratification

Offres IGG 2014

Contrats doctoraux de l'Université de Strasbourg

Sujets de stage Master 2

Sujets de stage Licence ou Master 1

Stages courts de moins de 8 semaines (39 jours MAX) sans gratification

Stages "sur projets" avec gratification