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


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 :

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

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