Interactive and Automated Reasoning with Orthologic
Event details
| Date | 22.04.2026 |
| Hour | 18:00 |
| Speaker | Simon GUILLOUD |
| Location | Online |
| Category | Thesis defenses |
Directeur de thèse : Prof. V. Kuncak,
Programme doctoral en Informatique et communications
Thèse n° 11148
Pour participer à la soutenance publique, merci de contacter directement l’intervenant
Practical information
- General public
- Free