Événements

Écoles Caleidoscope

Fiabilité et QoS dans le continuum : vers une ingénierie formelle bout-en-bout des services IoT-Fog-Cloud

Mohamed Graiet

2026-03-24 15:30:00, #SéminaireSafer
Salle A303, bâtiment B, Université de Villetaneuse

Rational Synthesis in Resource-Constrained Multi-Agent Systems

Youssouf Oualhadj

2026-03-24 14:00:00, #SéminaireSafer
Salle A303, bâtiment A, 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

Trier des tableaux partiellement pré-triés

Vincent Jugé

2026-02-17 14:00:00, #SéminaireCALIN
Salle B107, bâtiment B, Université de Villetaneuse

Lambda-calculus and space complexity

Thibaut Balabonski

2026-02-17 12:30:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse

Toposes with enough points as categories of étale spaces

Umberto Tarantino

2026-02-12 10:30:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse

Hitting affine families of polyhedra, with applications to robust optimization

Sarah Wajsbrot

2026-02-10 14:00:00, #SéminaireCALIN
Salle B107, bâtiment B, Université de Villetaneuse

Properties of matroids in picking games against Greedy

Emiliano Lancini

2026-02-12 10:30:00, #SéminaireAOC
Salle A303, bâtiment A, Université de Villetaneuse