Mail original

Bonjour à tous,

L'actualité de la semaine est marquée par des appels de soutien à la recherche de l'IdEx de l'Université de Paris.
Il est important que l'IRIF se positionne sur ceux-ci. La compétition sera sans doute difficile, mais nous pouvons soumettre, je pense, de nombreux projets sans trop d'efforts. Nous avons aussi régulièrement de nombreux candidats doctoraux étrangers à présenter à ce nouveau guichet, en plus de celui du COFUND de la FSMP.

Enfin, vous trouverez un message d'un ex-postdoc de chez nous qui organise une école internationale à destination des étudiants (non-doctorants) désirant se diriger vers la recherche cet été en Allemagne. Je trouve cela une excellente opportunité pour les élèves du MPRI et plus largement nos étudiants (à partir du L3) intéressés par la recherche.

Frédéric


Annonces de la direction

- Appels à projets de l'IdEx de l'Université de Paris 
Prenez bien connaissance des appels à projets lancés en ce début d'année et joints à ce mail. Pour plus d'information, et en cas de candidature, contactez la direction.
- Émergence en recherche (clôture 15 mars 2019) : toute personne ayant déposé récemment un projet ANR non encore financé, ou ayant eu un projet ANR récemment rejeté, devrait être en mesure de déposer sans trop d'efforts un tel projet émergence correspondant à la partie IRIF seule (ou éventuellement avec un partenaire éligible tel que le LIPN). En cas de succès, il s'agit d'autant d'argent libéré pour d'autres actions de soutien à la recherche pour le laboratoire.
- Contrats doctoraux internationaux (clôture le 15 février 2019) : un programme analogue au COFUND de la FSMP (appel aussi joint à ce mail via Olivier Serre), mais au calendrier avancé et aux contraintes plus souples. Une publicité de ces programmes est sur le site de l'IRIF avec un texte générique qui peut vous servir dans vos démarches auprès d'étudiants internationaux (cf point à l'ODJ du conseil de laboratoire)

- Ordre du jour provisoire du conseil de laboratoire du 12 février 13h
  - Publicité des offres de thèses à l’IRIF, cf texte actuel sur le site de l’IRIF  https://www.irif.fr/postes/these
  - Budget labo : ressources propres (contrats) et subventions des tutelles
- Proposition de budget pour les subventions
- Recommandation d’attribution des subventions
- Suggestion de dépenses communes
  - Locaux : 
- Requête concernant le site miroir de l'UMI FILOFOCS
- Utilisation commune de l’espace récemment ouvert au 3e étage
Rappel :  tout membre de l'IRIF peut demander jusqu’à une semaine à l’avance à assister au conseil de laboratoire en tant que spectateur ne participant pas aux débats (sous réserve de validation par la direction, notamment compte tenu de la taille de la salle du conseil).

- Visiteurs
Nous vous rappelons que le laboratoire peut fournir aux visiteurs bureau, badge d'accès au bâtiment, et maintenant un badge de cantine (sans subvention pour un repas autour de 10-12€).
Le formulaire reste le même :  https://mission.irif.fr  
Merci d’ anticiper vos demandes pour que tout soit prêt à temps.

- Nuisances liées au stationnement des bus 
L'Université Paris Diderot nous informe que
"Un courrier mentionnant les éléments dont vous nous avez fait part a été adressé en recommandé le vendredi 18 janvier dernier à la RATP afin de demander le déplacement des terminaux des bus 62 et 89.
Un autre courrier mentionnant également ces éléments a été adressé conjointement à la Mairie du XIIIe arrondissement de Paris afin d'appuyer notre demande."

Actualités scientifiques

- The next meeting of the ANR project FREDDA( FoRmal mEthods for the Design of Distributed Algorithms ) will happen at IRIF, Monday 4th and Tuesday 5th February 2019, room 3052.

- Enrica Duchi et Guillaume Chapuy organisent le 15 février en Amphi Turing une " journée cartes " dédiée aux aspects combinatoires et probabilistes des cartes. 

- Pierre Fraigniaud organizes the  Workshop Complexity and Algorithms  (CoA), in the framework of GdR IM, Roscoff, France, April 1-5, 2019. The objective of this workshop is to gather the French community on design and analysis of algorithms, of all forms. Deadlines: submission by 01/02/2019, registration by 02/03/2019. 

Notion de la semaine

In software engineering and hardware engineering, formal methods are a particular kind of mathematically based technique for the specification, development and verification of software and hardware systems. Formal methods use mathematical proofs in order to establish rigorously the reliability of a design. As systems become more complicated, and safety becomes a more important issue, the formal approach to system design offers an additional level of insurance to system testing.

Informations des partenaires

Liste des emails joints en pièces attachées :

- Paris Diderot :  Appels à projets IDEX Université de Paris 2019, deadlines du 15 février au 15 mars en fonction des programmes
- FSMP : Bourses de thèses COFUND pour candidats étrangers, deadline 1er avril 2019
- Summer School in TCS for master students  in  August in Saarbruecken, Germany: deadline February 7
-  International School on Rewriting :  1-6 July 2019, MINES ParisTech, France. Registration will open in March.
- CNRS : lancement de la campagne de prime d’encadrement doctoral et de recherche, deadline 5 mars 2019 à 12H00