==== Lettre de l'IRIF du 24 juin 2022 ==== === Edito === 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 ! === Annonces de la direction === * **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 [[https://www.math.univ-paris-diderot.fr/formations/doctorats/index|inscriptions / réinscriptions]]. {{ :intranet:lettre-irif:2022-06-24:fwd_dir-de-these-21-22_proce_dure_de_re_inscription_d2_-_d3_-_d4_et_.eml |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é, [[https://www.google.com/maps/place/12+Rue+de+l'École+de+Médecine,+75006+Paris/@48.8516554,2.3410084,17z/data=!3m1!4b1!4m5!3m4!1s0x47e671de8164e5f3:0x6046f056df018732!8m2!3d48.8516554!4d2.3410084|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** [[https://sdstm.math-info-paris.cnrs.fr/shared/Pw2APoyZC8oqUEppybZQ0xknsbpVI-BSroAV_4pZmWU|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 ! \\ === Actualités === * **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 [[https://www.irif.fr/~greta/event/2022-jun-29/|John Baez presenting on "Compositional Modeling with Decorated Cospans"]]. * **Workshops in June-July related to IRIF** * [[https://lipn.univ-paris13.fr/~mazza/DiffProgWorkshop/|Workshop on Differentiable Programming]], June 29-30, Université Paris Cité * [[https://www.college-de-france.fr/site/xavier-leroy/symposium-2021-2022.htm| Colloque Probabilistic Programming]], June 29-30, Collège de France * **Conferences in June-July related to IRIF** * **Conference Highlights** : The [[https://highlights-conference.org/2022/|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é. [[https://icalp2022.irif.fr/?page_id=46|More informations about the workshops]]. * __Conference ICALP__: **July 5-8** at la Halle aux Farines of Université Paris Cité. [[https://icalp2022.irif.fr/?page_id=42|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. ... [[https://www.mathunion.org/icm/icm-2022/virtual-icm-2022-program-sections|More information here]]. \\ === Invitation au cocktail vernissage de l'exposition "50 years of Theoretical Computer Science" === {{:intranet:lettre-irif:2022-06-24:twitter-invit.jpg?600 |}} 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 [[https://icalp2022.irif.fr/?page_id=48|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é. \\ === Appels d'offres et informations des partenaires === * **Informations sur la préparation au concours de l'agrégation d'informatique** : La [[https://agreg-info.org/|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. {{ :intranet:lettre-irif:2022-06-24:gdr-im_informations_sur_la_pre_paration_au_concours_de_l_agre_gation_d_informatique.eml |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'[[https://u-paris.fr/sciences?mailpoet_router&endpoint=track&action=click&data=WyIxNDQiLCJybWw3ZGJwOHdkY2tnODRvMGtvNDg0c2tvazhza29vOCIsIjE3IiwiOWQyNDgzNGY5MzlhIixmYWxzZV0|ordre du jour du conseil de la Faculté des Sciences]] qui aura lieu le **24 juin.** Les [[https://u-paris.fr/sciences?mailpoet_router&endpoint=track&action=click&data=WyIxNDQiLCJybWw3ZGJwOHdkY2tnODRvMGtvNDg0c2tvazhza29vOCIsIjE3IiwiMjYzMDRjZDVlNjBiIixmYWxzZV0|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 {{ :intranet:lettre-irif:2022-06-17:tutoriel_help_utilisateurs_upcite_juin_2022-1.pdf |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. * [[http://www.cnrs.fr/CNRS-Hebdo/iledefrance-villejuif/lettre.php?numero=618|CNRS Hebdo]] du 24/06/2022 * [[https://u-paris.fr/diip?mailpoet_router&endpoint=view_in_browser&action=view&data=WzEwLDAsNTEyLCJzdGxwMmJnYmU5Y3M0a3dzZ3M0a2Nvc29rODRvdzRncyIsNiwwXQ|diiP Newsletter]] of June 2022 * [[https://intranet.cnrs.fr/delegations/dr1/Pages/Lettreinterne.aspx?IdLettre=18|CNRS interne]] du 17/06/2022 \\ === Agenda de la semaine du 27 juin au 01 juillet === [[:seminaires:verif:|Vérification]] · Lundi 27 juin, 11:00, 3052 and [[https://u-paris.zoom.us/j/87413678251?pwd=Wmg5cTNuSy9XMnFNdlJhRFkrR3F5dz09|Zoom link]] · \\ **Nicolas Waldburger** (IRISA − Université de Rennes 1), //Parameterized Safety Verification of Round-Based Shared-Memory Systems// [[:seminaires:algocomp:|Algorithmes et complexité]] · Mardi 28 juin, 11:00, Room 3052 · \\ **Rajat Mittal** (IIT Kanpur), //Quantum query complexity (what, why and how)// [[:seminaires:algocomp:|Algorithmes et complexité]] · Mardi 28 juin, 15:00, Room 3052 · \\ **Manaswi Paraashar** (Aarhus University), //Quantum weirdness in query-to-communication simulation and the role of symmetry// [[:seminaires:greta:|Graph Transformation Theory and Applications]] · Mercredi 29 juin, 19:00, online · \\ **John Baez** (Department of Mathematics, University of California, Riverside, USA), //★★★ GReTA Special Event ★★★ Compositional Modeling with Decorated Cospans// [[:seminaires:combi:|Combinatoire énumérative et analytique]] · Jeudi 30 juin, 14:00, Room 1007 · \\ **Lucia Rossi** (Graz), //Limit words for $N$-continued fractions// [[:seminaires:acs:|Analyse et conception de systèmes]] · Vendredi 01 juillet, 10:30, Room 3052 · \\ **Jean-Baptiste Tristan** (Boston College), //Probabilistic Programming and Molecular Optimization//