IRIF Newsletter of February 23, 2024

Edito

Due to vacations, this week's IRIF letter is lightweight.
In this newsletter International Researcher invitations UPCité and a procedure for internships.
In the news you will see the symposium Logique à Paris.
New call for tenders are available.

Enjoy reading and have a nice weekend!

Direction's announcements


News


Equalities comittee


IRIF & Environnement



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 February 26 to March 1st

Vérification · Lundi 26 février, 11:00, 3052 and Zoom link ·
Loïc Germerie Guizouarn (Université Paris-Est Créteil), Quasi-synchronous communications and verification of distributed systems

Formath · Lundi 26 février, 14:00, 3052 ·
Julien Narboux (Université de Strasbourg), Formalization of geometry, and automated theorem proving using constraint solving

Combinatoire énumérative et analytique · Mardi 27 février, 11:00, Room 1007 ·
Gilles Schaeffer, From catalytic to algebraic decomposition, bijectively.

Algorithmes et complexité · Mardi 27 février, 11:00, Room 3052 ·
Sophie Huiberts (LIMOS, Clermont-Ferrand), Open problems about the simplex method

Algorithmes et complexité · Mardi 27 février, 14:00, Room 3052 ·
Christian Konrad (University of Bristol), An Unconditional Lower Bound for Two-Pass Streaming Algorithms for Maximum Matching Approximation

Automates · Jeudi 29 février, 14:00, Room 3052 ·
Ivan Varzinczak, An Introduction to Defeasible Description Logics

Séminaire des membres non-permanents · Jeudi 29 février, 16:00, Room 3052 ·
Huan Zhou, Graph colouring: Extending brooks’ Theorem

Automates · Vendredi 01 mars, 14:00, Room 3052 ·
Benjamin Bordais, From Local to Global Optimality in Concurrent Parity Games