/agenda/seminaires/logique-et-interactions/
Évènement à venir
- Titre à préciser - Séminaire LDP - 29/04/2021 - 10 h 30 min - 11 h 30 min
- Compositional relational reasoning via operational game semantics - 27/05/2021 - 10 h 30 min - 11 h 30 min
- Titre à préciser - Séminaire LDP - 10/06/2021 - 10 h 30 min - 11 h 30 min
- Titre à préciser - Séminaire LDP - 24/06/2021 - 10 h 30 min - 11 h 30 min
- Titre à préciser - Séminaire LDP - 08/07/2021 - 10 h 30 min - 11 h 30 min