Cette semaine, une annonce à propos des projets de nouvelle thèse, changement ou échange de bureau et un rappel sur les visiteurs. Veuillez noter également une fermeture exceptionnelle du secrétariat et les détails pour les demandes d'accès au bâtiment.

Côté actualités scientifiques, plusieurs événements à venir, le GReTA special event, 2 workshops : Differentiable Programming et Colloque Probabilistic Programming. fin juin-début juillet : la conférence Highlights puis la conférence ICALP.

Du côté de nos partenaires, des informations sur la préparation au concours de l'agrégation d'informatique, le conseil de la Faculté des Sciences et le nouveau portail pour vos demandes d'assistance informatique.

Enfin, un focus sur le cocktail et vernissage de l'exposition 50 years of Theoretical Computer Science.

Bonne lecture !

• Invités : Pour rappel, tout visiteur à l'IRIF, financé ou non, doit être déclaré au secrétariat au moins 2 semaines en avance (et plus en cas de visa, provenance de pays à risque…), quelle que soit la durée du séjour, sur le site https://mission.irif.fr/. Un visiteur non déclaré ne pourra pas profiter d'un badge et d'un bureau.

• Thèse
  • Nouvelle thèse : Prévenir au plus vite secretariat@irif.fr de tout projet de nouvelle thèse à l'IRIF. Après le 1er juillet il ne sera plus possible de garantir un recrutement au 1 octobre.
  • PhD extensions: if you need to get an extension of your PhD contract, you should alert the doctoral school before July, 2nd.
  • Procédure de réinscription : Le site de l’ED386 Université Paris Cité a été mis à jour concernant les inscriptions / réinscriptions. Tous les détails ici.

• Fermeture du secrétariat : Le secrétariat sera fermé durant la matinée du 30 juin.

• Cocktail opening and vernissage of the exhibition 50 years of Theoretical Computer Science, July 5 from 6pm to 10pm. Where? Université Paris Cité, 12, rue de l’école de médecine 75006 Paris. The event is free but registration is mandatory. To register, please send an email to communication+cocktail@irif.fr by June 27th (if not already registered through ICALP'22).

• Office relocation : Anticipating the start of the new academic year in september, when the new members will have to get an office, you have the possibility to change or trade offices. If you wish to do so, please write an email to lesellier@irif.fr before July 1st.

• Accès bâtiment du mardi 26 juillet au lundi 15 août (inclus)
  • Fermeture totale : mardi 26 juillet (coupure des postes électriques), lundi 15 août (jour férié), week-end
  • Accès normal : mercredi 27 juillet
  • Sur demande motivée pour tous les membres de l'IRIF : du jeudi 28 juillet au vendredi 12 août (hors week-end). Durant cette période, les badges d'accès au bâtiment seront désactivés, pour réactiver votre badge, renseigner au plus tard le 8 juillet ce tableau. Pour les stagiaires, la demande doit être validée par l'encadrant qui doit être présent.

• Jeu d'échecs - Jeu de go : Ils sont arrivés dans l'espace détente du 4e étage !

• GReTA special event : On Wednesday, June 29, 2022 19:00 Europe/Paris, GReTA webinar series will hold a special event celebrating the end of our 2021/2022 conference season. The event feature John Baez presenting on "Compositional Modeling with Decorated Cospans".

• Workshops in June-July related to IRIF
  • Workshop on Differentiable Programming, June 29-30, Université Paris Cité
  • Colloque Probabilistic Programming, June 29-30, Collège de France

• Conferences in June-July related to IRIF
  • Conference Highlights : The 2022 edition of Highlights will happen from June 28th to July 1st, 2022, in Paris, France. The conference will be hosted by Université Paris Cité, and happen on the site of Grands Moulins.
  • ICALP 2022, July 4-8
    • 9 workshops: on July 4 at Campus Saint-Germain-des-Prés of Université Paris Cité. More informations about the workshops.
    • Conference ICALP: July 5-8 at la Halle aux Farines of Université Paris Cité. Programme and infos.
  • The International Congress of Mathematicians 2022 (ICM 2022) will take place between 6 - 14 July 2022 as a virtual event. Free registration for the virtual ICM 2022 is open! There will be TCS talks from amazing scientists and speakers including as Gonthier, Hastings, LeCun, Mossel, Vazirani, Vidick, Wigderson, Williams etc. … More information here.

The event is free but registration is mandatory. To register, please send an email to communication+cocktail@irif.fr by June 27th (if not already registered through ICALP'22).

IRIF and its partners are please to invite you to the opening of the exhibition 50 years of Theoretical Computer Science. The event will take place on July 5, 2022 from 6:00 PM at 12, rue de l’École de Médecine 75006 Paris.

After short statements by the cabinet of the Presidency of Université Paris Cité, the EATCS, the organizing committee of the ICALP conference and the scientific committee of the exhibition, a cocktail and appetizers will be offered.

About the exhibition

“I am not sure what got into us that day. The fact remains that almost 40 years later, the field does exist and the number of researchers involved has increased by up to fifty times, if not a hundred.” Maurice Nivat

In Europe, during the 1972 Brussels press conference, Maurice Nivat et Marcel-Paul Schützenberger officially declared the official birth of Theoretical Computer Science. It is during this press event that the three main chapters of the field are stated: the theory of automata and languages, algorithmics and programming theory.

The exhibition “50 years of Theoretical Computer Science” highlights the 50th anniversary of the ICALP conference and of the creation of EATCS. Through a historical tour and an overview of some key themes, the exhibition offers a dive into this field, often way too little known.

The exhibition will then be presented during ICALP conference from July 6-8 in the Hall Marguerite Duras, campus Grands Moulins of Université Paris Cité.

• Informations sur la préparation au concours de l'agrégation d'informatique : La première édition du concours de l’agrégation d’informatique a eu lieu cette année. Il existe trois prépas au concours de l’agrégation d’Informatique : les ENS de Rennes et Lyon et une prépa parisienne regroupant plusieurs établissements. Cette formation est ouverte aux titulaires d’un M2 (ou équivalent) et aux docteurs ; elle peut aussi être proposée dans certains cas en distanciel. Une réunion d’information en visio est proposée pour les personnes intéressées par cette formation le Mardi 28 Juin à 10h.

• Université Paris Cité / Conseil de la Faculté des Sciences : Consultez ici l'ordre du jour du conseil de la Faculté des Sciences qui aura lieu le 24 juin. Les PV et les délibérations sont accessibles, au fur et à mesure de leur approbation.

• Université Paris Cité / Nouveau portail pour vos demandes d'assistance informatique : À compter du lundi 27 juin, un nouveau service d’assistance informatique nommé HELP accompagnera les usagers d'Université Paris Cité. Vous pourrez y accéder via votre compte Université Paris Cité en cliquant sur le lien suivant : http://help.app.u-paris.fr.

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

• CNRS Hebdo du 24/06/2022
• diiP Newsletter of June 2022
• CNRS interne du 17/06/2022