Événements
Conférences :
Aucune conférence disponible.
Écoles :
Écoles Caleidoscope
Cliquer ici pour plus d'informationsSéminaires :
Aircraft routing: periodicity and complexity
Frédéric Meunier
2025-11-06 10:30:00, #SéminaireAOCSalle D215, Université de Villetaneuse
Journées Chocola
Antoine Allioux (IRIF), Higher Structures in Antoine Allioux, Lison Blondeau-Patissier, William Simmons
2023-09-28 10:00:00, #SéminaireLoVeENS LYON, Site Monod
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 [BBB: https://bbb.lipn.univ-paris13.fr/b/ari-uht-t3u]
Titre bientôt disponible
Ralph Sarkis
2023-09-14 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Compositional Verification of Embedded Real-Time Systems
Mohammed Foughali
2023-06-23 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Soutenances :
Aucune soutenance disponible.
Séminaires passés :
Statistical geometry and the Goldberg conjecture
Fortuné Massamba
2025-10-21 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
T-structures entre logique et topologie
Mathieu Anel
2025-10-21 10:30:00, #SéminaireLocalSalle B107, bâtiment B, Université de Villetaneuse
Formal Verification of Systems with Unbounded Agents
Tephila Prince
2025-10-21 10:15:00, #SéminaireSaferHttps://bbb.lipn.univ-paris13.fr/b/ola-2wl-jir-a0l
The neighborhood dominant polytope
Yue Zhang
2025-10-16 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
A Fibrational Approach to Differential Linear Logic
Jad Koleilat
2025-10-09 10:30:00, #SéminaireLocalSalle B107, bâtiment B, Université de Villetaneuse

