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

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


Actualités


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é :

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

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