Lettre de l'IRIF du 24 mars 2023 Edito Dans la lettre cette semaine, un point conseil de labo, une information liée aux travaux dans le bâtiment et à la formation premiers secours. Prenez note du lancement de l'enquête des écoles doctorales 2023 ainsi que du lancement de la campagne CD Handicap. Enfin, une annonce de la commission IRIF&environnement, un rappel à propos du Chat Zulip et des postes d'ATER disponibles. Côté actualités scientifiques, ETAPS 2023 et EPIT 2023. Du côté de nos partenaires, un atelier thématique proposé par le CNRS, l'atelier Iran de Campus France, 2 opportunités de mobilités pour le personnel UPC avec Circle U et des chiffres sur l’égalité femmes-hommes dans l’ESR. Le focus cette semaine s'intéresse au théâtre-forum organisé par la mission égalitéS de la Faculté des Sciences. Bonne lecture ! Annonces de la direction Conseil de laboratoire Le compte rendu du dernier conseil de laboratoire est disponible ici. Le prochain conseil de laboratoire aura lieu le mardi 11 avril de 13h à 14h30 en salle 3052. L'ordre du jour est le suivant : changement de responsable pour équipe combinatoire changement de composition de la commission égalités, approbation du règlement intérieur, trajectoire pour le rapport HCERES, Vous pouvez consulter la version provisoire de travail du règlement intérieur à cette adresse et envoyer vos remarques et suggestions à vos représentants du conseil de laboratoire. Enquête des écoles doctorales 2023 : L'enquête sur les effectifs de doctorants et docteurs des écoles doctorales est reconduite en 2023. Ces éléments sont à renseigner avant le 14 avril. Le formulaire enquête est disponible ici. Construction works: A number of desks and chairs will be stored, those in very poor condition will be discarded. Take advantage of this cleaning to throw away your chair or desk in bad condition by contacting secretariat@irif.fr to exchange your furniture in bad condition with those intended for storage. * Trainees welcome meeting: The welcome meeting for this year's trainees at IRIF will be on Tuesday at 9:30 in room 3052. Croissants and other pastries will be served. IRIF&environnement : Focus on the perspective column of our colleague Antoine Amarilli in the EATCS Bulletin of February, “Should conferences still require mandatory attendance?”. Link: http://bulletin.eatcs.org/index.php/beatcs/article/view/754. Formation aux premiers secours : Nous souhaitons organiser une formation aux premiers secours dans les locaux de l'IRIF en septembre-octobre 2023. Pour recenser les volontaires et trouver le créneau le plus favorable, merci de compléter ce sondage si vous êtes intéressé. La formation sera en français. Lancement de la campagne CD Handicap 2023 : La campagne nationale « Doctorat Handicap » 2023 du Ministère de l’enseignement supérieur et de la recherche est ouverte. Cette campagne permet le financement de contrats doctoraux sur 3 ans pour un début de contrat au 1er octobre 2023 et de mois de prolongation réservés aux contrats « Handicap » obtenus en 2020. Les dossiers sont à transmettre à l’ED avant le 30 Mars 2023. [Rappel] Chat Zulip : Members of the lab are welcome to connect to the chat of the lab. Go to https://zulip.irif.fr/login/ with your login and password. [Rappel] Postes d'ATER disponibles : Cinq postes d'ATER en informatique plus deux postes susceptibles d'être vacants vont être mis au concours à l'UFR d'Informatique de l'Université Paris Cité pour l'année universitaire 2023–2024. L'enseignement est à effectuer dans l'ensemble des cursus où l'UFR d'informatique intervient, tout particulièrement dans la licence Informatique et le master Informatique Fondamentale et Appliquée. Les candidatures sont sollicitées sur les thématiques de l'informatique fondamentale et devront s'intégrer dans une ou plusieurs équipes thématiques de l'IRIF. Pour candidater et connaitre la liste des documents à déposer : https://u-paris.fr/ater-lecteurs-maitres-de-langues-enseignants-associes/ Les documents de candidature sont à déposer sur la plate-forme de recrutement de l'Université Paris Cité jusqu'au 11 avril 2023 à 23h59 (heure de Paris) à l'adresse https://emploi.u-paris.fr/chercher-une-offre (numéro du poste est 7863) Contacts enseignement : Carole Delporte cd@irif.fr, Hugues Fauconnier hf@irif.fr, Ralf Treinen treinen@irif.fr Contacts recherche : Responsables de pôle ou d'équipe thématique - https://www.irif.fr/informations/presentation Actualités ETAPS 2023 : ETAPS 2023, the European joint conferences on theory and practice of software, is scheduled to take place on 22—27 April 2023 in Paris at Campus Pierre & Marie Curie and is organized by Sorbonne Université and Sorbonne Paris Nord. [Rappel] EPIT 2023 / Call for participation : The 50th edition of the EPIT (École de Printemps d'Informatique Théorique) will have as theme The Kaleidoscope of Complexity Theory and will take place the week from the 12th to the 16th of June, 2023, at the Vieille Perrotine CAES/CNRS holiday center on Oléron Island. Registration is now open : https://epit2023.sciencesconf.org/resource/page/id/3. Focus sur le Théâtre Forum de la mission égalitéS de la Faculté des Sciences La mission égalitéS de la Faculté des Sciences et le conseil des écoles doctorales, s'associent pour proposer un théâtre-forum ayant pour thème le harcèlement et intitulé « Ce qu'il en coûte » par la troupe « Synergies ». 4 séances sont proposées courant avril dans différents lieux de UPCité : Mardi 04 Avril à 17h30, salle Ancel, site des Cordeliers Mercredi 05 Avril à 17h30, salle Curie A, site des Saints-Pères Mercredi 12 Avril à 17h30, amphi 3B, Halle aux Farines, site des Grands Moulins Jeudi 13 Avril à 17h30, site Odéon ou IPGP (plus d’informations sur la salle à venir) Ces représentations sont ouvertes à l’ensemble des doctorant·es de UPCité et aux encadrant·es. Si vous êtes interessé·e merci de vous inscrire à l’une d’entre elles via ce lien : https://framaforms.org/theatre-forum-ce-quil-en-coute-inscription-1679058971. Appels d'offres et informations des partenaires CNRS / Atelier thématique : « Comment mettre en place une thèse CIFRE? » le mercredi 12 avril de 13h30 à 14h30 en visioconférence. Ce format court permettra la présentation du dispositif CIFRE et sa mise en œuvre par le CNRS, ainsi qu’un temps d’échanges avec les participants. Lien pour participer à la réunion Zoom ici. Campus France / Atelier Iran : L’Ambassade de France en Iran, en partenariat avec l’Agence Campus France, organise le 23 mai 2023 un Atelier Iran à Paris. Cet événement offrira l’occasion d’aborder différents points de contexte et d’actualité ainsi que d’échanger sur l’évolution du paysage universitaire et scientifique en Iran. Les inscriptions seront gratuites et ouvertes à l’ensemble des représentants d’établissements, dans la limite des places disponibles. L’ouverture des inscriptions débute le 21 mars à 12h00 jusqu’à la clôture le 19 mai 2023. Programme prévisionnel et fiche de participation ici. Université Paris Cité / Opportunités de mobilité : 2 opportunités de mobilités pour le personnel UPC avec Circle U. Staff week à Oslo du 22 au 25 mai Deadline pour s’inscrire : 30 mars Thématique : From top down to bottom up – How to engage the whole university in Circle U. Training day in Vienna du 19 au 20 juin Deadline pour s’inscrire : 27 mars Thématique : Discussion entre homologues de différents services universitaires Ministère de l’enseignement supérieur et de la recherche / Egalité Hommes-Femmes dans l'enseignement supérieur : Le Ministère de l’Enseignement Supérieur et de la Recherche a publié les chiffres clés d’une étude sur l’égalité femmes-hommes dans l’ESR comprenant des données sur le doctorat. Les ressources éditées par le Ministère sont consultables ici. Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. Newsletter de l'ANR de Mars 2023 Université Paris Cité Infos du 24/03/2023 CNRS interne du 24/03/2023 L'actualité étudiante du 23/03/2023 CNRS Hebdo du 20/03/2023 Agenda de la semaine du 27 mars au 31 mars Vérification · Lundi 27 mars, 11:00, 1007 and Zoom link · Lénaïg Cornanguer & Christine Largouët (IRISA Rennes), TAG: Learning Timed Automata from Logs Preuves, programmes et tout ça · Mardi 28 mars, 13:30, Room 3052 · Fabio Massaioli (Scuola Normale Di Pisa) (Scuola Normale di Pisa), A non-trivial proof-semantics for classical sequent calculus (LK) One world numeration seminar · Mardi 28 mars, 14:00, Online · Roland Zweimüller (Universität Wien), Variations on a theme of Doeblin Algorithmes et structures discrètes · Mardi 28 mars, 15:00, 3052 · Lélia Blin (LIP6), Self-Stabilizing Distributed Algorithms Analyse et conception de systèmes · Mercredi 29 mars, 14:00, Room 1007 · François Pottier (Inria), Sémantiques monadiques et sémantiques à pas amples Algorithmique distribuée et graphes · Mercredi 29 mars, 14:00, 3052 · Valentin Bartier (LIRIS), Independent set reconfiguration in sparse graphs Preuves, programmes et systèmes · Jeudi 30 mars, 10:30, Room 3052 & online (Zoom link) · Romain Pascual (Université Paris-Saclay), Graph transformation for reasoning about geometric modeling operations Preuves, programmes et tout ça · Jeudi 30 mars, 13:30, Room 4052 · Nino Salibra (Universita' Ca'Foscari Venezia), A completeness theorem for the infinitary lambda calculus Combinatoire énumérative et analytique · Jeudi 30 mars, 14:00, Room 3052 · Slim Kammoun (IMT (Université de Toulouse)), Permutations et cycles Combinatoire énumérative et analytique · Jeudi 30 mars, 15:00, Room 3052 · Jorge Alberto Olarte (CUNEF Universidad (Madrid)), Positivity for tropical flag varieties Séminaire des doctorants · Jeudi 30 mars, 16:00, 3052 and Zoom link · Shamisa Nematollahi, Submodular Maximization Problem Automates · Vendredi 31 mars, 14:00, Room 3052 · Leon Bohn, TBA