Collection Computability, randomness and applications / Calculabilité, hasard et leurs applications

Organizer(s) Bienvenu, Laurent ; Jeandel, Emmanuel ; Porter, Christopher
Date(s) 20/06/2016 - 24/06/2016
linked URL http://conferences.cirm-math.fr/1408.html

All the collection videos (5)

58:31

published on July 6, 2016

Independence of normal words

By Verónica Becher

39:28

published on July 6, 2016

Carleson's Theorem and Schnorr randomness

By Johanna Franklin

01:05:07

published on July 6, 2016

On centauric subshifts

By Andrei Romashchenko

52:16

published on July 7, 2016

A derivation on the field of d.c.e.reals

By Joseph Miller

41:43

published on July 7, 2016

Randomness connecting to set theory and to reverse mathematics

By André Nies

Mathematics
and Interactions

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

Not Only Scalar Curvature Seminar

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

Lean for the curious mathematician / Lean pour mathématiciens

Collection Computability, randomness and applications / Calculabilité, hasard et leurs applications

Independence of normal words

Carleson's Theorem and Schnorr randomness

On centauric subshifts

A derivation on the field of d.c.e.reals

Randomness connecting to set theory and to reverse mathematics

Vanishing Theorems for the Irregular Hodge Filtration

The Non-Abelian p-Curvature Conjecture

The Bloch-Esnault-Kerz fiber square

On Secondary Invariants and Arithmetic Rigidity

Different Notions of Tameness Revisited

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