==== Lettre de l'IRIF du 22 avril 2022 ====

=== 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 {{ :intranet:lettre-irif:2022-04-22:invitation_to_irif_end_of_the_year_activity.eml |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 [[https://www.lip6.fr/75ans/?guest=Soiree|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 ===  

  * **FILOFOCS / Call for participation** : The [[http://filofocs.org/|9th French-Israeli Workshop on Foundations of Computer Science (FILOFOCS 2022)]] will take place on **June 15-16, 2022** at Tel-Aviv University. For more information about the workshop and a (partial) list of speakers please visit [[https://www.filofocs.org/filofocs-2022]]. **Registration is free, but mandatory by June 5.**

  * **WRPM 2022** : For those interested in **reverse mathematics**, a few colleagues (including Laurent Bienvenu, Ludovic Patey and Benoît Monin) are [[https://wrmp2022.sciencesconf.org|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 [[https://u-paris.zoom.us/j/89449655391?pwd=c1BOeFB0b25sNU1xMDduMGptUkhwZz09|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 === 

{{:intranet:lettre-irif:2022-04-22:soiree-2022-05-09.jpg?200 |}}
Le **LIP6** et l’**IRIF** ont le plaisir de vous inviter au [[https://www.lip6.fr/75ans/?guest=Soiree|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é** : {{ :intranet:lettre-irif:2022-04-22:smarts-up_22-23_lancement_2e_appel.eml |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 {{ :intranet:lettre-irif:2022-04-22:smarts-up22-23guidelines-appel2.pdf |eligibility requirements}} and {{ :intranet:lettre-irif:2022-04-22:smarts-up_applicationform.docx |Application form}}. **Deadline: April 30th, 2022.**
 
  * **Université Paris Cité / Contrats Doctoraux Handicap** : Les dossiers de candidature pour les {{ :intranet:lettre-irif:2022-04-22:fwd_rappel_appel_a_candidatures_contrats_doctoraux_handicap.eml |contrats doctoraux handicap}} sont à transmettre par mail à [[ufr-ed386@math.univ-paris-diderot.fr]] pour le **02 mai 2022 (dernier délai).** 

**Newsletter des partenaires** : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.
    * [[https://intranet.cnrs.fr/delegations/dr1/Pages/Lettreinterne.aspx?IdLettre=14|CNRS interne]] du 21/04/2022
    * [[https://u-paris.fr/?mailpoet_router&endpoint=track&action=click&data=WyI1MzAiLCIxYXFleHU4ZjFrOXc0Z3drZ3c0azRzMDAwc2dnbzg4YyIsIjM4NSIsIjBmZjE4MjE4OTM0MyIsZmFsc2Vd|Université Paris Cité Infos]] du 21/04/2022
    * [[https://u-paris.fr/?mailpoet_router&endpoint=view_in_browser&action=view&data=WzYzNiwiN2NiYWY3ZjllMTBmIiwwLDAsMCwxXQ|L'actualité étudiante]] d'Université Paris Cité du 21/04/2022
    * [[https://u-paris.fr/?mailpoet_router&endpoint=track&action=click&data=WyI1MzciLCIxMnNwaWs2c3dhZXM4Y2t3b2MwbzBzZ29rbzAwZ3NvZyIsIjM4MiIsIjZkMTU4ZDgzMzBkNyIsZmFsc2Vd|Fil Info Recherche]] du 19/04/2022
    * [[http://www.cnrs.fr/CNRS-Hebdo/iledefrance-villejuif/lettre.php?numero=614|CNRS Hebdo]] du 15/04/2022
    * [[http://click.revue.email/ss/c/XN2t88CAhalHja1RClwc6nfV-nStt3kVsgZH5NOVlm0s4-JsRnL-EwwY36x0vLmBdQSS-qlw9MAmAHhTsikDIjGxldb4QTFXzYJqzuGfT6eKVwZEXonuSimEG7JG1JlcyGkY6KsykJS-WPCZyoxjwkQZZE-zpCa8ge1Qw-i_61HQKvjmhAqqRc2-27S_AhQ5YOPzGOSY4CndfN34rAGNRxpZkFL0ZW4zriYQIslAki6JU8Zk1i9roQXsbDygcnvc/3l8/PvfUsLvHQWGDF_1hMJ-Jcw/h1/R8Dst1PLzOV6jyih3VMXdd2UvSxatluXFGOeYXh9uMo|Newsletter de l'INS2I #5]] du 15/04/2022
    * [[https://u-paris.fr/diip?mailpoet_router&endpoint=track&action=click&data=WyI1MTIiLCJzdGxwMmJnYmU5Y3M0a3dzZ3M0a2Nvc29rODRvdzRncyIsIjMiLCIzNDBmYzM1YjYxYmIiLGZhbHNlXQ|Newsletter diip]] d'avril 2022
  
\\ 
=== Agenda de la semaine du 25 avril au 29 avril === 

<panel>

[[:seminaires:semantique:|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//

[[:seminaires:algocomp:|Algorithmes et complexité]] · Mercredi 27 avril, 16:00, Room 3052 · \\ **Hamoon Mousavi** (Columbia University), //Nonlocal Games, Compression Theorems, and the Arithmetical Hierarchy//

[[:seminaires:pps:|Preuves, programmes et systèmes]] · Jeudi 28 avril, 10:30, Room 3052 · \\ **Antonino Salibra** (IRIF & Università Ca'Foscari), //Universal clone algebra//

[[:seminaires:doctorants:|Séminaire des doctorants]] · Jeudi 28 avril, 16:00, Room 3052 · \\ **Félix Castro**, //An interpretation of E-HA^ω inside HA^ω//

[[:seminaires:acs:|Analyse et conception de systèmes]] · Vendredi 29 avril, 10:30, Room 1007 · \\ **Ghiles Ziat** (IRIF), //Reading group: "Principles of Abstract Interpretation", P. Cousot//

</panel>