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