Mail original

Bonjour à tous,

Une actualité très riche ! 

N’oubliez pas de déposer vos demandes de CRCT et de délégations CNRS dans les temps (18 octobre) (cf mail attaché de Michele Pagani du 9 octobre). Nous avons vocation à faire valider par Paris Diderot sans trop de difficulté 2 délégations par an, et sans doute aussi 2 CRCT.
L’année dernière il n’y avait qu’une seule demande CRCT et aucune de délégation. A ce jour, il n’y a toujours aucune demande dans les 2 catégories !
En concertation avec l’UFR, la direction peut vous aider dans la préparation de vos dossiers.

Ne ratez pas non plus la journée du laboratoire ce lundi !

Frédéric

Annonces de la direction

- Journée de rentrée du laboratoire - lundi 15 octobre
Le matin  : journée de rentrée des  doctorants  d’abord pour les nouveaux, puis tous - Salle 3052 (3e étage)
L’après-midi  : exposés de nos  nouveaux arrivants  enseignants-chercheurs, chercheurs, sur poste ou en délégation - Amphi Turing (niveau -1)
Clôture :  goûter au 3e étage à 17h15
Venez nombreux !

- RAPPEL : Date limite des demandes d'utilisation des fonds du laboratoire (hors contrats)
En cette fin d’année, nous devons calculer au plus juste les prochaines dépenses sur la dotation du laboratoire.
Ces dernières seront donc dorénavant arbitrées en conseil de direction.
Pour le 15 octobre midi : faire remonter via les responsables de pôles les demandes les plus urgentes, y compris pour des jurys de thèse non financés par les contrats
Pour le 29 octobre midi : faire remonter via les responsables de pôles la plupart de vos demandes hors contrats d'ici la fin de l'année

- Nuisances dans le bâtiment : Afin de soutenir nos tutelles dans leurs actions et recours concernant les nuisances sonores liées au stationnement des bus, et l’obscurité des bureaux liée au non nettoyage des vitres, deux documents attendent vos soutiens par votre signature au secrétariat (cf mail du 11 octobre attaché).

- Conseil de laboratoire du mardi 16 octobre, 13h
Ordre du jour prévisionnel
   -   Budget   : état des dépenses, priorités pour la fin de l’année
  
-
  Associations  : nouvelles procédures, discussion des renouvellements
  
-
 
Locaux  : présentation des déménagements, pour les bureaux permanents et étudiants
   - Nuisances bus & vitres sales  : actions passées et en cours du laboratoire
   - Appels d’offre en cours à la FSMP  : postdocs, chaires, Google PhD award, mois d’invités, …
Rappel  : A titre expérimental, tout membre du laboratoire peut demander jusqu’à une semaine à l’avance à assister au conseil de laboratoire en tant que spectateur ne participant pas aux débats. La direction a reçu 1 demande qu’elle a accordée.

Actualités scientifique

- The paper “Equivalences for Free : Univalent Parametricity for Effective Transport” of Matthieu Sozeau (IRIF), with his coauthors Nicolas Tabareau and Eric Tanter, has been selected as a distinguished paper of the ICFP conference .

- IRIF has the great pleasure to welcome  
2 new assistant professors (Paris Diderot): 
Adrien Guatto , an expert in synchronous languages, temporal logic and categorical semantics
Daniela Petrisan , an expert in categories, co-algebra and automata
1 new professor (Paris Diderot):
Pierluigi Crescenzi , an expert in graph algorithms, particularly in the analysis of real-world complex networks
1 senior research scientist (CNRS):
Claire Mathieu , an expert in algorithms, particularly the design of approximation schemes for NP-hard combinatorial optimization problems

Notion de la semaine

Univalent foundations  are an approach to the foundations of mathematics in which mathematical structures are built out of objects called types.

Informations des tutelles et partenaires

Liste des emails joints en pièces attachées :
- Paris Diderot :   Appel à projets ANR générique 2019  - Informations importantes -  principales modifications pour l’appel 2019 - deadline 15 octobre pour aide Paris Diderot - deadline 25 octobre pour la soumission
- Paris Diderot & CNRS : Campagne CRCT et délégation CNRS - deadline 18 octobre - aucune demande reçue à ce jour
- FSMP : Tous les appels d’offres en un seul document !
- CNRS  : Appel à candidature du CNRS pour la direction scientifique de l’UMI JFLI au Japon
- UFR : Informations qualifications maître de conférences et professeur des universités - date limite d’inscription 24 octobre - date limite de dépôt de dossier 18 décembre