Cette semaine, ne manquez pas le pré-appel pour les bourses de thèse de l'Ecole Doctorale, les pré-inscriptions à ICALP avec soutien de l'IRIF si besoin, ainsi que l'appel à participation au prochain salon des jeux mathématiques, et les dates des prochains conseil de laboratoire.
Retrouvez aussi le portrait de Guillaume Geoffroy qui nous a rejoint comme Maître de Conférences en septembre dernier.
Beaucoup d'actualités et d'évènements dans les prochaines semaines, dont 75 ans d'informatique - le LIP6 et l'IRIF, HALG 2022, ICALP 2022, et une conférence-débat sur l'ordinateur quantique à l'Académie des sciences.
Bonne lecture !
Co-fondateur de l’association Pi Day, consacrée à la diffusion et à la promotion des mathématiques, Guillaume Geoffroy est très impliqué dans les projets pédagogiques valorisant l’accès aux sciences au public. Rencontre avec celui qui vient de rejoindre l’IRIF en tant que maître de conférences à l’Université Paris Cité.
“L’avantage dont disposent les mathématiques et l’informatique théorique par rapport aux autres sciences, c’est qu’il n’y a pas besoin de beaucoup de matériel pour les pratiquer et les faire pratiquer : il suffit d’avoir de l’imagination !” Guillaume Geoffroy, maître de conférences à l’Université Paris Cité | Pôle Preuves, programmes et systèmes - Équipe Algèbre et calcul.
Continuez la lecture en lisant son portrait.
Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.
Vérification · Lundi 09 mai, 11:00, Zoom link ·
James Worrell (University of Oxford), The Skolem Landscape
Sémantique · Lundi 09 mai, 16:30, Exposé en ligne depuis San Diego sur galene ·
Chaitanya Leena Subramaniam (University of San Diego), The higher universal algebra of dependently typed theories
Algorithmes et complexité · Mardi 10 mai, 17:00, Room 3052 ·
Michele Orrù (UC Berkeley), On the (in)security of ROS
Preuves, programmes et systèmes · Jeudi 12 mai, 10:30, Room 3052 ·
Patrick Baillot (CNRS, CRIStAL Lille), Bunched Fuzz: Sensitivity for Vector Metrics
Combinatoire énumérative et analytique · Jeudi 12 mai, 14:00, Room 3052 ·
Baptiste Rognerud (IMJ-PRG), Les matrices de Coxeter des ensembles ordonnés de Tamari sont périodiques
Séminaire des doctorants · Jeudi 12 mai, 16:00, Room 1007 ·
Daniel Szabo, TBD
Combinatoire énumérative et analytique · Vendredi 13 mai, 14:00, Room 1007 ·
Christophe Reutenauer (UQAM, Canada), Le monoïde stylique (seminaire joint Combinatoire et Automates)