Événements

Écoles Caleidoscope

Frank-Wolfe methods for convex quadratic optimization

Mathieu Besançon

2025-11-20 10:30:00, #SéminaireAOC
Salle B107, bâtiment B, 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é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

Algebraic shifting and area rigidity of surfaces

Denys Bulavka

2025-11-18 14:00:00, #SéminaireCALIN
Salle B107, bâtiment B, Université de Villetaneuse

Characterizing NC1 with Typed Monoids

Aidan Evans

2025-11-13 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Partitioning a Graph into Connected Components

Hande Yaman

2025-11-18 14:00:00, #SéminaireAOC
Salle G201

From Semantics to Syntax: A Type Theory for Comprehension Categories

Niyousha Najmaei

2025-11-06 11:00:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse

Higher dimensional floorplans and Baxter permutations

Thomas Muller

2025-11-04 14:00:00, #SéminaireCALIN
Salle B107, bâtiment B, Université de Villetaneuse