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 !
* 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.
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.
Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.
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