Mail original

Bonjour,

Les deadlines pour les bourses de thèses tombent. Pensez à informer Ahmed Bouajjani de vos projets de dépôt en amont.
La commission communication devient la commission de diffusion scientifique ( news@irif.fr ) et s’essaie à définir les notions mentionnées dans ses annonces que vous retrouverez entre autre dans la lettre de l’IRIF.

Frédéric

Annonces de la direction

-  Formulaire mission  :  un formulaire en ligne est disponible sur l’intranet dans la catégorie mission. Vous devez maintenant passer uniquement par ce formulaire pour une demande de mission.
Merci de  suivre les procédures de l’intranet  concernant missions, invitations, achats, ouverture de compte...

Actualités scientifique

- Marie Kerjean (PhD student IRIF) will present at LICS 2018 a logical account for linear partial differential equations. With this work, she unveils a bridge between mathematical physics and proof theory, paving the way for exciting and mutually beneficial transfers of techniques.

- Pierre Vial (IRIF) will present at  LICS 2018  an excerpt of his PhD work at IRIF proving that every lambda-term has an infinite linear representation in the infinitary relational model. This work pioneers a technique that allows giving a semantic even to unproductive programs.

- Peter Habermehl (IRIF) and Benedikt Bollig (LSV, ENS Paris-Saclay) organize the  research school MOVEP  (Modelling and Verification of Parallel Processes), from on  July 16-20 in Cachan .

 -  Amos Korman (IRIF)  is co-chairing, and organizing the 6th  Workshop on Biological Distributed Algorithms , to be held in  London in July, the 23rd .

Notions du vendredi

- 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 formalise proofs and to study their properties.

- Unproductive: A part of a program is unproductive if it performs an infinite number of computing steps without any interaction with the rest of the program or external devices. Unproductive code is basically useless, and may even be unsafe, and detecting parts of code that are unproductive is important to improve software quality.

Informations des tutelles et partenaires

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

Des bourses de thèses : dans les deux cas informer Ahmed Bouajjani ( Ahmed.Bouajjani@irif.fr )
-  Bourses de thèse JP Aguilar - Fondation CFM pour la Recherche : deadline 11 juin
- Bourses de thèse de l'Ecole doctorale : deadline 20 juin

Paris Diderot :
- Venez rencontrer l’équipe de la DRIVE lors de l’Open DRIVE: 1er juin à 16h30