Évènements
Rechercher un événement
Quantale theory and its logic
Cédric De Lacroix (LIS, AMU)
We will introduce quantales both as an interesting algebraic structure and as a model of provability of linear logic. We will look at standard examples [...]
Curry-Howard : Calcul et Logique (novembre 2022)
Rencontre ( ENS Lyon)
Suite à celles mises en œuvre dans le cadre du projet ANR CHoCo (2006–2010), nous mettons en place des rencontres mensuelles à Lyon, visant à [...]
David Kohel, 3.5, Polarisations
David Kohel (I2M, Aix-Marseille Université)
TBA Référence : Rational points on curves over finite fields by Jean-Pierre Serre (242 pages) – Manuscript (in PDF) [su_spacer size="20"] Site web: https://sites.google.com/view/samuele-anni/home/groupe-de-travail Notes et [...]
Insect-inspired visual navigation: lessons from small brains
Andy Philippides (University of Sussex, UK)
TBA IOSSB Seminar
24
Nov
Représentations de niveau zéro sur $overline{mathbb{Z}}[frac{1}{p}]$
(...)
Dans cet exposé, je vais parler de la catégorie des représentations de niveau zéro d'un groupe $p$-adique à coefficients dans $overline{mathbb{Z}}[frac{1}{p}]$. Quand ce groupe est [...]
Pierre Tchamitchian, 3.1-3.4, Honda-Tate
Pierre Tchamitchian (I2M, Aix-Marseille Université)
TBA Référence : Rational points on curves over finite fields by Jean-Pierre Serre (242 pages) – Manuscript (in PDF) [su_spacer size="20"] Site web: https://sites.google.com/view/samuele-anni/home/groupe-de-travail Notes et [...]
The modular approach for solving $x^r+y^r=z^p$ over totally real number fields
Diana Mocanu (University of Warwick)
will first introduce the modular method for solving Diophantine Equations, famously used to prove the Fermat Last Theorem. Then, we will see how to generalize [...]
Homotopy properties of smooth functions on surfaces
Iryna Kuznietsova (Institute of Mathematics of the National Academy of Sciences of Ukraine)
Abstract: Let $M$ be a smooth compact surface. Consider the natural action of the group $D(M)$ of diffeomorphisms on the space of smooth functions $С^\infty(M,R)$ [...]
