... | ... | @@ -2,12 +2,12 @@ |
|
|
|
|
|
<div align="right"> Evaluation forms ([docx](https://files.inria.fr/pacap/puaut/M2SIF/FicheEvalSTAG.docx), [pdf](https://files.inria.fr/pacap/puaut/M2SIF/FicheEvalSTAG.pdf)) </div>
|
|
|
|
|
|
#### Wednesday, June 28, 9AM - 11AM: Isabelle Puaut + Léa Pillette + supervisors. Room Guernesey
|
|
|
#### Wednesday, June 28, 9AM - 11AM: Bertrand Couasnon + Léa Pillette + supervisors. Room Guernesey
|
|
|
* ALY Adel: Data Summary Maintenance for Query Optimization
|
|
|
* 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 : Bertrand Couasnon + Thomas Genet + supervisors. Room I50
|
|
|
#### Wednesday, June 28, - 2PM - 4 PM : Isabelle Puaut + 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
|
... | ... | |