Mail original


Lettre de l'IRIF du 6 septembre 2019

Édito

Cette lettre de rentrée rime avec plusieurs rappels et annonces de lancement : accès bâtiment, commissions à l’IRIF, appels postdoc, conseil de laboratoire, fête de la science.

Notez aussi la date imminente de cloture de l’appel à prix de thèse SIF, ainsi que les appels projets de l’automne en ligne de mire, ANR et ERC starting, avec les journées d’information et de préparation qui vont avec.

Annonces de la direction

- Les commissions à l’IRIF : nouvelle commission parité
L’IRIF crée une commission parité ! La réunion interne de la commission aura lieu le vendredi 13 septembre. N’hésitez pas à demander à rejoindre la commission ou à envoyer vos propositions. Pour rappel, Anne Siegel était venue nous présenter la commission de l’IRISA en juillet : https://www.irif.fr/rencontres/irif/finannee2019
L’IRIF a 4 autres commissions, le saviez-vous ? Diffusion scientifique, Suivi doctorants, Locaux, Matériels. N’hésitez pas à vous impliquer : https://www.irif.fr/informations/organigramme  

- CR de la réunion avec Paris Diderot sur le bâtiment Sophie Germain 
Le 19 juillet dernier, une réunion était organisée à l’initiative des directeurs des laboratoires du bâtiment Sophie Germain, et soutenue par les directeurs des UFR respectives. Nous avons obtenu un nettoyage des vitres et des bureaux, une rencontre en octobre avec la RATP pour avancer sur les nuisances liées au bus, et un démarrage des démarches de l’Université  pour les travaux de mise en conformité qui associeront des représentants des UFR du bâtiment.

- Appels postdoc
L’IRIF a mis à jour sa page de description des offres de postdoc à l’IRIF
Comme l’an dernier, cette page sera diffusée sur la plupart des mailings lists nationales et internationales de nos communautés respectives. Si vous avez des offres à ajouter pour vos contrats, votre groupe, votre équipe-thématique, ou votre pôle, merci de contacter direction@irif.fr  
Un grand merci à Adi Rosén qui s’est investi ainsi qu’aux responsables d’équipes thématique et au conseil de laboratoire qui nous a fait de nombreux retours constructifs.

- Conseil de laboratoire
Les dates des prochains conseils sont sur l’intranet : https://www.irif.fr/intranet/conseil  
L’ordre du jour provisoire du conseil du 24 septembre 2019 :
Budget : point sur la subvention CNRS et Paris Diderot, achats à venir
Réunion de la direction avec le CNRS, l’Université et Inria le 7 octobre : bilan sur les objectifs & besoins de l’IRIF
Prochains concours de recrutement (postdoc, CNRS, Université) : procédures
Demandes de mutation en cours
Point sur les associations

- Horaires d’accès au laboratoire / Access hours to the laboratory
  - Public access: Monday-Friday, 8am to 8pm.
  - For permanent members only with the appropriate authorization:
Monday-Friday: the building is open from 7:50am to 10:45pm. (exiting the building after 8:00pm can only be done by the door on Rue Albert Einstein)
Weekend: the building is open from 7:50am to 7:45pm. (Access via doors on Rue Nicole-Reine Lepaute, or Rue Albert Einstein.)
More information on intranet: https://www.irif.fr/intranet/reglement

- Rappel : Fête de la science, 10-11 octobre
L’UFR d’Informatique organise plusieurs activités lors de la fête de la science. Il y a 3 créneaux de 2h par jour, et chacun requiert 5 personnes. Les membres de l’IRIF sont sollicités. Merci de proposer votre aide dès maintenant fdlsInfo@irif.fr .

 

Actualités scientifiques de l'IRIF

- The Software Heritage graph dataset by IRIF members Antoine Pietri and Stefano Zacchiroli is the largest existing corpus of software source code artifacts. It will be the topic of the upcoming Mining Software Repositories challenge. See the CFP for more information.
 
- IRIF has the great pleasure to welcome Leonid Libkin , professor at University of Edinburgh, who is visiting for three months. His stay is financed by an FSMP chair . Leonid is an expert in data management and applications of logic in computer science. Meet him in office 4048 .

La notion de la semaine

A f ormal system is used to infer theorems from axioms according to a set of rules. These rules used to carry out the inference of theorems from axioms are known as the logical calculus of the formal system. In 1921, David Hilbert proposed to use such system as the foundation for the knowledge in mathematics. There are several properties that a formal system may have, including completeness, consistency, and the existence of an effective axiomatization. The incompleteness theorems, pioneered by Gödel, show that systems which contain a sufficient amount of arithmetic cannot possess all three of these properties.

Appels d'offres, évènements des partenaires

Plus d’informations sont fournies dans les liens ou les pièces attachées.

- Prix de thèse SIF Gilles Kahn 2019 : Pour les thèses d’informatique en France soutenues entre le 1/09/2018 et le 31/08/2019. Deadline : 16 septembre 2019. 

- ANR/ERC : 
Les appels ANR génériques (JCJC, PRC, PRCI, PRCE) sont ouverts. Deadline : 24 octobre 2019. https://anr.fr/fr/detail/call/appel-a-projets-generique-2020/  
ERC Starting grants, deadline 16 octobre 2019 , Synergy Grants, deadline 5 novembre 2019 . https://erc.europa.eu  
Contactez direction@irif.fr en cas d’intention de dépôt. Une aide pourra vous être apportée.
- Formation CNRS ouverte à tous : "Déposer un projet et être financé par l' ANR " 19 septembre 2019

- The CNRS research network " Quantum Engineering, Fundamental Aspects to Applications " (IQFA) organizes its 10th colloquium, IQFA'X, outlined along its 5 main investigated thematics (ARTs) that meet perfectly those of the European Flagship on Quantum Technologies, November 13-15, registration: October 11.
- CNRS: Appel à projets pour les International Emerging Actions (IEA), deadline 17 septembre 2019. Ces actions remplacent les PICS et, à terme, les PRC.

- Ecole Polytechnique : Appel à proposition de stages pour les Etudiants de l’Ecole Polytechnique pour 2020