Mail original Bonjour à tous, La pause estivale approche. La rentrée sera un nouveau tournant pour le laboratoire avec le départ d’Odile, et l’arrivée d’une nouvelle responsable administrative pour le laboratoire. Plusieurs activités de rentrée seront organisées pour les nouveaux arrivants, et quelques aménagements de bureaux seront faits. Ces points et bien d’autres seront abordés à l’AG de vendredi prochain (cf plus bas). Venez nombreux. Frédéric Annonces de la direction - Conseil de laboratoire : CR du conseil du 3 mai 2018 https://www.irif.fr/_media/intranet/cr-201806026.rtf Règlement intérieur approuvé : https://www.irif.fr/_media/intranet/reglement-interieur.pdf - 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 (permanents, étudiants, postdocs,…) afin de participer aux évolutions du fonctionnement du laboratoire ! - Retour mission Merci de rapporter au plus vite au secrétariat toutes les justificatifs de vos missions effectuées et non encore clôturées. En effet, le secrétariat ne peux pas se permettre de recommencer en septembre avec un arriéré trop grand. - Secrétariat et direction durant l'été Merci d’adresser toutes vos requêtes respectivement à secretariat@irif.fr et à direction@irif.fr Durant l’été un continuité sera assurée, y compris durant l’accès restreint au laboratoire durant les 3 premières semaines d’août (l’accès sera possible pour les membres du laboratoire sur déclaration préalable à venir). Notez tout de même Du 16 au 31 juillet : absence de la direction (directeur et directeur adjoint), donc pas de signature (sauf si numérique) de documents Du 6 au 10 août : absence de la direction, donc pas de signature (sauf si numérique) de documents Le 10, puis du 13 au 16 août août : fermeture du secrétariat Actualités scientifique - Berenice Delcroix-Oger (IRIF) participated to the annual festival "Salon Culture & Jeux Mathématiques 2018" . On the following video(1:50), she presents a funny game where mathematics help you perform magic tricks! https://diderot-tv.univ-paris-diderot.fr/videos/les-maths-plus-faciles-par-le-jeu - Raphaëlle Crubillé (PhD student at IRIF) will present at LICS'18 an analytic account of the discrete probabilities fragment of a denotational model for higher-order programming with general probabilities, hopefully a first step towards proving that this model is fully abstract. https://arxiv.org/abs/1805.00512 Notion de la semaine The quest for a fully abstract model for the contextual equivalence of PCF, a paradigmatic functional language, has been influential in the area of programming languages semantics. A model is fully abstract if it is both sound and complete. - A denotational model is complete for a given notion of equivalence between programs if equivalent programs have the same denotation, some mathematical object they are mapped to; - it is sound if programs having the same denotation are equivalent. Informations des tutelles et partenaires Liste des emails joints en pièces attachées : - Paris Diderot : Journées d'information ERC - 3 et 5 juillet - Paris Diderot : Appel d'offre " Actions de recherche structurantes ” 2018 - deadline 3 septembre