Lettre de l'IRIF du 06 mai 2022

Edito

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 !

Annonces de la direction


Actualités


Portrait nouvel arrivant

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.


Appels d'offres et informations des partenaires

Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.


Agenda de la semaine du 09 mai au 13 mai

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)