Seminar
Starting on
Ending on
Location
IRISA Rennes
Room
Pétri / Turing
Main department
☀️ Morning Session (Matin)
| Time | Speaker / Details | Topic |
|---|---|---|
| 9h00 - 9h10 | Organization | Welcome Introduction |
| 9h10 - 10h00 |
Clément Chavanon
Epicure, doctorant 3A (20 min)
|
A minimal functional language for writing micro-kernels |
|
Benoît Combemale
DiverSE, PU (~20 min)
|
Associate team ALE – Agile Language Engineering | |
| 10h00 - 10h30 | ☕ Pause Café | |
| 10h30 - 12h00 |
Khalil Ghorbal
Hycomes, CR (30 min)
|
The Shimizu-Morioka System has no Nontrivial Darboux Polynomials |
|
Alexandre Drewery
Epicure, doctorant 3A (~20 min)
|
Contextual equality saturation | |
|
Maykel Mattar
SECREIZH, Doctorant (30 min)
|
Loupe : End-to-End Learning of Loop Unrolling Heuristics for Abstract Interpretation | |
🍽️ Lunch Break (Repas Midi)
| Time | Event |
|---|---|
| 12h15 - 14h00 | 🥗 Lunch / Repas |
🌆 Afternoon Session (Après-Midi)
| Time | Speaker / Details | Topic |
|---|---|---|
| 14h00 - 15h00 |
Olivier Barais
Futur Directeur de l'IRISA, PU, (30 min)
|
How to fail your PhD! |
|
Mathieu Laurent
DEVINE, doctorant 3A (30 min)
|
Dynamic Software Model Checking in Practice with McSimGrid | |
| 15h00 - 16h00 | ☕ Pause Café + Posters + Demos (Café jusqu'à 15h30, Posters jusqu'à 16h) |
|
| 16h00 - 17h30 (Fermeture) |
Sophie Pinchinat
LogicA, Visio (20 min)
|
Collaboration Heriot-Watt UK |
|
Théo Matricon
DiverSE, postdoc (20-30 min)
|
(Si temps le permet) Efficiently Ranking Software Variants with Minimal Benchmarks | |
|
Paul Temple
Casquette GDR GPL (~30 min)
|
Comment candidater MCF/CR après sa thèse ? | |
|
Short Presentations
5 minutes each
|
1 confirmed, 4 tentative | |
|
Rump Session
|
Annonces, postes ouverts, sujets exploratoires, logiciels, conseils | |
| Closing | Fermeture | |