IRIF Newsletter of March 8, 2024

Edito

In this week's IRIF letter, the central meeting rooms are now open and bookable; a new FSMP “Horizon Maths” conference organized by Hugo Herbelin is planned.
The 8th of March is the International Day of Women's Rights! Read reflections to make the computer science field a better place for women.
The Observatoire des Sciences de l'Univers organizes his first environmental conference on Planetary Boundaries.
You are invited to meet Guillaume Baudart, new researcher at IRIF, through is portrayal. It is the focus of this week.
Call for tenders are still open, such as AAPG 2024.

Enjoy reading and have a nice weekend!

Direction's announcements


News


Equalities comittee


IRIF & Environnement


Focus sur Guillaume Baudart, nouveau chargé de recherche

Il ne faut pas se méprendre ; sous ses airs timides, Guillaume Baudart apprécie plus que tout les rencontres et les échanges. En sciences ou en musique ? Pourquoi pas les deux ! Curieux, il aime découvrir de nouvelles choses, et s'intéresse beaucoup aux nouvelles technologies. Rencontre avec Guillaume Baudart, nouveau chargé de recherche à l'IRIF.

“La programmation probabiliste est un projet que j'ai démarré à IBM. L'idée, c'est de prendre un language de programmation classique et d'ajouter la possibilité de manipuler des distributions et de faire du résonnement bayésien, donc de faire de l'apprentissage sur les distributions.” Guillaume Baudart, chargé de recherche | Pôle Preuves, programmes et systèmes - Équipes Analyse et conception de systèmes, Preuves et programmes et Picube (Inria).

Retrouvez l'intégralité de son portrait ici.


Calls for tender and information from partners

Partner newsletter : Newsletters are sent sporadically to IRIF members. They are listed below.


Agenda for the week of March 11 to March 15

Vérification · Lundi 11 mars, 11:00, 3052 and Zoom link ·
Uli Fahrenberg (LRE / EPITA), Quantitative Verification: the Good, the Bad, the Ugly

Formath · Lundi 11 mars, 14:00, 3052 ·
Gabriel Scherer, Random generation of well-typed terms: a constraint-based approach

Combinatoire énumérative et analytique · Mardi 12 mars, 11:00, Room 3052 ·
Pas De Séance : Journées Alea, Relâche

Algorithmes et complexité · Mardi 12 mars, 11:00, Room 3052 ·
Christina Boura (UVSQ), New results in differential cryptanalysis

One world numeration seminar · Mardi 12 mars, 14:00, Online ·
Joël Ouaknine (Max Planck Institute for Software Systems), The Skolem Landscape

Séminaire des membres non-permanents · Jeudi 14 mars, 16:00, Room 3052 ·
Klara Nosan, TBA