Renan Spencer Trindade
2023-04-04 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
Catégorie : Séminaire passé
The cartesian closed bicategory of thin spans
Simon Forest
2023-04-13 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Renan Spencer Trindade
2023-04-06 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
Coherence via strategic rewriting in higher Kleene algebras.
Cameron calk
2023-04-13 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Coherence via strategic rewriting in higher Kleene algebras
Cameron Calk
2023-03-23 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Knowledge and Topology: Simplicial Models for Epistemic Logic
Jérémy Ledent
2023-03-16 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
From Language Models to (very) Large Language Models
Davide Buscaldi
2023-03-20 12:30:00, #SéminaireRCLNSalle B107, bâtiment B, Université de Villetaneuse
Weak omega-categories and their internal language in dependent type theory
Thibaut Benjamin
2023-03-17 14:00:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
The cartesian closed bicategory of thin spans
Simon Forest
2023-04-13 14:00:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
The cartesian closed bicategory of thin spans
Simon Forest
2023-03-10 14:00:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse