19th International Conference on Relational and Algebraic Methods in Computer Science / 19ème Conférence internationale de méthodes relationnelles et algébriques en informatique

Collection 19th International Conference on Relational and Algebraic Methods in Computer Science / 19ème Conférence internationale de méthodes relationnelles et algébriques en informatique

Organizer(s) Fahrenberg, Uli ; Gehrke, Mai ; Santocanale, Luigi ; Winter, Michael
Date(s) 02/11/2021 - 06/11/2021
linked URL https://conferences.cirm-math.fr/2398.html

All the collection videos (5)

01:03:09

published on November 26, 2021

Relational tight field bounds for distributed analysis of programs

By Marcelo Frias

44:23

published on November 26, 2021

Quantified constraint satisfaction problem: towards the classification of complexity

By Dmitriy Zhuk

25:24

published on November 26, 2021

Time warps, from algebra to algorithms

By Simon Santschi

01:00:52

published on November 26, 2021

Fixpoint games

By Barbara König

29:45

published on November 26, 2021

Relational models for the Lambek calculus with intersection and unit

By Stepan Kuznetsov

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 19th International Conference on Relational and Algebraic Methods in Computer Science / 19ème Conférence internationale de méthodes relationnelles et algébriques en informatique

Relational tight field bounds for distributed analysis of programs

Quantified constraint satisfaction problem: towards the classification of complexity

Time warps, from algebra to algorithms

Fixpoint games

Relational models for the Lambek calculus with intersection and unit

Complex analysis in Lean

Coq/Rocq tutorial: Ssreflect tactics and the MathComp library

Stone duality and its formalization

Working with Mathlib

Creative telescoping for D-finite functions - Lecture 1

Complex analysis in Lean

Stone duality and its formalization

Coq/Rocq tutorial: Ssreflect tactics and the MathComp library

Working with Mathlib

Finite Type Properties of (Tame) Fundamental Groups