Mail original

Bonjour à tous,

Avant la pause printanière, je vous rappelle l’évènement de mercredi prochain, à savoir la visite d’Ali Charara, directeur de l'INS2I . Le sondage a révélé la présence d’au moins 60 personnes. La matinée se passera donc à l’Amphi Turing (sous-sol du bâtiment), qui peut accueillir 90 personnes. Venez donc nombreux !  En plus des exposés, un moment d’échange a été réservé à la demande de l’INS2I. Préparez vos questions ! Nous terminerons par un buffet au 3e étage.

Il y a aussi beaucoup d’appels d’offre en cours concernant des bourses de thèses et de postdoc. Pensez à avertir la direction en cas de demande, ainsi qu’Ahmed Bouajjani pour les bourses de thèse.

Enfin, un sondage est mis en place pour tous les membres de l’IRIF, afin de préparer la mise en place d’un comité parité à l’IRIF . Merci d’y participer massivement. 

Frédéric

Annonces de la direction

- Visite d'Ali Charara de l'IRIF , nouveau directeur de l'INS2I le 24 avril, en Amphi Turing  https://www.irif.fr/rencontres/irif/ins2i2019  
Venez aussi nombreux que possible si vous n'êtes pas en congés !
Programme à l’Amphi Turing :
• 8h30-9h : Rencontre entre la direction de l’INS2I et l’équipe de direction de l’IRIF au 4e étage
• 9h : Ouverture par Ali Charara, directeur de l’INS2I 
• 9h-9h30 : Présentation du laboratoire par Frédéric Magniez
• 9h30-11h30 : Présentation des 3 pôles de l’IRIF : exposé du responsable du pôle (10’) suivi de 2 focus (2 x 15’)
• Pôle ASD : Laurent Viennot, Guillaume Chapuy, Claire Mathieu
• Pôle ASV : Ahmed Bouajjani, Amaury Pouly, Constantin Enea
• Pôle PPS : Yves Guiraud, Jean Krivine, Hugo Herbelin
• 11h30-12h30 : Echanges entre la direction de l’INS2I et les membres de l'IRIF
• 12h30-13h30 : Buffet ouvert à tous pour un échange informel au 3e étage
Cette demi-journée sera un bon moyen de mieux connaître les recherches de nos collègues et d’échanger directement avec le nouveau directeur de l’INS2I.

- Le logiciel de gestion financière de Paris Diderot (SIFAC) fermera entre le 29/04/2019 et le 03/05/2019. Il ne sera donc pas possible pendant cette période de passer des commandes, de faire des OM, de réserver des hôtels et des transports sur la subvention P7 du labo ainsi que sur les contrats de recherche hébergés à P7.

- Domaines d'Intérêt Majeur (DIM) - Région Ile de France : Les DIMs sont des actions de la région Ile de France pour fédérer la recherche sur son territoire. L'IRIF fait parti du DIM MathInnov depuis 2 ans, et à part entière dans le DIM Réseau Francilien en Sciences Informatiques (RFSI) depuis cette année.  https://www.dim-mathinnov.fr   https://dim-rfsi.fr  
- Via ses DIMs, la région vient de lancer un appel à financement de thèses en lien avec des entreprises du numérique,  deadline 15 mai 12h
- Le DIM MathInnov a aussi un programme propre de bourses de thèses et de postdoc :  10 a llocations doctorales, 5 postdocs,  deadline 20 mai 2019
Plus d’information en fin de mail.

- Actions parités à l’IRIF  : Des actions vont être menées à l’IRIF concernant les aspects de parités dans nos actions, communications et quotidien.
Pour cela un sondage à destination de toutes les membre du laboratoire est lancé afin de mieux connaître le context familial de chacun.
Ensuite, des actions ouvertes sur la parité seront mises en place. 
Pour cela un comité parité de lancement va être constitué.

Actualités scientifiques

- Ali Charara, director of INS2I at CNRS , visits IRIF on the morning of April 24th. The research conducted at IRIF will be presented as well as 6 specific scientific talks. The visit will be followed by a light buffet lunch.  https://www.irif.fr/rencontres/irif/ins2i2019  

-  Femmes et mathématiques  : L’association femmes et mathématiques organise une demi-journée à destination des parents d’élèves intéressés par la question des filles et des maths, le samedi 18 mai de 10h à 12h à Paris, à l’IHP.  Voir en fin de mail.
- Three papers  coauthored by IRIF members will be presented at the prestigious conference  LICS'19  in Vancouver this summer. Topics include sequent calculus, differential logic and probabilistic computation.  https://lics.siglog.org/lics19/accepted.php  

- Iordanis Kerenidis  (IRIF) explains what we can expect from Quantum Computing in this interview of the CNRS journal .  https://lejournal.cnrs.fr/articles/ordinateur-les-promesses-de-laube-quantique  

Notion de la semaine

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 (appels d'offres, évènements)

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

- Femmes et mathématiques :  L’association femmes et mathématiques organise une demi-journée à destination des parents d’élèves intéressés par la question des filles et des maths,
le samedi 18 mai de 10h à 12h à Paris, à l’IHP.
- Paris Diderot : Calenderier et informations relatives aux projets ERC et aux journées de formation à Paris Diderot
- DIM MathInnov et DIM Sciences informatiques :  Appel a candidatures "Paris Région PhD^2 “ -  Dès à présent  il faut prendre contact avec les DIMs concernés afin de préparer les dossiers et les interactions avec les entreprises envisagées en amont avec la région  -  deadline : 15 mai 12h
- DIM MathInnov :  10 a llocations doctorales, 5 postdocs deadline 20 mai 2019