Edito

La pause estivale approche avec son lot de chantiers de saison et de retards accumulés durant le confinement. Les journées sont longues avec de multiples visio-conférences qui tentent de combler comme elles le peuvent l'absence de discussion au laboratoire. Je vous remercie donc tous pour votre investissement collectif, tout en partageant vos préoccupations pour la fin de cette année, et encore plus celles pour la reprise.

Concernant les locaux de l'IRIF, je peux vous assurer que tout est en place pour que vous puissiez y revenir tous dès à présent et y organiser vos séances de travail. Si vous avez la moindre inquiétude ou questionnement quant aux mesures mises en place, n'hésitez pas à contacter direction@irif.fr.

La semaine prochaine, le conseil scientifique de l'UFR d'Informatique va finaliser la demande de poste d'Enseignant-Chercheur et de soutien administratif et informatique à la recherche auprès de l'Université de Paris. Les discussions de cette semaine en conseil de laboratoire puis en conseil scientifique sur les profils recherches ont été difficiles mais franches et ouvertes. Je ne doute pas que ces profils garantiront les meilleurs recrutements et orientations à venir pour le laboratoire.

Enfin, nous vous proposons de terminer l'année de façon originale lors d'un goûter auto-organisé par petits groupes au Parc Montsouris autour du lac ce lundi 6 juillet à 17h.

Annonces de la direction

  • Goûter de fin d'année : Les restrictions de regroupement en espace public ne s'étant pas assouplies, nous ne pourrons pas organiser d'évènement, mais nous vous laissons vous regrouper si vous le souhaitez par petit groupe lors d'un goûter auto-organisé au Parc Montsouris autour du lac ce lundi 6 juillet à 17h afin de clôturer cette année si compliquée sur une note plus détendue.
  • Fermeture estivale
    • Accès bâtiment : Les services de l'université ferme du 25 juillet au 16 août inclus. L'accès au bâtiment sera restreint durant cette période. Une procédure d'inscription va suivre. D'ici là profitez du bâtiment en accès libre…
    • Fonctionnement du secrétariat : Le secrétariat sera fermé quelques jours la première semaine d'août. Pensez à utiliser l'alias secretariat@irif.fr.
    • Direction : A partir du 11 juillet, la direction sera alternée jusqu'à fin août. Pensez à utiliser l'alias direction@irif.fr.
  • Conseil de laboratoire du 30 juin 10h30 : Compte-rendu sur l’intranet
  • Loi de programmation pluriannuelle de la recherche : Une motion est soumise au vote via le système Belenios au nom de l'UFR d'Informatique et de l'IRIF jusqu'au 6 juillet 2020. Vérifiez votre boîte mail !

Actualités scientifiques

  • Cette période est marquée par une série de plusieurs conférences importantes pour l'IRIF : STOC, FSCD, FPSAC, ICALP et LICS. A cet effet, l'IRIF prend en charge le remboursement sur sa subvention tous les frais d'inscriptions nécessaires pour y participer. Pour ce, remplissez simplement un ordre de mission indiquant les frais d'inscriptions uniquement sur https://mission.irif.fr.
    Voici les liens vers les exposés et vidéos (dont plusieurs de membres de l'IRIF !) pour les conférences jointes ICALP et LICS (8-11 juillet, accès aux sessions Zoom sur inscription) d'une part et la conférence FPSAC (6-24 juillet) d'autre part :

Défi de la semaine

Le solution du précédent défi a été donnée collectivement par Clément Metz, Guillaume Chapuy, Bérénice Delcroix-Oger et Hugo Férée. Voici l'une des solutions :

C'est impossible. En effet, définissons le poids d'une configuration comme la somme des 1/2^{i+j} sur toutes les entrées (i,j) occupées. Puisque les transitions préservent le poids, toute configuration accessible a poids égal à celui de la configuration de départ, qui est 1+1/2+1/2+1/4=2,25. Mais la matrice infinie qui n'a que des 1 a poids \sum_{i,j} 1/2^{i+j} = 2^2 = 4. Donc toute configuration qui évite le carré voulu a poids au plus 4-2,25=1,75, et n'est donc pas accessible.

Question (ouverte ?): Est-ce que le problème qui prend en entrée une configuration et une région, et demande si la région peut être vidée, est décidable.

Le nouveau défi de cette semaine nous a été envoyé par Clément Metz, stagiaire à l'IRIF.

Un bâtiment comporte n étages. On souhaite savoir quel est l'étage limite à partir duquel on ne peut plus lancer un téléphone par la fenêtre sans qu'il se casse. On dispose d'un nombre de q>=2 téléphones pour mener à bien l'expérimentation. Trouver un algorithme de complexité O(log(n) + sqrt(n/2^q)) (en termes de téléphones défenestrés !) qui répond au problème.

Solution dans la prochaine lettre… La première personne qui envoie la bonne réponse à direction@irif.fr,cmetz@irif.fr pourra soumettre dans les prochaines lettres son propre défi !

Appels d'offres et informations des partenaires

  • Missions d'enseignement pour doctorants : Dernier jour pour s'inscrire jusqu'à 17h. Bien choisir P7 Informatique. Les doctorants déjà moniteurs n'ont pas besoin de s'inscrire sur le site.
  • Calendrier ERC : le calendrier des appels ERC 2021 ne sera connu qu'à l'automne 2020, une fois publié le nouveau programme de travail. En raison des délais liés à la mise en place de Horizon Europe, les premiers appels ERC seront cependant décalés par rapport aux années précédentes. Ceci devrait se traduire par des dates limites de soumission reportées pour l'appel Starting à début mars 2021 et pour l'appel Consolidator à la mi-avril 2021. Le calendrier de l'appel Advanced ne devrait pas être modifié (deadline fin août 2021). Par ailleurs, il n'y aura pas d'appel Synergy en 2021. Le prochain appel dans cette catégorie sera en 2022.

Motions sur la LPPR chez nos voisins