==== Lettre de l'IRIF du 17 mars 2023 ====

=== 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.
    * __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]]

  * **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. {{ :intranet:lettre-irif:2023-03-17:elections2023.personnels_vote_electronique_mode_d_emploi.eml |Découvrez ici le mode d'emploi du vote électronique}}. 

  * **[Rappel] Webinaire ERC** : {{ :intranet:lettre-irif:2023-03-17:fwd_diffusion_aux_du_rappel_webinaire_erc_mardi_21_mars_2023_-_14h30.eml |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 ===   

  * **NETYS 2023 / Call for Papers** : The [[http://www.netys.net/|11th International Conference on Networked Systems (NETYS 2023)]] will take place **Marrakech, Morroco on May 22-24, 2023**. Abstract submission: **March 22, 2023** (recommended) and paper submission: **March 29, 2023.** 

  * **Portrait of a PhD student** : **Farzad Jafarrahmani**, former PhD student at IRIF did his thesis under the supervision of Thomas Ehrhard (IRIF) and Alexis Saurin (IRIF). [[https://www.irif.fr/portraits/farzad-jafarrahmani|In this written interview]], he explains what his thesis [[https://sites.google.com/site/farzadjafarrahmani/home/phd-defence?authuser=0|"Fixpoints of Types in Linear Logic from a Curry-Howard-Lambek Perspective is about."]]

  * **EPIT 2023 / Call for participation** : The 50th edition of the [[https://epit.irif.fr/|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 l'accueil de stagiaires de 2nde du 12 au 16 juin === 

{{:intranet:lettre-irif:2023-03-10:semaine-type-stage-2nde.png?400 |}}

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

<color #D9230F>Nous avons besoin de votre participation pour les accueillir dans de bonnes conditions et encadrer ces différentes activités</color>. 
\\ ↪ 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 [[https://ami2023-ms.sciencescall.org/resource/page/id/2|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.
  * [[https://u-paris.fr/?mailpoet_router&endpoint=track&action=click&data=WyI1MzciLCIxMnNwaWs2c3dhZXM4Y2t3b2MwbzBzZ29rbzAwZ3NvZyIsIjU4NCIsImJmMmU0OTlhYmVhNCIsZmFsc2Vd|Fil Info Recherche]] du 16/03/2023
  * {{ :intranet:lettre-irif:2023-03-17:newsletter_de_l_ins2i_-_cnrs_24_15_mars_2023.eml |Newsletter de l'INS2I}} du 15/03/2023
  * [[https://u-paris.fr/sciences?mailpoet_router&endpoint=track&action=click&data=WyIxMzUiLCIxMnlqeGxyMXd6ZzBzNGtvOGswNHc4Zzh3ODBza2NvOCIsIjQzIiwiYzc5ZTVhYjhhYWJmIixmYWxzZV0|L'actualité de la Faculté des Sciences]] du 14/03/2023 
  * [[https://intranet.cnrs.fr/delegations/dr1/Pages/Lettreinterne.aspx?IdLettre=30|CNRS interne]] du 10/03/2023  

=== Agenda de la semaine du 20 mars au 24 mars === 

<panel>

[[:seminaires:verif:|Vérification]] · Lundi 20 mars, 11:00, 1007 and [[https://u-paris.zoom.us/j/89886269671?pwd=QlgvOVBmdjZTVGZqamdOWVdSWWU5UT09|Zoom link]] · \\ **Eric Munday** (University of Edinburgh), //Strategy complexity of lim sup in countable MDPs//

[[:seminaires:algocomp:|Algorithmes et complexité]] · Mardi 21 mars, 11:00, Room 3052 · \\ **Xavier Coiteux-Roy** (TUM), //Any physical theory of nature must be boundlessly multipartite nonlocal//

[[:seminaires:numeration:|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//

[[:seminaires:asd:|Algorithmes et structures discrètes]] · Mercredi 22 mars, 15:00, 3052 · \\ **Michail Lampis** (LAMSADE), //First Order Logic on Pathwidth Revisited Again//

[[:seminaires:pps:|Preuves, programmes et systèmes]] · Jeudi 23 mars, 10:30, Room 3052 & online ([[https://u-paris.zoom.us/j/84381797685?pwd=WG1ZSnhnYi81MnhsTFB6S2krM0E2Zz09|Zoom link]]) · \\ **Giulio Manzonetto** (Université Sorbonne Paris Nord), //TBA//

[[:seminaires:ppat:|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)//

[[:seminaires:combi:|Combinatoire énumérative et analytique]] · Jeudi 23 mars, 14:00, Room 1007 · \\ **Jihyeug Jang** (Sungkyunkwan University), //Negative moments of orthogonal polynomials//

[[:seminaires:doctorants:|Séminaire des doctorants]] · Jeudi 23 mars, 16:00, 3052 and [[https://u-paris.zoom.us/j/87901757761?pwd=b3RXRWFUN0hlTGRYVzZyeEFESWZ4UT09|Zoom link]] · \\ **Robin Vacus**, //TBA//

[[:seminaires:automates:|Automates]] · Vendredi 24 mars, 14:00, Room 3052 · \\ **Quentin Manière**, //Counting queries in ontology-based data access//

[[:seminaires:greta:|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//

</panel>