|
|
![header-SIF_en](uploads/2dcef1a5219ddffa3f37a378ec37bbd5/header-SIF_en.png)
|
|
|
|
|
|
<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
|
|
|
|
|
|
* REVEL Malo: Contributions à l'analyse automatisée des licences. Cas du français et des ressources pédagogiques.
|
|
|
* ALY Adel: Data Summary Maintenance for Query Optimization
|
|
|
* ZANINI Quentin: Etude d’interactions haptiques multimodales sans contact en réalité mixte
|
|
|
* ZHANG Haoying: Privacy-Preserving Geo-distributed Graph Processing **(visio)**
|
|
|
|
|
|
#### Wednesday, June 28, - 2PM - 4 PM : Bertrand Couasnon + Thomas Genet + supervisors. Room Guernesey
|
|
|
|
|
|
* 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
|
|
|
* DESBOIS Victorien: Search Algorithms for Multi-Agent Path Finding
|
|
|
* HOUDAILLE Philemon: Towards Testing Polyglot Programs **(visio)**
|
|
|
|
|
|
|
|
|
#### Thursday, June 29, 2PM - 4 PM: Bertrand Couasnon + Zoltan Miklos + supervisors. Room Guernesey
|
|
|
* CALVIAC Isseinie: How-Provenance Polynomials for Efficient and Greener Rule Mining
|
|
|
* ESPANA-GUTIERREZ Pablo: Learning canonical Potts models of viral proteins
|
|
|
* CHAVANON Clément : A verified compiler for packet filtering
|
|
|
|
|
|
#### Friday, June, 30, 9AM - 11AM: Isabelle Puaut + Mathieu Acher + supervisors. Room Guernesey
|
|
|
* SOURISSEAU Manon: Byzantine Network Partition Detection
|
|
|
* LEREVEREND Dimitri: Decentralized Machine Learning: Privacy Protection through Private Averaging
|
|
|
* KILIAN Sébastien: Stochastic analysis of rumor spreading with multiple pull operations in presence of Byzantine nodes
|
|
|
* ACHER Quentin: A CRDT-based approach for mutable data in IPFS
|
|
|
|
|
|
#### Friday, February, 30, 2PM - 4PM: Isabelle Puaut + Mathieu Acher + supervisors. Room Guernesey + Zoom
|
|
|
* RAVON Kilian: Color-based energy reduction for climate change
|
|
|
* LEOTHAUD Dylan: Synthèse automatique de micro-architectures pour WebAssembly
|
|
|
* RIOU Stanislas: Automatisation de preuves de protocoles : utilisation des solveurs SMT dans l’outil Squirrel |
|
|
\ No newline at end of file |