... | ... | @@ -3,19 +3,16 @@ |
|
|
<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: Alexandre Termier + Léa Pillette + supervisors. Room Guernesey
|
|
|
* ZHANG Haoying: Privacy-Preserving Geo-distributed Graph Processing
|
|
|
* 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
|
|
|
|
|
|
* 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
|
|
|
* CHABOT Hector: Static analysis of memory access profiles for real-time tasks
|
|
|
|
|
|
|
|
|
|
|
|
#### Thursday, June 29, 9AM - 11AM: Alexandre Termier + Thomas Genet + supervisors. Room Guernesey + Zoom
|
|
|
|
|
|
* LE MARRE Thibaut: Reinforcement learning techniques for Multi-agent path finding with imperfect information
|
... | ... | |