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!
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.
Partner newsletter : Newsletters are sent sporadically to IRIF members. They are listed below.
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