É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
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
Titre bientôt disponible
Jérémy Ledent
2023-03-16 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 :
Reformulations pour l’optimisation convexe par morceaux
Renan Spencer Trindade
2023-04-04 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
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