Mail original Bonjour à tous, Le laboratoire va entrer dans sa pause de fin d’année. Merci de prendre le temps de compléter le sondage IRIF au plus tard ce dimanche (50% de participation actuellement). Notez l’ouverture du programme émergence de la ville de Paris (financement de type ANR JCJC ou ERC Starting). La FSMP peut vous aider à monter un tel projet et aussi vous soutenir formellement avec l’IRIF; de l’appel à projet ERC Consolidator Grant 2019, l’INS2I et Paris Diderot peuvent vous aider au montage; De l’appel à projets PEPS blanc 2019 de l’INS2I; de l’appel à candidature pour des prix de stages de master effectués en 2018. Pour chacun de ces programmes, pensez à contacter la direction en cas d’intention de dépôt à direction@irif.fr Enfin il y a quelques rappels des actions de communications pour les 80 ans du CNRS. Il me semble que l’IRIF devrait se saisir de l’une d’elles. Si vous êtes volontaires, contactez la commission de diffusion scientifique de l’IRIF à news@irif.fr Nous nous retrouverons avec l’AG de l’IRIF le 8 janvier, qui sera suivie en fin de journée par la galette de l’IRIF. Soyez présents nombreux ! Au nom de l’équipe de direction (Eva, Frédéric et Giuseppe), bonnes fêtes de fin d’année, Frédéric Annonces de la direction - URGENT : Sondage IRIF Les enseignants-chercheurs et les chercheurs permanents de l’IRIF, ainsi que les doctorants, postdoctorants et ATER de l’IRIF, ont reçu un sondage à remplir afin d’évaluer les différents services de l’IRIF ainsi que son organisation et sa structuration . Nous vous remercions d’y répondre massivement d’ici ce dimanche (le 23 décembre). Nous n’avons à ce jour que 50% de participation. Note : ce sondage utilise la plateforme GoogleForm, mais aucune donnée personnelle n’y a été transmise, le sondage est de surcroît anonyme. - AG de l’IRIF : 8 janvier 14h15-15h45 Amphi Turing L’ordre du jour provisoire est Situation financière et utilisation de la dotation du laboratoire Situation du pôle administratif Sondage IRIF : résultats et premiers retours Recrutements à venir : organisation et position sur les recrutements locaux Après une pause, l’AG sera suivie de la Galette de l’IRIF : 8 janvier 17h-18h30 IRIF (3e étage) - Compte rendu du conseil de laboratoire du 18 décembre 2018 https://www.irif.fr/_media/intranet/conseil_labo_dec18.pdf - Utilisation de la dotation du laboratoire (ressources financières communes hors contrats) Nous rappelons qu ’il n’existe pas de nombre prédéterminé de missions financées sur la dotation du laboratoire (hors contrats de recherche). Le principe général d’utilisation de la dotation reste le même : soit un membre du laboratoire à un accès (direct ou indirect) à un contrat de recherche (vérification faite par exemple via le responsable d’équipe thématique) et dans ce cas il doit passer par ce dernier, soit il fait une requête à son responsable de pôle. Dans ce dernier cas, le responsable de pôle arbitrera en accord avec les principes édictés par le conseil de laboratoire, et en consultant le conseil de direction pour les demandes les plus coûteuses. La direction tient à préciser qu’il n’est pas nécessaire d’avoir un article à présenter dans une conférence pour obtenir une mission financée. Concernant l’ achat de matériel, le principe est le même et un cadrage des machines achetées par le laboratoire dans le cas de l’utilisation de sa dotation a été édicté par le conseil de laboratoire. Cf intranet : https://www.irif.fr/intranet/informatique_achats - Intranet L'intranet s'enrichit Une nouvelle page sur le comité de direction (ordres du jour) : https://www.irif.fr/intranet/conseildirection Des informations sur les conventions de stages : https://www.irif.fr/intranet/ressources_humaines Et toujours: Page pour les nouveaux arrivants (et les autres) : https://www.irif.fr/intranet/newcomers Menu "highlights" sur le site IRIF : tous les contrats actifs, nos prix et nos collaborations internationales Les pages https://www.irif.fr/intranet/conseil et https://www.irif.fr/intranet/cs pour les comptes rendus du conseil de laboratoire IRIF et du conseil scientifique de l’UFR d’Informatique Actualités scientifiques - Fabian Reiter now at LSV was awarded the Honorable Mention of the Gilles Kahn prize for his PhD Distributed Automata and Logic supervised by Olivier Carton at IRIF. https://www.societe-informatique-de-france.fr/recherche/prix-de-these-gilles-kahn/ - A quantum distributed algorithm from IRIF to compute the diameter of a quantum distributed congested network will be presented at QIP’19 . This is the first quantum distributed algorithm that overcomes classical algorithms for this task. https://arxiv.org/abs/1804.02917 Notions de la semaine Combinatorics on words Combinatorics on words studies the combinatorial properties of words and formal languages. Their systematic study has a wide field of applications ranging from number theory to bio-informatics or dynamical systems. Word combinatorics focuses on the study of powers, repetitions and periods. The field also includes the study of extended forms of words such as infinite words, bidimensional infinite words or tilings. Dynamical systems A discrete-time dynamical system is a map acting on a (usually compact) space. One is generally interested in the study the iterations of the map, and the trajectories and distribution of points it induces. Dynamical systems have widely proved their usefulness for the modeling of physical systems, but they also model numerous phenomena from the digital world: dynamical systems can model the execution of an algorithm, as well as loops in a program. Their study is also in deep connection with information theory. Informations des partenaires Liste des emails joints en pièces attachées : - Paris Diderot et Ville de Paris : Programme EMERGENCE de la Ville de Paris (deadline 31/01/2019 midi), et Initiation au montage de projets Horizon 2020 - CNRS : Ouverture de l’appel ERC Consolidator Grant 2019 (deadline jeudi 7 février 2019) - International : Call for Nominations: VCLA International Student Awards 2019 - Logic and Computer Science - CNRS : Appel à projets PEPS blanc 2019 INS2I (deadline vendredi 25 janvier 2019) - CNRS : Conférence au CNRS Humain et numérique en interaction - 31 janvier et 1er février 2019 - CNRS : Appel des 80 ans du CNRS