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

  • 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.

  • 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.


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.


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

  • 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.

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