Edito

Cette semaine, une invitation à l'activité de fin d'année organisée par l'IRIF et un rappel pour participer au cocktail de célébration des 75 ans d'informatique en France. Découvrez dans le focus le détail du programme de la soirée.

Côté actualités scientifiques, l'appel à participation à FILOFOCS, un workshop on reverse mathematics et le prochain séminaire diiP. Pour les étudiant·es internationaux en Master, plusieurs bourses individuelles dans le cadre du programme SMARTS-UP 22-23, dont l'EUR Technologies Quantiques. Et un rappel concernant les contrats doctoraux handicap.

Bonne lecture !

Annonces de la direction

  • IRIF End of the year activity : As an end of the year activity, IRIF and the Gender Equality committee is inviting you to a “theatrical debate” on questions around discriminations and inequality in the work environment. The “theatrical debate” will be followed by an outdoor lunch. The first part of the activity (“theatrical debate”) will take place on Friday, June 10th from 10:00 am to 12:00, room 580 F (salle des thèses) on the Grands Moulins campus of Université Paris Cité. The second part of the activity (outdoor lunch) will take place on Friday, June 10th from 12:00 pm to 2:00 pm, outside Sophie Germain building. To attend the event, please RSVP by May 5th, 2022 using this form https://framaforms.org/end-of-the-year-activity-attendance-1649248796.
  • 75 ans d'informatique / LIP6 : Le 9 mai 2022 à 18h00, le LIP6 et l’IRIF ont le plaisir de vous inviter au cocktail de célébration des 75 d’informatique en France. L’événement se déroulera dans le grand auditorium du campus Pierre et Marie Curie et la soirée sera suivie d’un cocktail dînatoire, dans le foyer de l’auditorium. Découvrez dans le focus le détail du programme de la soirée. Inscription gratuite mais obligatoire avant le 20 avril 2022 : https://vote.lip6.fr/index.php/563782.


Actualités

  • WRPM 2022 : For those interested in reverse mathematics, a few colleagues (including Laurent Bienvenu, Ludovic Patey and Benoît Monin) are organizing a workshop at the U. of Chicago Center (in front of Grand Moulins, rue Thomas Mann) 13-17 June. See https://wrmp2022.sciencesconf.org/ (program not finalized yet).
  • Data Intelligence Institute of Paris / Next seminar : The next diiP seminar, Knowledge-guided Data Science will be presented on Zoom on May 18th, 2022, at 4 PM (Central European time) by Shen Liang. He has worked on a variety of data management and mining problems including time series analysis, semi-supervised learning, knowledge-guided deep learning and GPU-accelerated computation within various fields such as healthcare, manufacturing, geosciences and astrophysics.


Focus sur la soirée des 75 ans d'informatique en France

Le LIP6 et l’IRIF ont le plaisir de vous inviter au cocktail de célébration des 75 d’informatique en France. Cet événement organisé par le LIP6 propose de souligner, au cours d'une soirée, ces 75 années qui ont fait naître et évoluer les deux laboratoires, depuis leur passé commun jusqu’à leurs projets actuels. L’événement se déroulera le 9 mai 2022 à 18h00 dans le grand auditorium du campus Pierre et Marie Curie. La soirée sera suivie d’un cocktail dinatoire, dans le foyer de l’auditorium. RSVP à ce lien : https://vote.lip6.fr/index.php/563782.

PROGRAMME
Cette partie de la soirée sera animée par Paul de Brem, journaliste scientifique.
Session 1 : Frédéric Magniez, directeur de l’IRIF (Université Paris Cité/CNRS) et Fabrice Kordon, directeur du LIP6 (Sorbonne Université/CNRS)
Session 2 : Gérard Assayag (STMS, Ircam/Sorbonne Université/CNRS) et Eleni Diamanti (LIP6, Sorbonne Université/CNRS)
Session 3 : Claire Mathieu (IRIF, Université Paris Cité/CNRS)
Session 4 - Les institutionnels : Nathalie Drach-Teman (Présidente de Sorbonne Université), Christine Clerici (Présidente de l'Université Paris Cité), Antoine Petit (Président Directeur Général du CNRS), Bruno Sportisse (Président Directeur Général d'Inria)
Session 5 : Jean-Gabriel Ganascia (LIP6, Sorbonne Université/CNRS)
Session 6 : Orlando Chuquimia (ancien doctorant LIP6, Sorbonne Université/CNRS), Marcin Detyniecki (ancien chercheur CNRS au LIP6 - AXA) et Serge Fdida (LIP6, Sorbonne Université/CNRS)
Session 7 : Isabelle Guerin-Lassou (ancienne membre de l'IRIF, Université Claude Bernard Lyon 1)
Session 8 : Roberto Di-Cosmo (ancien membre de l'IRIF, Software Heritage) et Mihaela Sighireanu (ancienne membre de l'IRIF, LMF ENS de Paris-Saclay/CNRS)

Appels d'offres et informations des partenaires

  • SMARTS-UP 22-23 International scholarships / Université Paris Cité : SMARTS-UP International scholarships for Master’s students is a programme led by the university Paris Cité, aiming at promoting the internationalisation of Master's programmes and helping to attract the best international students to constitute a pool of excellent potential future PhD students. The graduate school on Quantum Technologies is participating to this programme. Awardees will receive € 8,000 for a maximum of 6 individual scholarships. More details on eligibility requirements and Application form. Deadline: April 30th, 2022.

Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.


Agenda de la semaine du 25 avril au 29 avril

Sémantique · Mardi 26 avril, 16:30, Exposé en ligne depuis San Diego sur galene ·
Chaitanya Leena Subramaniam (University of San Diego), The universal algebra of dependently typed theories

Algorithmes et complexité · Mercredi 27 avril, 16:00, Room 3052 ·
Hamoon Mousavi (Columbia University), Nonlocal Games, Compression Theorems, and the Arithmetical Hierarchy

Preuves, programmes et systèmes · Jeudi 28 avril, 10:30, Room 3052 ·
Antonino Salibra (IRIF & Università Ca'Foscari), Universal clone algebra

Séminaire des doctorants · Jeudi 28 avril, 16:00, Room 3052 ·
Félix Castro, An interpretation of E-HA^ω inside HA^ω

Analyse et conception de systèmes · Vendredi 29 avril, 10:30, Room 1007 ·
Ghiles Ziat (IRIF), Reading group: “Principles of Abstract Interpretation”, P. Cousot