401. | Tutorial 5 Dan Licata: A Fibrational Framework for Modal Dependent Type Theories | 0 | Tutorial |
|
402. | Bjørn Dundas: The trace map | 0 | |
|
403. | Raphael Rouquier: Affinizations and modular representations of finite groups | 0 | |
|
404. | Antoine Mouzard: Quasilinear singular SPDEs and paracontrolled calculus | 0 | |
|
405. | Damian Rössler: The arithmetic Riemann Roch Theorem and Bernoulli numbers | 0 | |
|
406. | Markus Land: The 2-completion of L-theory for C*-algebras | 0 | |
|
407. | Felix Klein Lectures 2020: Quiver moduli and applications, Markus Reineke (Bochum), Lecture 5 | 0 | |
|
408. | Felix Otto: Singular quasi-linear stochastic PDEs III | 0 | |
|
409. | Nicolò Sibilla: The topological Fukaya category and mirror symmetry for toric Calabi-Yau threefolds | 0 | Vlog |
|
410. | Sergey Neshveyev: Drinfeld center, tube algebra, and representation theory of monoidal categories | 0 | |
|
411. | Francesco de Vecchi: Stochastic quantization of exponential quantum field theory | 0 | |
|
412. | Anais Crestetto: Micro-macro discretizations | 0 | |
|
413. | Christoph Winges: Automorphisms of manifolds and the Farrell Jones conjectures | 0 | |
|
414. | Suvrit Sra: Lecture series on Aspects of Convex, Nonconvex, and Geometric Optimization (Lecture 3) | 0 | |
|
415. | Sylvie Paycha: Re-expansion maps as direct connections | 0 | |
|
416. | Erik Lindgren: Infinity-harmonic potentials in convex rings | 0 | |
|
417. | Emanuele Dotto: Real topological Hochschild homology and the Hermitian K-theory... | 0 | Vlog |
|
418. | Tamás Király: Complexity of finding equilibria in linear service providing games | 0 | |
|
419. | Konstantin Matetski: Convergence of finite-range weakly asymmetric exclusion processes | 0 | |
|
420. | Hugo Herbelin: A constructive proof of dependent choice, compatible with classical logic | 0 | Vlog |
|
421. | Panayot Vassilevski: Spectral upscaling for graph Laplacian problems... | 0 | |
|
422. | Hausdorff School: Ceremonial address by Jean-Pierre Bourguignon | 0 | |
|
423. | Felix Otto: Singular quasi-linear stochastic PDEs I | 0 | |
|
424. | Paul Shafer:Reverse mathematics of Caristi's fixed point theorem and Ekeland's variational principle | 0 | |
|
425. | Antonio Díaz Ramos: Mackey functors for fusion systems | 0 | |
|
426. | Kazuo Murota: Discrete Convex Analysis (Part 3) | 0 | |
|
427. | Fabio Toninelli: (2 + 1)-dimensional growth and Anisotropic KPZ class III | 0 | |
|
428. | Wadim Zudilin: A q-microscope for hypergeometric congruences | 0 | |
|
429. | Rémi Molinier: Cohomology with twisted coefficients of linking systems and stable elements | 0 | Vlog |
|
430. | Charles Rezk: Elliptic cohomology and elliptic curves (Part 3) | 0 | |
|
431. | Mario Pulvirenti: A local mean-field stochastic particle system for the Bolzmann equation | 0 | |
|
432. | Luís Diogo: Monotone Lagrangians in cotangent bundles of spheres | 0 | |
|
433. | Oliver Röndigs: The slices of Hermitian K-theory (Lecture 2) | 0 | |
|
434. | Dmitri Vassilevich: Renormalization on NC torus | 0 | |
|
435. | Josef Malek: On thermodynamically consistent boundary conditions for Korteweg fluids | 0 | |
|
436. | Charles Weibel: K-theory of algebraic varieties (Lecture 4) | 0 | |
|
437. | Dominik Peters: Structural Tractability in Hedonic Games | 0 | |
|
438. | Masoud Khalkhali: Introduction to non commutative geometry 2 | 0 | |
|
439. | Emil Wiedemann: On the Conservation of Energy/Entropy in Fluid Dynamics | 0 | |
|
440. | Peter Scholze: On topological cyclic homology | 0 | Vlog |
|
441. | Kazuo Murota: Discrete Convex Analysis (Part 2) | 0 | |
|
442. | Patrick Gerard: Singular value dynamics and nonlinear Fourier transform for Hankel operators on the | 0 | |
|
443. | Camillo De Lellis: De Giorgi and Almgren in a simple setting (part III) | 0 | |
|
444. | Max Jensen: Convergent semi-Lagrangian methods for the Monge-Ampère equation on unstructured grids | 0 | |
|
445. | Emanuel Milman: 1 D Localization part 4 | 0 | |
|
446. | Peter Scholze: The pro-etale site | 0 | |
|
447. | Takako Nemoto: Baire category theorem and nowhere differentiable continuous function... | 0 | |
|
448. | Alon Nissan-Cohen: Towards an ∞-categorical version of real THH | 0 | |
|
449. | William Minvielle: Variance reduction in random homogenization special quasirandom structures | 0 | |
|
450. | P. Wesolek: Conjugacy classes in locally compact of subgroups S | 0 | |
|
451. | Stephan Held: Vehicle routing with subtours | 0 | |
|
452. | Johan Alm: Brown's dihedral moduli space and freedom of the gravity operad | 0 | |
|
453. | Snigdhayan Mahanta: Bivariant homology theories for noncommutative spaces | 0 | Vlog |
|
454. | J. Melleray: Metric homogeneous structures | 0 | |
|
455. | Bernhard von Stengel: Algorithms for rank-1 bimatrix games | 0 | |
|
456. | David Gross: The Toric Code Finite WH meets Topological Order | 0 | Vlog |
|
457. | Trevor Wooley: Efficient congruencing and a Diophantine inequality of Bourgain and Demeter | 0 | |
|
458. | Federico Zerbini: Conical Sums | 0 | |
|
459. | Rob de Jeu: K_2 of elliptic curves over non-Abelian cubic and quartic fields | 0 | |
|
460. | Kensho Tsurusaki: Literate programming in Lean | 0 | |
|
461. | Andreas Weiermann: Higher Proof Theory and Combinatorics (Lecture I) | 0 | |
|
462. | Jean Luc Starck: Sparse Representations and their Application in Astrophysics (Lecture 4) | 0 | |
|
463. | Jürg Kramer: Effective bounds for Faltings' delta function | 0 | |
|
464. | Schlotterer: Constructing polylogarithms on higher-genus Riemann surfaces | 0 | Vlog |
|
465. | Monika Ludwig: Recent advances in valuations on function spaces | 0 | |
|
466. | Mario Carneiro: Lean4Lean: Formalizing the type theory of Lean | 0 | |
|
467. | Ralph Kaufmann: Graph Hopf algebras and their framework | 0 | |
|
468. | Chaitanya Swamy: Signaling in Bayesian Games | 0 | |
|
469. | Christoph Benzmüller: Comments on the formalisation and automation of foundational theories ... | 0 | |
|
470. | Maud Szusterman: extremizers in Fenchel and Bezout-type inequalities | 0 | |
|
471. | Francisco Marin Sola: Mass-distribution of partitions of convex bodies by hyperplanes (Blitz talk) | 0 | |
|
472. | Natarajan Shankar: Beautiful Formalizations and Proofs | 0 | |
|
473. | Cheuk Yu Mak: Spherical Lagrangian submanifolds and spherical functors | 0 | |
|
474. | Gyula Pap: Linear matroid matching in the oracle model | 0 | |
|
475. | Milly Maietti and Pietro Sabelli: Peculiarities of the Minimalist Foundation for Formal Mathematics | 0 | |
|
476. | Benedikt Rednoß: A Quantification of the Fourth Moment Theorem for Cyclotomic Generating Functions | 0 | |
|
477. | Mohammed Abouzaid: Bordism and Floer theory | 0 | |
|
478. | Bartosz Naskręcki: Moments of families of elliptic curves | 0 | |
|
479. | Nicoló Sibilla: Log schemes root stacks and parabolic bundles | 0 | Vlog |
|
480. | Rudy Rodsphon: An equivariant index theorem for hypoelliptic operators | 0 | |
|
481. | Stevell Muller: On symplectic transformations of OG10-type hyperkähler manifolds via cubic fourfolds | 0 | |
|
482. | Sofia Tirabassi: Lieblich-Olsson deformation technique and applications 1 | 0 | |
|
483. | Benoît Merlet: About the non-oriented Aviles-Giga functional | 0 | |
|
484. | Angela Ortega: Generic Prym-Torelli Theorem for cyclic coverings of genus 2 curves | 0 | |
|
485. | Penghui Li Analytic atlas for stack of semistable bundles on elliptic curve and elliptic character s | 0 | |
|
486. | Fedele Lizzi: Connes Approach to the Standard Model, Grand Symmetry and the Higgs Mass | 0 | |
|
487. | Daniel Huybrechts: Brauer groups and twisted sheaves on K3 surfaces 3 | 0 | |
|
488. | Juan Esteban Rodriguez Camargo: An introduction to geometric Sen theory | 0 | |
|
489. | Ivo Dell'Ambrogio: Equivariant tensor triangulated categories of C∗-algebras | 0 | |
|
490. | Chenji Fu: Explicit mod-\ell categorical local Langlands correspondence fordepth-zero supercuspidal | 0 | |
|
491. | Erik Kjær Pedersen: Some remarks on the surgery exact sequence | 0 | |
|
492. | Benjamin Dodson: Conditional global existence and scattering for ... | 0 | |
|
493. | Peter Scholze: Some remarks on prismatic cohomology of rigid spaces | 0 | |
|
494. | Sarah Zerbes: Iwasawa theory for the symmetric square of an elliptic curve | 0 | |
|
495. | David Jekel: Connections between free probability and model theory | 0 | |
|
496. | Mario Klisse: Crossed products as compact quantum metric spaces | 0 | |
|
497. | Justin Noel: Galois descent and redshift in algebraic K theory | 0 | |
|
498. | Pedro Pérez Caro: On uniqueness of an inverse problem for Maxwell equations | 0 | |
|
499. | Ralf Meyer: Groupoid models for groupoid correspondences and C*-algebras | 0 | |
|
500. | Ludovic Godard-Cadillac: Hölder regularity for collapses of point vortices | 0 | |
|