Événements
Séminaires :
Compositional Verification of Embedded Real-Time Systems
Mohammed Foughali
2023-06-23 12:15:00, #SéminaireLoVeSalle 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
Robust min-max regret covering problems
Amadeu Almeida Coco
2023-03-16 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Ludovic Patey
2023-02-09 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
tba
Cameron Calk
2023-03-23 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Soutenances :
Aucune soutenance disponible.
Conférences :
Aucune conférence disponible.
Séminaires passés :
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-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