... | ... | @@ -7,7 +7,7 @@ |
|
|
* ZANINI Quentin: Etude d’interactions haptiques multimodales sans contact en réalité mixte
|
|
|
* REVEL Malo: Contributions à l'analyse automatisée des licences. Cas du français et des ressources pédagogiques.
|
|
|
|
|
|
#### Wednesday, June 28, - 2PM - 4 PM : Isabelle Puaut + Thomas Genet + supervisors. Room I50
|
|
|
#### Wednesday, June 28, - 2PM - 4 PM : Bertrand Couasnon + Thomas Genet + supervisors. Room I50
|
|
|
* ZHANG Haoying: Privacy-Preserving Geo-distributed Graph Processing
|
|
|
* DREWERY Alexandre: Aide à la migration de programme par preuve automatique d’équivalence
|
|
|
* LAURENT Mathieu: DPOR et Directed Model-Checking pour la vérification de programmes distribués asynchrones
|
... | ... | |