Mail original

Bonjour à tous,

Ce sont les derniers jours pour candidater à une bourse de thèse de la FSMP pour étudiants étrangers. A 10 jours de la deadline, j'ai reçu une alerte de la FSMP : aucun candidat de l'IRIF ne s'est encore enregistré, seuls 15 candidats de maths sont actuellement inscrits pour 40 places au 1er tour (et 21 bourses offertes). Avec ce programme très généreux (qui ne coûte qu'1/3 de bourse à l'école doctorale), il sera quasiment impossible d'obtenir une bourse via Paris Diderot pour un étudiant étranger qui n'aurait pas candidaté à ce programme. Merci de contacter Olivier Serre en cas d'intérêt : olivier.serre@irif.fr  

Autre actualité importante, la visite prochaine du nouveau directeur de l'INS2I pour présenter l'IRIF. Cet évènement sera pour nous l'occasion d'organiser une série d'exposés scientifiques didactiques, dans un format différent de celui de notre évaluation HCERES de l’année dernière. Merci d'être présent.

Pour l’équipe de direction (Eva, Frédéric, Giuseppe),

Frédéric


Annonces de la direction

- Visite du nouveau directeur de l'INS2I (département informatique du CNRS), Ali Charara
Ali Charara visites tous les laboratoires de l'INS2I. Il prévoit 1/2 journée pour rencontrer  l'équipe de direction et avoir un aperçu des recherches qui se font à l'IRIF. Sur les recommandations de l'INS2I, seront privilégier des présentations scientifiques courtes pour permettre au contraire à Ali d'avoir une vue large de ce qui se fait dans le laboratoire aujourd'hui. 
Dates possibles : 24 avril matin ou après-midi, ou 9 mai après-matin
Merci d'être présent massivement. Cet évènement sera différent de celui de l'évaluation HCERES et pourrait être utiliser comme un bon moyen de mieux connaître les recherches de nos collègues orateurs.

- Ordre du jour du conseil de laboratoire du 26 mars 13h :
  - Budget labo
- Etat des dépenses sur les subventions du labo
- Prévision des prochaines dépenses
- Suggestion de dépenses communes
  -  Recrutements CNRS
- Classement des priorités d’affectation à l’IRIF parmi les 2 candidats CR CNRS ayant demandé l’IRIF et ayant été classés
   - Programme Chaires d’excellence de l’IdEx de l’Université de Paris
- Présentation d'un candidat remonté pour accord du conseil
   - Assistant de prévention
- Remplacement de Laïfa Ahmadi en prévision de son départ prochain à la retraite
   - Loi de programmation pluriannuelle de la recherche
- Discussion sur la suite à donner à la consultation lancée par le CNRS

- Actualités, diffusion scientifique,  actions pédagogiques ou grand public
N’hésitez pas à fa!re remonter toute action à communiquer ou à valoriser à news@irif.fr  
Le laboratoire aimerait communiquer aussi plus d' actions pédagogiques ou grand public marquantes pour lesquelles vous vous êtes particulièrement engagés.
Plus d'information sur l'Intranet :  https://www.irif.fr/intranet/communication  
L’IRIF a aussi un compte twitter :  https://twitter.com/IRIF_Paris     

- Fête de la science :  Merci de répondre présent à cet évènement de l’Université auquel l'IRIF se doit de participer.
Sondage de Bérénice et Arnaud pour une réunion de préparation fin mars/début avril :   https://framadate.org/ZbBqpdyqofkYKcxX
Une page récapitule les éléments déjà mis en place :  http://www.informatique.univ-paris-diderot.fr/wiki/doku.php/enseignement/fdls
Plus d'information dans le mail de Bérénice en fin de lettre.

Actualités scientifiques

- From March 20th to May 22nd, Uri Zwick  (Univ. of Tel Aviv) will give a  series of 7 courses  related to his FSMP Chaire of Excellence on the topic of  Games on Graphs and Linear Programming Abstractions  each  Wednesday 2:15pm - 4:15pm at IRIF, room 3052 .
-   FSMP  offers 21 PhD student positions in Maths and TCS under H2020 COFUND project MathInParis. As a member of the FSMP network, IRIF is an eligible hosting lab.  Call for application is open until April, 1st 2019 . Applicants must be international students, but master students already in France for less than a year are eligible.

- Highlights of Algorithms : After Paris in 2016 organized by IRIF and Inria, Berlin in 2017, and Amsterdam in 2018, the next event will be at University of Copenhagen, June 14-16, 2019 .
IRIF can help to support any attendance if needed, and in cease of early registration (deadline: March 29th).

- Publication du Décret portant création de l’Université de Paris au 20 mars 2019 :   https://www.legifrance.gouv.fr/affichTexte.do?cidTexte=JORFTEXT000038252458&dateTexte=&categorieLien=id

Notion de la semaine

Sequent : A sequent represents a theorem by a sequence of hypotheses and the sequence of possible theses they imply. This formalism underlines a symmetry hypotheses/theses ruled by negation and is used in sequent calculus to formalize proofs and to study their properties. Here it is an example of sequent: A , B∨C ⊢ A∧B , A∧C

Informations des partenaires

Liste des emails joints en pièces attachées :
- Region Ile de France et DIM de Maths, Informatique et Quantique :  Dans le cadre du financement de thèses industrielles « Paris Region PhD² » ,  une réunion d’information dédiée aura lieu du j eudi 28 mars à 16h chez Cap Digital.
- CNRS : CR du conseil scientifique de l’INS2I de janvier 2019 nouvellement élu avec la première participation d’Ali Charara, nouveau directeur de l’INS2I.
- Paris Diderot  : Courrier adressé par Frédérique Vidal, ministre de l’Enseignement supérieur, de la Recherche et de l’Innovation, aux chercheurs, afin d’inviter chercheurs, enseignants-chercheurs et BIATSS à participer à la consultation sur la future loi de programmation de la recherche.
- FSMP :  Journées Carrières en Mathématiques les 18 et 19 avril prochain à Jussieu. Première journée : conférences sur l’insertion des docteurs. Seconde journée : ateliers