... | ... | @@ -8,7 +8,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 : Bertrand Couasnon + Thomas Genet + supervisors. Room Guernesey
|
|
|
#### Wednesday, June 28, - 2PM - 4 PM : Bertrand Couasnon + Thomas Genet + supervisors. Room I50
|
|
|
|
|
|
* 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
|
... | ... | @@ -23,7 +23,7 @@ |
|
|
* HOUDAILLE Philemon: Towards Testing Polyglot Programs **(visio)**
|
|
|
|
|
|
|
|
|
#### Thursday, June 29, 2PM - 4 PM: Bertrand Couasnon + Zoltan Miklos + supervisors. Room I50
|
|
|
#### 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
|
... | ... | |