Événements

Écoles Caleidoscope

Betweenness Centrality and Counting Problems

Mehdi Naima

2026-02-05 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

Les arbres biaisés par la hauteur: quelques nouveaux résultats

Meltem Ünel

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

On Multidimensional Disjunctive Inequalities for Chance-Constrained Stochastic Problems with Finite Support

Marius Roland

2026-01-29 10:30:00, #SéminaireAOC
Salle B107, bâtiment B, Université de Villetaneuse

Lattice walks with large steps in the first quadrant : algebraicity of the stretched Gessel models

Pierre Bonnet

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

Adapters: a type-theoretic foundation for type casting

Meven Lennon-Bertrand

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

Abstraction Functions as Types: Modular Verification of Behavior and Cost

Harrison Grodin

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