Plusieurs annonces dans la lettre cette semaine : le classement du comité de sélection aux postes de Maîtres de Conférence 109 et 110 de l’Université de Paris à l’IRIF, les résultats du concours CNRS INS2I/Section 6 (Informatique fondamentale) et 8 postes d’ATER en informatique mis à concours à l’UFR d’Informatique.

Côté actualités scientifiques, à lire l’article de B.Guinard et A. Korman récemment publié dans Science Advances et un zoom sur l’article qui a remporté le Concur Test of Time Award 2021.

A ne pas manquez, la date de clôture de l’appel à projets Emergence (29 avril 11h00, heure de Paris) : n’hésitez pas à réutiliser des demandes existantes, même celles qui auraient été rejetées au 1er tour de l’ANR.

Pour les intéressés, le Service Culturel de l’Université de Paris lance 2 projets culturels. Si ces initiatives vous intéressent, manifestez-vous auprès de cadet@irif.fr.

Et enfin, un rappel important concernant les procédures d’achat réclamant un financement : toujours contacter le secrétariat, en particulier pour les demandes de remboursement.

Bonne lecture !

• Classement du comité de sélection aux postes de Maîtres de Conférence 109 et 110 de l'Université de Paris à l'IRIF :
  • Poste 110 : 1) Geoffroy Guillaume, 2) Lafont Ambroise, 3) Pistone Paolo, 4) Rambaud Matthieu, 5) Pirot François, 6) Guerrieri Giulio
  • Poste 109 : 1) Foughali Mohammed, 2) Grange Julien, 3) Rambaud Matthieu, 4) Pirot François, 5) Stan Daniel

• Résultats du concours CNRS INS2I/Section 6 (Informatique fondamentale). Plusieurs dossiers “IRIF” parmi les candidats classés, dont notre ancienne doctorante Raphaëlle Crubillé, et 5 ayant été soutenus par l'IRIF pour une intégration au laboratoire (noms soulignés). Félicitations à toutes et tous. Résultats d'admissibilité (qui peuvent encore évoluer à l'admission) pour le concours CR06/02 (7 postes) sur www.cn6.fr : 1) APERS Simon, 1) CRUBILLÉ Raphaëlle, 1) PAZ Ami, 1) PETERFREUND Liat, 1) PETERS Dominik, 6) ABELARD Simon, 6) CARMELI Nofar, 6) LOCHET William, 6) VIGNUDELLI Valeria, 10) DE VISME Marc, 10) GUÉNEAU Armaël, 10) VERMEULEN Kevin.

• 8 postes d'ATER en informatique mis au concours à l'UFR d'Informatique de l'Université de Paris : Les profils sont ouverts sur tous les aspects de l'informatique de l'IRIF. Pour candidater, cliquez ici. Date limite de candidature : 4 mai 2021 (16h, heure de Paris). Plus d'informations ici.

• Prochain conseil de laboratoire du 20 avril 13h
  • Point sur la liberté d'expression (article 28 du règlement intérieur de l'Université de Paris) : recommandation du conseil
  • Medias de communication, de diffusion et d'échanges : responsabilité, recommandation du conseil
  • Participation au conseil : Tout membre de l'IRIF peut assister au conseil de laboratoire en tant que spectateur (sauf pour toute discussion à huis clos). Ecrire à direction@irif.fr

• Procédures d'achats réclamant un financement : Toujours contacter secretariat@irif.fr et en particulier pour les demandes de remboursement. Les règles sont très strictes et doivent être vérifiées avant l'achat. Tous les détails.

• Service Culturel / Université de Paris : Création de 2 projets culturels. Si vous êtes intéressé à participer à l'une des ces activités, envoyez un mail à cadet@irif.fr
  • Des visites d’1h30 sur le thème du street art par groupes de 5 à partir de la fin avril 2021. 6 visites prévues : 3 dans le 13ème et 20eème entre 12h et 14h, et 3 autres à Montmartre, Montreuil et dans le Marais à partir de 16h30. Si vous êtes intéressé à participer, envoyez un mail à cadet@irif.fr pour nous aider à estimer le nombre de places à prévoir.
  • Des consultations poétiques par téléphone avec le Théâtre de la Ville en plusieurs langues: français, anglais, mandarin, japonais, espagnol, arabe. Les modalités d’inscription seront communiquées ultérieurement.

• Inventaire matériel empruntable pour le télétravail (disponible au secrétariat - bureau 4001- ou dans le bureau de Houy)
  • Tablettes graphiques : 9
  • Ipad : 9 – Stylet iPad : 12
  • Webcam : 9 - Casques-micro : 2
  • Casques bluetooth à conduction osseuse : 2
  • Ordinateurs de bureau : 3 – Ordinateurs portables : 3
  • Ecran : 0
  • Adaptateurs et accessoires divers (Stylet Ipad *12,Smart cover *8)

• Newly accepted paper : “Intermittent Inverse-Square Lévy Walks are Optimal for Finding Targets of All Sizes.” B. Guinard and A. Korman. Science Advances, 2021.
  Lévy walks are common movement patterns in animals. It has been hypothesized that such patterns are highly efficient as a foraging strategy. However, despite extensive research in the past two decades, there was no proof that such patterns are preferable in any manner, in higher dimensions than one. This paper proves that in two dimensions, such patterns are almost optimal at finding targets of unpredictable size, especially when detection abilities are limited.

Initialement présenté lors de la conférence Concur 1997, l’article « Reachability Analysis of Pushdown Automata : Application to Model-checking » co-écrit par Ahmed Bouajjani (IRIF), Javier Esparza (Technische Universität München) et Oded Maler reçoit, 24 ans plus tard, le Concur Test of Time Award 2021.

Le prix récompense les réalisations importantes en matière de théorie de la concurrence publiées lors d’une conférence Concur et ayant résisté avec succès à l’épreuve du temps. Cet article constitue une percée dans le domaine de la vérification formelle. Il présente une méthode devenue un standard en matière de vérification des systèmes infinis. L'article porte sur la vérification de systèmes modélisés par des automates à pile, un modèle fondamental avec de multiples applications, notamment en vérification de programmes procéduraux. L'idée principale est d'utiliser les automates d'états-finis pour la représentation et la manipulation d'ensembles potentiellement infinis de configurations lors de l'analyse d'un tel modèle.
L'article considère la classe générale des automates à pile alternants et présente une procédure simple, basée sur les automates finis, pour l'analyse d'accessibilité et le calcul des configurations accessibles. La procédure est ensuite utilisée pour résoudre plusieurs problèmes de model-checking (vérification qu'un modèles satisfait une propriété exprimée dans différentes logiques temporelles pour la spécification de comportements). Cet article a eu un impact important sur la communauté, concernant aussi bien les fondements (algorithmes de model-checking, jeux, etc.) que les applications (techniques et outils de vérification de programmes récursifs, concurrents, etc.)

• [Rappel] DIM Math Innov / Financement 9 allocations doctorales 2021 : Subventionné par la Région Île-de-France, le Domaine d'Intérêt Majeur (DIM) Math Innov propose de financer jusqu'à 9 allocations doctorales en mathématiques et en informatique théorique de 3 ans à partir d’octobre 2021. Vous trouverez les détails de l’offre ici. Le formulaire de candidature ici. Pour que la candidature soit recevable, elle devra être complétée entre le 01 mars 2021 et le 20 mai 2021 (23h59 heure de Paris).

• [Rappel] Université de Paris / Lancement Appel à projets Emergence Campagne 2021 : La date de clôture de l’appel à projets est prévue le 29 avril 2021 à 11h00 (heure de Paris). N'hésitez pas à réutiliser des demandes existantes, même celles qui auraient été rejetées au 1er tour de l'ANR. Toutes les informations sont à retrouver ici : https://u-paris.fr/appel-emergence-en-recherche-2021/
  Montant : entre 20 000 et 50 000€
  Durée : 1 à 2 ans

• Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.
  • CNRS Hebdo du 15/04/2021 avec à la une les lauréats 2021 de la médaille de l'innovation du CNRS
  • Informations d'internationalisation de l'Université de Paris du 15/04/2021