Dylan Marinho
2023-09-22 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Year: 2023
Theoretical and Computational comparison of Perspective Formulations for Piecewise Convex Problems
Claudia Dambrosio
2023-09-21 10:30:00, #SéminaireAOCSalle C216, bâtiment C, Université de Villetaneuse
Normal Form Bisimulations by Value
Adrienne Lancelot
2023-10-05 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Claudia Dambrosio
2023-09-21 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
Relative monads and distributors
Nathanael Arkor
2023-09-21 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Vincent Moreau
2023-11-09 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Victor Arrial
2023-11-30 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Adrienne Lancelot
2023-10-05 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty
Dylan Marinho
2023-09-22 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Universal Quantitative Algebra
Ralph Sarkis
2023-09-14 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse