Mail original Bonjour à tous, Alors que les résultats des appels postdocs et chaires de la FSMP sont tombés cette semaine, les programmes doctoraux internationaux s’ouvrent à la FSMP et à Paris Diderot (nouveau programme). Ne manquez pas les deadlines. Ne manquez pas non plus lundi prochain la journée du pôle Automates, structures et vérification, avec des invités des deux autres pôles. Pour l’équipe de direction (Eva, Frédéric, Giuseppe), Frédéric Annonces de la direction - L’espace de détente du 3e étage (face à l’espace café) est ouvert ! - Trop de SPAM ? Il est possible d’activer simplement le filtre de la plateforme informatique. Il suffit de mettre à jour ses filtres comme indiqué sur l’intranet : https://www.irif.fr/intranet/mail - Les pages de séminaires ont maintenant un affichage fluide. Merci à la commission de diffusion scientifique pour son travail. - Les jurys chaires et postdocs de la FSMP se sont réunis en début de semaine. L’IRIF a obtenu 1 chaire et 2 postdocs : - Chaire : Leonid Libkin https://www.sciencesmaths-paris.fr/fr/laureats-chaires-fsmp-188.htm - Postdocs : Amar Hadzihasanovic, Manon Stipulanti https://www.sciencesmaths-paris.fr/fr/laureats-post-docs-180.htm - Deux programmes de financement de thèses internationales sont ouverts respectivement à la FSMP et à Paris Diderot. Les deadlines sont proches. L’ensemble des programmes de financement de thèses ainsi qu’une description des études doctorales à l’IRIF est disponible sur le site de l’IRIF : https://www.irif.fr/postes/these Actualités scientifiques - Guillaume Chapuy and Enrica Duchi from IRIF coorganize with Christina Goldschmidt (Oxford) the Journées Aléa 2019 , a CNRS thematic school about discrete random structures , from 03-18 to 03-22 at CIRM. Register by January 23. http://gt-alea.math.cnrs.fr/alea2019/ - Giuseppe Castagna, Victor Lanvin, Tommaso Petrucciani from IRIF present this week at POPL19 a paper coauthored with Jeremy Siek (Indiana university) about a new formal framework for gradual typing allowing a smoother and more declarative integration of gradual typing in existing programming languages. https://www.irif.fr/~gc/papers/popl19.pdf - The day of the ASV pole will take place Monday January 21. https://www.irif.fr//en/asvday2019 Notion de la semaine A cyber-physical system (CPS) is a mechanism that is controlled or monitored by computer-based algorithms. In cyber-physical systems, physical and software components are deeply intertwined, each operating on different spatial and temporal scales. Examples of CPS include smart grid, autonomous automobile systems, medical monitoring, process control systems, robotics systems, and automatic pilot avionics. Informations des partenaires Liste des emails joints en pièces attachées : - Paris Diderot : Journée d’ information sur les projets ANR le mercredi 30 janvier de 14h à 18h destinée à tous les enseignants-chercheurs ou chercheurs déposant des projets avec l’université. Inscription obligatoire. - Paris Diderot : Venez rencontrer l’équipe de la Direction de la Recherche, de l'Innovation, de la Valorisation et des Études Doctorales (DRIVE) à l' Open DRIVE du jeudi 31 janvier 16h