Mail original Bonjour, Beaucoup de rendez-vous d’ici début juillet à ne pas manquer. Notez aussi un appel à vacataires parmi les chercheurs du laboratoire. Frédéric Annonces de la direction - 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 - Profils de postes UFR Informatique 2019 En vue des réunions prochaines au conseil scientifique de l’UFR pour établir les profils des demandes de postes pour 2019, le laboratoire établit ses priorités en consultant responsables de pôles et d’équipes thématiques le 11 juin 2018 . - Bourses de thèses en cours : Voir les mails en pièces attachées concernant les 2 programmes ci-dessous : - Bourses de thèse JP Aguilar - Fondation CFM pour la Recherche : deadline 11 juin - Bourses de thèse de l'Ecole doctorale : deadline 20 juin Dans les deux cas informer Ahmed Bouajjani : Ahmed.Bouajjani@irif.fr - Prochain conseil de laboratoire, 26 juin, 13h Ordre du jour provisoire - classement des candidats IRIF pour une bourse de thèse de l’Ecole doctorale - v alidation du règlement interne: https://www.irif.fr/_media/intranet/reglement-interieur.pdf - point sur les procédures d'associatin Rappel : A titre expérimental, tout membre du laboratoire peut demander jusqu’à une semaine à l’avance à assister au conseil de laboratoire en tant que spectateur ne participant pas aux débats (sous réserve de validation par la direction, notamment compte tenu de la taille de la salle du conseil). - Assemblée générale du laboratoire, vendredi 6 juillet, 13h, amphi 4C à la Halle aux farines Cette AG sera l’occasion de faire le point des 6 premiers mois de la nouvelle direction de l’IRIF, et de discuter ensemble des chantiers en cours dont : - direction : fonctionnement avec les commissions et comités en place - administration : évolution de l’équipe, demandes aux tutelles - fusion P5-P7 : état des lieux présenté par la direction de l'UFR d'Informatique Venez nombreux afin de participer aux évolutions du fonctionnement du laboratoire ! Actualités scientifique - Next IRIF Distinguished Talk - Christos Papadimitriou - July 13, 10:30 We are delighted to host as part of our IRIF Distinguished Talks Series Christos Papadimitriou (Columbia University) on July 13, 10:30 for a talk entitled “A computer scientist thinks about the Brain”. https://www.irif.fr/seminaires/irif/index - 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) - Peter Habermehl (IRIF) and Benedikt Bollig (LSV, ENS Paris-Saclay) organize the research school MOVEP (Modelling and Verification of Parallel Processes), from on July 16-20 in Cachan . https://www.benedikt-bollig.org/movep-2018 - Amos Korman (IRIF) is co-chairing, and organizing the 6th Workshop on Biological Distributed Algorithms , to be held in London in July, the 23rd . http://www.snl.salk.edu/~navlakha/BDA2018/ Notion de la semaine - The approximation algorithms are algorithms that produce a solution that approximates the best possible solution of an optimization problem. While finding the optimal solution of practical problems is often infeasible, an approximation algorithm usually produces its solution in an efficient way and provides formal guarantees about the quality of the approximation. An example of such a problem is the so-called “traveling salesman problem” which consists in finding among all possible itineraries the shortest route that allows a salesman to visit a given set of cities and come back home. Informations des tutelles et partenaires Liste des emails joints en pièces attachées : - Paris Diderot : Montage des projets Marie Curie individuels à Paris Diderot - deadline 15 juin 2018 - 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