Cristina Molero del Río
2024-01-18 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
Catégorie : Séminaire passé
De la cohérence aux quantales, et ensuite à la topologie dirigée
Cameron Calk
2024-01-18 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Cameron Calk
2024-01-18 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Cameron Calk
2024-01-18 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Focused orthogonality as denotations of circular and non-wellfounded proofs
Farzad Jafarrahmani
2024-01-11 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Focused orthogonality as denotations of circular and non-wellfounded proofs
Farzad Jafarrahmani
2024-01-11 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
TBA
Gabriele Vanoni
2024-02-01 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
TBA
Jérémie Marquès
2024-02-08 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Gabriele Vanoni
Gabriele Vanoni
2024-02-01 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Countable choice in Observational Type Theory
Loïc Pujet
2023-12-07 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse