Ecole de Printemps d'Informatique Théorique (EPIT) 2019 - Données, logique et automates / Spring school on Theoretical Computer Science (EPIT) - Databases, Logic and Automata

Collection Ecole de Printemps d'Informatique Théorique (EPIT) 2019 - Données, logique et automates / Spring school on Theoretical Computer Science (EPIT) - Databases, Logic and Automata

Organizer(s) Gheerbrant, Amélie ; Segoufin, luc ; Senellart, Pierre ; Sirangelo, Cristina ; Libkin, Leonid
Date(s) 08/04/2019 - 12/04/2019
linked URL https://conferences.cirm-math.fr/1934.html

All the collection videos (6)

01:26:36

published on May 13, 2019

Semistructured data, logic, and automata – part 1

By Diego Figueira

01:28:17

published on May 13, 2019

Graph data management – part 2

By Wim Martens

01:26:16

published on May 9, 2019

Graph data management – part 1

By Wim Martens

01:16:55

published on May 13, 2019

Semistructured data, logic, and automata – part 2

By Diego Figueira

01:42:08

published on May 13, 2019

Databases and descriptive complexity – part 1

By Nicole Schweikardt

01:13:56

published on May 13, 2019

Databases and descriptive complexity – part 2

By Nicole Schweikardt

Mathematics
and Interactions

Not Only Scalar Curvature Seminar

Arithmetic Geometry – A Conference in Honor of Hélène Esnault on the Occasion of Her 70th Birthday

Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models

Lean for the curious mathematician / Lean pour mathématiciens

Collection Ecole de Printemps d'Informatique Théorique (EPIT) 2019 - Données, logique et automates / Spring school on Theoretical Computer Science (EPIT) - Databases, Logic and Automata

Semistructured data, logic, and automata – part 1

Graph data management – part 2

Graph data management – part 1

Semistructured data, logic, and automata – part 2

Databases and descriptive complexity – part 1

Databases and descriptive complexity – part 2

Complex analysis in Lean

Coq/Rocq tutorial: Ssreflect tactics and the MathComp library

Stone duality and its formalization

Working with Mathlib

Parabolic maximal regularity applied to diffusion networks with time-dependent transmission conditions

Complex analysis in Lean

Stone duality and its formalization

Finite Type Properties of (Tame) Fundamental Groups

Coq/Rocq tutorial: Ssreflect tactics and the MathComp library

Working with Mathlib