Mercredi 24 novembre 2021
10:00 à 12:30 | Colloque | Computability, Algorithms, Types and Proofs |
---|---|
16:00 à 18:00 | Séminaire 2021-22 de l'Institut de Recherches Philosophiques de Lyon (IRPhiL) |
Aller au contenu | Navigation | Accès directs | Connexion
10:00 à 12:30 | Colloque | Computability, Algorithms, Types and Proofs |
---|---|
16:00 à 18:00 | Séminaire 2021-22 de l'Institut de Recherches Philosophiques de Lyon (IRPhiL) |