Lightnews — Scholar-powered news

biblicirm.bsky.social @biblicirm.bsky.social · 6d

🆕🎬Synthetic mathematics, logic-affine computation and efficient proof systems
Simpson, Alex (2025). Synthesising random variables. CIRM. Audiovisual resource. dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #logic #conference #probability

1

biblicirm.bsky.social @biblicirm.bsky.social · 6d

🆕🎬Synthetic mathematics, logic-affine computation and efficient proof systems
Riehl, Emily (2025). Synthetic perspectives on the Yoneda lemma. CIRM. Audiovisual resource. dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #logic #conference #category

1 1

biblicirm.bsky.social @biblicirm.bsky.social · 6d

🆕🎬Synthetic mathematics, logic-affine computation and efficient proof systems
Emmenegger, Jacopo (2025). Towards the effective 2-topos. CIRM.
dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #math #logic #conference #category

1 1

biblicirm.bsky.social @biblicirm.bsky.social · 6d

🆕🎬Synthetic mathematics, logic-affine computation and efficient proof systems
Buchholtz, Ulrik (2025). Towards synthetic locale theory. CIRM. Audiovisual resource
dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #math #logic #conference #Topology

1 1

biblicirm.bsky.social @biblicirm.bsky.social · 6d

🆕🎬Synthetic mathematics, logic-affine computation and efficient proof systems
d'Espalungue, Sophie (2025). Towards an internal construction of meaning. CIRM. Audiovisual resource. dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #math #logic #conference

1 1

biblicirm.bsky.social @biblicirm.bsky.social · 6d

🆕🎬Synthetic mathematics, logic-affine computation and efficient proof systems
Watch the talks of U. Buchholtz, S. D'espalungue, J. Emmenegger, E. Riehl, A. Simpson in the Audiovisual Library @cirm-math.bsky.social & carmin.tv #Maths
library.cirm-math.fr/ListRecord.h...
www.carmin.tv/fr/c/1685

1 2 3

biblicirm.bsky.social @biblicirm.bsky.social · 13d

🆕🎬Orbit equivalence and topological and measurable dynamics
Sauer, Roman (2025). Higher property T . CIRM. Audiovisual resource.
dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #Algebra #geometry #LieTheory

2

biblicirm.bsky.social @biblicirm.bsky.social · 13d

🆕🎬Orbit equivalence and topological and measurable dynamics
Marrakchi, Amine (2025). Strongly ergodic equivalence relations and full factors. CIRM. Audiovisual resource. dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #math #NumericalAnalysis #DynamicalSystems

1 1 4

biblicirm.bsky.social @biblicirm.bsky.social · 13d

🆕🎬Orbit equivalence and topological and measurable dynamics
Tanushevski, Slobodan (2025). SBCW-complexes and n-cost. CIRM. Audiovisual resource. dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #math #Geometry #algebra #grouptheory #topology

1 1

biblicirm.bsky.social @biblicirm.bsky.social · 13d

🆕🎬Orbit equivalence and topological and measurable dynamics
Goffer, Gil (2025). Analysis of relations in groups. CIRM. Audiovisual resource. dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #math #Geometry #Pobability #topology

1 1

biblicirm.bsky.social @biblicirm.bsky.social · 13d

🆕🎬Orbit equivalence and topological and measurable dynamics
Bontemps, Sasha (2025). Subgroup mixing in Baumslag-Solitar groups. CIRM. Audiovisual resource dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #math #dynamics #Topology #geometry #probability

1 1

biblicirm.bsky.social @biblicirm.bsky.social · 13d

🆕🎬Orbit equivalence and topological and measurable dynamics
Watch the talks of S. Bontemps, G. Goffer, A. Marrakchi, R. Sauer & S. Tanushevski in Carmin.tv & the Audiovisual Mathematics Library @cirm-math.bsky.social #Maths
library.cirm-math.fr/ListRecord.h...
www.carmin.tv/fr/c/1682

1 2 1

Reposted

CIRM - Centre international de rencontres mathématiques @cirm-math.bsky.social · Sep 8

1 2 7

Reposted

CIRM - Centre international de rencontres mathématiques @cirm-math.bsky.social · Aug 31

@biblicirm.bsky.social

Roger Mansuy @roger-mansuy.bsky.social · Aug 31

OFFICIEL: *Le Grand Almanach Mathématique* sera en librairies le 15 octobre et voici la couverture (avec le bandeau amovible par Cédric Villani).

N'hésitez pas à partager l'information avec votre librairie, votre médiathèque, votre CDI...

1 1 4

biblicirm.bsky.social @biblicirm.bsky.social · Jul 31

🆕🎬 Complex Geometry, Complex Analysis and Dynamics
Raissy, Jasmin (2025). Perturbations of parabolic endomorphisms in dimension 2. CIRM. Audiovisual resource.
dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #Maths #Geometry #conference #DynamicalSystem

1

biblicirm.bsky.social @biblicirm.bsky.social · Jul 31

🆕🎬 Complex Geometry, Complex Analysis and Dynamics
Oguiso, Keiji (2025). On K3 surfaces with non-elementary hyperbolic automorphism group. CIRM. Audiovisual resource. dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #Maths #AlgebraicGeometry #conference

1 1

biblicirm.bsky.social @biblicirm.bsky.social · Jul 31

🆕🎬 Complex Geometry, Complex Analysis and Dynamics
Mok, Ngaiming (2025). Starting with the Gauss-Bonnet formula: rigidity phenomena on bounded symmetric domains. CIRM. Audiovisual resource
dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #Maths #geometry

1

biblicirm.bsky.social @biblicirm.bsky.social · Jul 31

🆕🎬 Complex Geometry, Complex Analysis and Dynamics
Lyubich, Mikhail (2025). Conformal measures and currents in holomorphic dynamics. CIRM. Audiovisual resource.
dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #Maths #DynamicalSystems #conference #Analysis

1 1

biblicirm.bsky.social @biblicirm.bsky.social · Jul 31

🆕🎬 Complex Geometry, Complex Analysis and Dynamics
Hwang, Jun-Muk (2025). Holomorphic symplectic geometry of elliptic surfaces. CIRM. Audiovisual resource
dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #Maths #Geometry #conference

Holomorphic symplectic geometry of elliptic surfaces | Vidéo | Carmin.tv

dx.doi.org

1 1

biblicirm.bsky.social @biblicirm.bsky.social · Jul 31

🆕🎬 Complex Geometry, Complex Analysis and Dynamics
Watch the talks of Jun-Muk Hwang, Mikhail Lyubich, Ngaiming Mok, Keiji Oguiso, Jasmin Raissy in the Audiovisual Mathematics Library & carmin.tv @cirm-math.bsky.social #Maths #conference
library.cirm-math.fr/ListRecord.h...
www.carmin.tv/fr/c/1671

1 3 2

biblicirm.bsky.social @biblicirm.bsky.social · Jul 15

🆕🎬Prime numbers and arithmetic randomness
Stadlmann, Julia (2025). Primes in arithmetic progressions and bounded gaps. CIRM. Audiovisual resource. dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #Maths #conference #NumberTheory

1 1

biblicirm.bsky.social @biblicirm.bsky.social · Jul 15

🆕🎬Prime numbers and arithmetic randomness
Pratt, Kyle (2025). Recent progress on some irrationality questions of Erdős. CIRM. Audiovisual resource. dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #Maths #conference #NumberTheory

1 1 1

biblicirm.bsky.social @biblicirm.bsky.social · Jul 15

🆕🎬Prime numbers and arithmetic randomness
Li, Junxian (2025). A two dimensional delta symbol method and applications. CIRM. Audiovisual resource. dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #Maths #conference #NumberTheory

1 1 1

biblicirm.bsky.social @biblicirm.bsky.social · Jul 15

🆕🎬Prime numbers and arithmetic randomness
Kuperberg, Vivian (2025). Sums of odd-ly many fractions and the distribution of primes. CIRM. Audiovisual resource. dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #Maths #conference #NumberTheory

1 1 1

biblicirm.bsky.social @biblicirm.bsky.social · Jul 15

🆕🎬Prime numbers and arithmetic randomness
Pilatte, Cédric (2025). Improved bounds for the Fourier uniformity conjecture. CIRM. Audiovisual resource. dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #Maths #conference #NumberTheory

1 1 1