Collection Frontiers of reconnaissability / Frontières de la reconnaissabilité

Organizer(s) Senizergues, Géraud
Date(s) 28/04/2014 - 30/04/2014
linked URL http://dept-info.labri.u-bordeaux.fr/~ges/FREC14/finalconf.html

All the collection videos (5)

35:28

published on May 6, 2014

Two-player perfect-information shift-invariant submixing stochastic games are half-positional

By Hugo Gimbert

45:24

published on August 25, 2014

MSO+U

By Mikolaj Bojanczyk

38:37

published on August 25, 2014

Recognizable sets of graphs: algebraic and logical aspects

By Bruno Courcelle

42:58

published on August 25, 2014

Recognizable languages are Church-Rosser congruential

By Volker Diekert

41:58

published on August 25, 2014

Towards static analysis of functional programs using term rewriting and tree automata

By Thomas Genet

Give feedback

Mathematics
and Interactions

CEMRACS 2025: Quantum Computing / CEMRACS 2025: Calcul quantique

Complex Geometry, Complex Analysis and Dynamics / Géométrie Complexe, Analyse et Dynamique Complexe

2025 IHES Summer School – Discrete Subgroups of Lie Groups : Dynamics, Actions, Rigidity

Prime numbers and arithmetic randomness / Nombres premiers et aléa arithmétique

Collection Frontiers of reconnaissability / Frontières de la reconnaissabilité

Two-player perfect-information shift-invariant submixing stochastic games are half-positional

MSO+U

Recognizable sets of graphs: algebraic and logical aspects

Recognizable languages are Church-Rosser congruential

Towards static analysis of functional programs using term rewriting and tree automata

Generative AI and Diffusion Models: a Statistical Physics Analysis (3/3)

Exploring the High-dimensional Random Landscapes of Data Science (3/3)

Generative AI and Diffusion Models: a Statistical Physics Analysis (2/3)

Generative AI and Diffusion Models: a Statistical Physics Analysis (1/3)

Exploring the High-dimensional Random Landscapes of Data Science (1/3)