Mail original

Bonjour à tous,

Comme toute rentrée, l’actualité scientifique redémarre rapidement avec plusieurs rendez-vous à ne pas manquer, notamment les écoles de recherche pour les étudiants. Le laboratoire peut aider à subventionner de tels séjours si besoin.  Il est aussi encore temps pour les personnes ayant obtenu leur thèse entre 2007 et 2011 de déposer un projet ERC Consolidator.
Notez enfin l’inscription à venir aux listes électorales pour les prochaines élections du CNU. Une procédure va être mise en place pour les chercheurs CNRS et Inria.
Pour finir, nous remercions les membres du laboratoire pour leur participation importante à l ’ AG de ce mardi.

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

Annonces de la direction


- AG de l’IRIF du 8 janvier : transparents sur l’intranet https://www.irif.fr/intranet/conseil

- L'intranet continue à s'enrichir. Vous pouvez désormais utiliser un calculateur pour estimer vos indemnités (maximales) de mission afin de préparer au mieux vos demandes : https://www.irif.fr/calculator/index

- L’espace de détente du 3e étage (face à l’espace café) va être prochainement ré-ouvert (portes supprimées).

- Plusieurs redirections de mail saisies directement dans le LDAP engendrent de nombreuses erreurs. Je vous demande de suivre la procédure de l’intranet pour vos redirections (forward).
En conséquence, je vous demande de bien laisser (ou rétablir) l’adresse LDAP à prénom.nom@irif.fr sur

Actualités scientifiques

- IRIF has the great pleasure to welcome a new researcher (CNRS), Amaury Pouly , an expert in continuous models of computations, and the analysis and verification of continuous/hybrid dynamical systems.

- IRIF has the great pleasure to welcome Jeremy Siek , professor at Indiana University Bloomingtom, who is visiting IRIF for five months . Jeremy is the creator of gradual typing and a world-renowed expert in typed programming languages. Meet him in office 4034a.

- Amélie Gheerbrand and Cristina Sirangelo from IRIF co-organize with L. Libkin, L. Segoufin, and P. Senellart, the 2019 Spring School on Theoretical Computer Science (EPIT) on Databases, Logic and Automata , to happen the 7-12 April 2019 in Marseille. Preregistration before 13 January 2019.

- The day of the Automata, structures and verification pole will take place Monday January 21.
Tentative program:
09:20-10:20 Iordanis Kerenidis, 10:50-11:40 Daniela Petrisan; 11:40-12:30 Mahsa Shirmohammadi
14:10-15:10 Jeremy Siek, 15:10-16:00 Amaury Pouly

Notions de la semaine

A hybrid system (or hybrid dynamical system) is a dynamical system that exhibits both continuous and discrete dynamic behavior – a system that can both flow (described by a differential equation) and jump (described by a state machine or automaton). Hybrid systems have been used to model several cyber-physical systems, including physical systems with impact, logic-dynamic controllers, and even Internet congestion.

Gradual typing is a technique that allows the programmer to control which parts of a program check their type correctness (i.e., that apples are added to apples) before execution and which parts check it during their execution instead. It is often used to gradually add the before-execution check to dynamic languages, like JavaScript, which perform the check only at run-time, since it is generally better to find errors before the execution of a program rather than during its execution.

Informations des partenaires

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

- CNRS : Appel à projets ERC Consolidator Grant 2019 destiné aux chercheurs et enseignants chercheurs ayant obtenu leur thèse entre le 1er janvier 2007 et le 31 décembre 2011 inclus (extension possible selon certains critères dont maternité). Deadline : 7 février, 17h00. Les tutelles, dont ici le CNRS, et l’IRIF peut vous aider à préparer le dossier ou tout simplement à vous conseiller si vous hésitez à candidater. Merci de contacter dans tous les cas la direction : direction@irif.fr

- GDR IM : École Jeunes Chercheurs et Chercheuses en Informatique Mathématique, du 4 au 8 mars 2019. Date limite d’inscription :20 janvier 2019.

- Paris Diderot : Elections CNU - Demande d'inscription des chercheurs (DR,CR) sur les listes électorale. Date limite d’inscription pour les chercheurs CNRS/Inria : 11 février 2019. Déposer vos formulaires à l’UFR au 3e étage.

- CNRS : Lettre du CS de l’INS2I