Mail original Bonjour à tous, De l’actualité variée cette semaine : l’arrivée d'un nouveau chercheur CNRS à la rentrée, un nouveau prix pour une de nos anciennes étudiantes, et le départ à la retraite d’Odile à la fin du mois accompagné comme il se doit d’un moment de convivialité où tout le laboratoire est convié. N’oubliez pas non plus l’appel de l’UFR aux chercheurs pour des vacations ! Frédéric Annonces de la direction - Recrutement et promotion CNRS Paul-André Melliès est promu DR2 Amaury Pouly est recruté CR2 avec une affectation à l’IRIF au 1er octobre - Formulaire mission : un formulaire en ligne est disponible sur l’intranet dans la catégorie mission. Vous devez maintenant passer uniquement par ce formulaire pour une demande de mission, et surtout attendre le retour du secrétariat avant d’engager vos réservations sur les différents portails de l’Université et du CNRS : https://www.irif.fr/intranet/missions - Besoin URGENT de vacataires à l’UFR : appel aux chercheurs CNRS/Inria du laboratoire L’UFR d’Informatique cherche environ 10 vacataires pour un volume horaire de 24 à 36h par vacataire. Ces vacations permettent d’absorber les surcharges d’enseignements liées aux délégations et détachements à venir sans alourdir le volume annuel d’enseignement des enseignants-chercheurs de l’IRIF. Toute personne intéressée doit contacter de suite l’UFR : direction-ufr@informatique.univ-paris-diderot.fr - Pôt de départ d’Odile Ainardi, mercredi 27 juin, 16h Odile partira à la retraite le 30 juin 2018. Afin de la remercier de ses nombreuses années investies dans le laboratoire, d’abord à PPS puis à l’IRIF, et de lui souhaiter une excellente retraite, le laboratoire organise un pot de départ le mercredi 27 juin à 16h, sur le parvis du bâtiment Sophie Germain afin de profiter de l’été ! Actualités scientifique - Amina Doumane (former PhD student at IRIF, now at LIP) was awarded the Ackermann prize of EACSL for her PhD thesis "On the infinitary proof theory of logics with fixed points”. - TYPES 2018 : Delia Kesner (IRIF) and Matthieu Sozeau (IRIF) will both give invited talks entitled “Multi Types for Higher-Order languages” and “The Predicative, Polymorphic Calculus of Cumulative Inductive Constructions and its implementation” at TYPES 2018, held in Braga (Portugal), June 18-21. https://types2018.projj.eu/invited-talks/ - Elections aux conseils scientifiques du CNRS et de ses instituts: deadline 10 juillet 2018 https://www.dgdr.cnrs.fr/elections/ Le laboratoire est concerné par les élections aux CS du CNRS, mais aussi deux des instituts INS2I et INSMI. Plusieurs membres de l’IRIF sont candidats : - Claire Mathieu : CS CNRS, collège A1 (les électeurs sont les DR CNRS) - Giuseppe Castagna : CS INS2I, collège A1 (les électeurs sont les DR CNRS relevant de l'INS2I) - Christine Tasson : CS INS2I, collège B2 (les électeurs sont les CR non CNRS et les MCF relevant de l'INS2I) Notion de la semaine - Knot theory studies mathematical knots. These are like the usual shoelaces and rope knots but with the difference that the ends of the string are joined together so that it cannot be undone. Of particular interest is the study of when two knots are equivalent, that is when one can be transformed into the other without cutting the string or passing the string through itself. The theory has applications in physics, biology, chemistry, and computer science. For instance, the security of some quantum money relies on the assumption that given two different looking but equivalent knots, it is difficult to explicitly find a transformation that takes one to the other. Informations des tutelles et partenaires Liste des emails joints en pièces attachées : - Ecole doctorale : Bourses de thèse de l'Ecole doctoralen deadline 20 juin. Informer Ahmed Bouajjani : Ahmed.Bouajjani@irif.fr - P7 : Changement de badges, les 20 et 21 juin en 1005-1006, ou après au PC sécurité - P7 : Monitorat , deadline 4 juillet - FSMP : Yann LeCun est l'invité des Ve Rencontres Math Innov, qui auront lieu le jeudi 28 juin 2018 sur le thème Intelligence artificielle et mathématiques