Edito

Dans la lettre cette semaine, plusieurs postes d'ATER en informatique sont vacants, un suivi sur la commission IRIF&environnement, le webinaire ERC et un rappel sur les élections universitaires à venir. Côté actualités scientifiques, un appel à soumission pour NETYS 2023 et un appel à participation pour EPIT 2023. A lire, le portrait de Farzad Jafarrahmani, ancien doctorant à l'IRIF. Du côté de nos partenaires, l'appel AMI-Médiation scientifique lancé par la Faculté des Sciences.

Le focus cette semaine s'intéresse à l'accueil des stagiaires de 2nde. Nous avons besoin de votre participation pour les accueillir dans les meilleures conditions.

Bonne lecture !

Annonces de la direction

  • 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.
  • IRIF&environnement : The “scenarios” axis of the IRIF&environment committee meets every Friday at 12:00 in room 3052. Next week (March 24th) we will discuss what CS conferences should look like in the future. Please feel free to join!
  • Elections universitaires : vérifiez sur la plateforme Legavote que vous êtes bien inscrit sur les listes électorales. Les doctorants, les ATER et les chargés d'enseignement vacataires effectuant plus de 64h équivalent TD en 2022-2023, vous pouvez faire la demande pour figurer sur la liste électorale des personnels. Découvrez ici le mode d'emploi du vote électronique.
  • [Rappel] Webinaire ERC : Webinaire sur les bourses ERC le 21/03/2023 à 14h30 (durée: 1h30). Lien d'inscription ici. Clôture des inscriptions la veille du webinaire. Pour rappel, il existe trois types d’appels ERC :
    • Les appels ERC Starting : ils s'adressent aux chercheurs dont la carrière se situe entre 2 et 7 ans après l'obtention du diplôme de thèse
    • Les appels ERC Consolidator : ils s'adressent aux chercheurs dont la carrière se situe entre 8 et 12 ans après l'obtention du diplôme de thèse
    • Les appels ERC Advanced : ils s'adressent aux chercheurs dont la carrière se situe au-delà des 12 ans après l'obtention du diplôme de thèse


Actualités


Focus sur l'accueil de stagiaires de 2nde du 12 au 16 juin

Du 12 au 16 juin 2023, l'IRIF aura le plaisir d'accueillir au moins 6 élèves de 2nde dans le cadre de leur stage d'observation. Ce stage constitue une opportunité unique pour faire découvrir aux élèves l'informatique et les métiers académiques correspondants. Le programme que nous leur proposons habituellement se décompose comme suit :

  • Présentation du laboratoire par la direction et le secrétariat de l’IRIF
  • Rencontres/discussions avec des chercheurs·euses
  • Exercices de programmation encadrés par un·e de nos membres
  • Présentations de projets de recherche par un·e de nos membres
  • Entretiens avec des doctorant·es ou postdocs
  • Exposés scientifiques vulgarisés présentés par un·e de nos membres

Nous avons besoin de votre participation pour les accueillir dans de bonnes conditions et encadrer ces différentes activités.
↪ Pour participer, écrivez à scolaire@irif.fr en précisant vos disponibilités.


Appels d'offres et informations des partenaires

  • [Rappel] Université Paris Cité / AMI Médiation scientifique : Pour la troisième année consécutive, la Faculté des Sciences lance un appel à manifestation d’intérêt pour accompagner et soutenir ses membres dans leurs initiatives ayant vocation à rendre accessible un sujet de recherche scientifique à un public non spécialiste. Les dossiers doivent être déposés complets sur la plateforme : https://ami2023-ms.sciencescall.org/ - avant le 20 mars 2023 minuit.

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

Agenda de la semaine du 20 mars au 24 mars

Vérification · Lundi 20 mars, 11:00, 1007 and Zoom link ·
Eric Munday (University of Edinburgh), Strategy complexity of lim sup in countable MDPs

Algorithmes et complexité · Mardi 21 mars, 11:00, Room 3052 ·
Xavier Coiteux-Roy (TUM), Any physical theory of nature must be boundlessly multipartite nonlocal

One world numeration seminar · Mardi 21 mars, 14:00, Online ·
Demi Allen (University of Exeter), Diophantine Approximation for systems of linear forms - some comments on inhomogeneity, monotonicity, and primitivity

Algorithmes et structures discrètes · Mercredi 22 mars, 15:00, 3052 ·
Michail Lampis (LAMSADE), First Order Logic on Pathwidth Revisited Again

Preuves, programmes et systèmes · Jeudi 23 mars, 10:30, Room 3052 & online (Zoom link) ·
Giulio Manzonetto (Université Sorbonne Paris Nord), TBA

Preuves, programmes et tout ça · Jeudi 23 mars, 14:00, Room 1007 ·
Fabio Massaioli (Scuola Normale Di Pisa) (Scuola Normale di Pisa), A non-trivial proof-semantics for classical sequent calculus (LK)

Combinatoire énumérative et analytique · Jeudi 23 mars, 14:00, Room 1007 ·
Jihyeug Jang (Sungkyunkwan University), Negative moments of orthogonal polynomials

Séminaire des doctorants · Jeudi 23 mars, 16:00, 3052 and Zoom link ·
Robin Vacus, TBA

Automates · Vendredi 24 mars, 14:00, Room 3052 ·
Quentin Manière, Counting queries in ontology-based data access

Graph Transformation Theory and Applications · Vendredi 24 mars, 15:00, online ·
Elvira Pino And Fernando Orejas (Department of Computer Science, Universitat Politècnica de Catalunya, Spain), A Logical Approach to Graph Databases