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

  • [REMINDER] Project Deadline: the deadline International Researcher Invitations is approaching: March 13th. It is very important that there are many applications issued from IRIF since the number of missions awarded by the university is proportional to the number of applications. You you can apply through this Limesurvey link. All the information needed can be found in this 2023 Vademecum.
  • [REMINDER] Missions: For non-permanent members, please upload a copy of an authorization email from your supervisor to your mission requests on Etamine.
  • Internships: all informations about internship agreements and how to fill them is available here.


News

  • Logique à Paris 2024: A 3-day meeting of contemporary developments in Mathematical Logic, is organised between 29th February and 2nd March by Équipe de Logique (Institut de Mathématiques de Jussieu–Paris Rive Gauche) on Campus Grandes Moulins, Université Paris Cité, 75013 Paris. More information and registration here.


Equalities comittee

  • [REMINDER] Théâtre Forum : Organized by UPCité's Equality, Diversity and Inclusion mission and the College of Doctoral Schools a forum theatre session entitled “Ce qu'il en coûte” (What it costs) by the SYNERGIES company will take place on Monday 11 March from 12:00 to 14:00 in Amphi Turing. The theme of the play is identifying and preventing bullying and harassment in the doctoral student/thesis supervisor relationship. Please send an email to mentorat.sciences@u-paris.fr to register.


IRIF & Environnement

  • 🚲Bike maintenance : A bicycle maintenance toolkit and a pump are available in the common space on 4th floor. Feel free to use it, but, please, put it back where you found it once you are done.
  • Meeting: Wednesday at 1pm in 3052 on how to travel by train.



Calls for tender and information from partners

  • ANR USERFIRST: Présentation de l’outil d’aide au montage des projets ANR via USERFIRST mardi 27 février de 14 heures à 15 heures sur Zoom. ID de réunion: 964 4762 0017, code secret: 2zaZ8c.
  • [REMINDER] International Researcher invitation: UPCité has launched the 2025 International Researcher invitation campaign. The candidature camaign is open until 15th of March, 2024 and you can apply through this Limesurvey link. All the information needed can be found in this Vademecum
  • Faculty positions are open at IRIF : two MCF and one full professor, see this page.
  • Chaire CMM-CNRS pour jeunes chercheuses : Appel réservé aux jeunes chercheuses, pour une Chaire CMM-CNRS à Santiago (Chili). Il s’agit de CDD de 4 ans, qui ont pour vocation à déboucher sur un recrutement en CDI avant la fin du contrat. Plus d'informations ici.
  • Handicap PhD grant: a call for handicap PhD grantsis open until April. This grant funds a doctoral contract over 3 years and extension months funded by the Ministry. For the procedure, please contact the doctoral school.
  • Intership funding: As part of the SMARTS-UP Graduate Schools project, Université Paris Cité is launching a call for proposals to fund master's internships for foreign students enrolled in a foreign university. In particular, the graduate schools Mathematical Sciences and Quantum science cover IRIF research themes. To apply, fill this form and send it to smarts-up.mobility@u-paris.fr.

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