... | ... | @@ -33,7 +33,7 @@ |
|
|
* 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,June, 30, 2PM - 4PM: Isabelle Puaut + Mathieu Acher + supervisors. Room Guernesey
|
|
|
#### Friday, June, 30, 2PM - 4PM: Isabelle Puaut + Mathieu Acher + supervisors. Room Guernesey
|
|
|
* 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
|
... | ... | |