Matteo D’Achille
2024-04-30 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
Catégorie : Séminaire passé
Typing Nets as a cost-effective Presentation of the Curry-Howard Isomorphism
Paulin Jacobé de Naurois
2024-04-25 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Languages of Higher Dimensional Timed Automata
Emily Clement
2024-05-22 14:00:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Emily Clement
2024-05-22 12:00:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Introduction à la sémantique fonctorielle des théories algébriques généralisées
Jonas Frey
2024-04-11 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
TBD
Laetitia Laversa
2024-03-06 10:00:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
TBD
Davide Catta
2024-03-01 14:00:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
TBD
Loïc Germerie Guizouarn
2024-02-29 12:00:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
TBD
James Ortiz
2024-02-28 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
TBD
Mathieu HILAIRE
2024-02-13 10:00:00, #SéminaireLoVeA303