Événements
Conférences :
Aucune conférence disponible.
Écoles :
Écoles Caleidoscope
Cliquer ici pour plus d'informationsSéminaires :
Compléxité des topos pour la logique linéaire : une analyse socio-philosophique (en Coq)
Sergueï Lenglet
2025-04-26 14:00:00, #SéminaireLocal
Bobigny
Journées Chocola
Antoine Allioux (IRIF), Higher Structures in Antoine Allioux, Lison Blondeau-Patissier, William Simmons
2023-09-28 10:00:00, #SéminaireLoVe
ENS 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éminaireLoVe
Salle 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éminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse
Compositional Verification of Embedded Real-Time Systems
Mohammed Foughali
2023-06-23 12:15:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse
Soutenances :
Aucune soutenance disponible.
Séminaires passés :
Modal semantics without possible worlds
Renato Reis Leme
2025-04-10 10:30:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse
Expressing properties of finite automata in variants of first-order logic
Howard Straubing
2025-04-08 13:00:00, #SéminaireCALIN
Salle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Test
2025-04-08 10:00:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse
Effects in Skel. From Exceptions to Delimited Computation
Alan Schmiit
2025-03-26 14:00:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse