Évènements
Rechercher un événement
12
Avr
Recent Progress on Random Walks
Conference
Progrès récents sur les marches aléatoires 12 - 16 April 2021 (virtual) Scientific Committee Comité scientifique Franck Den Hollander (Leiden University) Nina Gantert (Technical University [...]
05
Avr
Generalised coupling conditions for arbitrary flow directions at the fluid-porous interface - CANCELLED
Pairs
Conditions de couplage fluide-poreux généralisées pour les écoulements de directions arbitraires RESEARCH IN PAIRS Organizers Philippe Angot (Aix-Marseille Université) Elissa Eggenweiler (University of tuttgart) Iryna [...]
15
Avr
Local Kronecker-Weber
Zoé Yvon
Local Kronecker-Weber (AZ) V.1 Références : Corps Locaux by Jean-Pierre Serre (CL) and Algebraïsche Zahlentheorie by Jurgen Neukirch (AZ) [su_spacer size="20"] Site web: https://sites.google.com/view/samuele-anni/home/groupe-de-travail Notes et [...]
Efroymson's Approximation Theorem for globally subanalytic functions
Anna Valette
Efroymson's Approximation Theorem asserts that if f is a continuous semialgebraic mapping on a C^infinity semialgebraic submanifold M of ℝⁿ and if e : M→ℝ [...]
15
Avr
Déménagement Luminy
Commission Déménagement
Modalités du déménagement du bâtiment TPR2 vers l'ancienne BU. Réservation par Laurent Regnier.
Evidenced frames: a unifying framework broadening realizability models
Étienne Miquey
Constructive foundations have for decades been built upon realizability models for higher-order logic and type theory. However, traditional realizability models have a rather limited notion [...]
