Mail original Bonjour à tous L’urgence de la semaine est l’utilisation de la fin des crédits du laboratoire. Il nous faut absolument toutes les demandes sur les crédits hors contrats pour lundi 29 octobre. Dans les prochaines lettres, nous reviendrons sur les crédits liés aux contrats pour la clôture budgétaire annuelle. Je tiens aussi à remercier tous les acteurs de la journée de rentrée de l’IRIF lundi dernier, et surtout les nouveaux permanents pour leurs exposés très pédagogiques et en anglais, les rendant ainsi accessibles à l’ensemble des membres du laboratoire. Je ne doute pas qu’ils vont ouvrir la voix à de prochaines collaborations. Cela m’amène au dernier point. Cette lettre d’information devrait peut-être être en anglais. N’hésitez pas à me faire un retour si vous avez un avis tranché sur cette question. Frédéric Annonces de la direction - RAPPEL : Date limite des demandes d'utilisation des fonds du laboratoire (hors contrats) En cette fin d’année, nous devons calculer au plus juste les prochaines dépenses sur la dotation du laboratoire. Ces dernières seront donc dorénavant arbitrées en conseil de direction. Pour le 29 octobre midi : faire remonter via les responsables de pôles la plupart de vos demandes hors contrats d'ici la fin de l'année - Nuisances dans le bâtiment : Afin de soutenir nos tutelles dans leurs actions et recours concernant les nuisances sonores liées au stationnement des bus, et l’obscurité des bureaux liée au non nettoyage des vitres, deux documents attendent vos soutiens par votre signature au secrétariat (cf mail du 11 octobre attaché). - Conseil de laboratoire du mardi 16 octobre, 13h CR disponible sur l’intranet : https://www.irif.fr/_media/intranet/conseil_labo_oct18.pdf - Annuaire du laboratoire : déménagements et arrivées Il est important de le tenir à jour en fonction de votre changement de bureau, de no de téléphone, de fonction / grade, voire de changement d’équipe thématique. Un unique lien où chacun peut faire ces modifications : https://www.math-info-paris.cnrs.fr/moncompte/ Je rappelle que le changement d’équipe doit être validé par - le responsable d’équipe thématique : https://www.irif.fr/informations/presentation - le conseil de direction : conseil-direction@irif.fr - Nuisances dans le bâtiment : Afin de soutenir nos tutelles dans leurs actions et recours concernant les nuisances sonores liées au stationnement des bus, et l’obscurité des bureaux liée au non nettoyage des vitres, deux documents attendent vos soutiens par votre signature au secrétariat avant le 29 octobre (cf mail du 11 octobre attaché). Actualités scientifique - Appels d’offres de la FSMP : Olivier Serre nous résume tous les appels d’offres disponibles, y compris pour les accueils de chercheurs en séjours longs, et pour des séjours doctorants à l’étranger de plusieurs semaines. Cf mail d’Olivier du 16 octobre joint. Notion de la semaine - Proof assistant: A proof assistant is a software tool to mechanize reasoning. Such a tool typically ensures the wellfoundness of formal definitions, helps in decomposing a formal proofs into intermediate proof goals, and checks that the reasoning steps are logically consistent. Informations des partenaires Liste des emails joints en pièces attachées : - Paris Diderot : Formation "Evaluation des Acquis de l'Expérience" - 28 novembre 2018 - UFR : Informations qualifications maître de conférences et professeur des universités - date limite d’inscription 24 octobre - date limite de dépôt de dossier 18 décembre - CNRS : Lancement de la plateforme RH Ariane pour le personnel CNRS, avec une multitude d’outils utiles pour toute sa carrière au CNRS