Lettre de l'IRIF du 18 mars 2022

Edito

Cette semaine, les prochaines dates du conseil de labo, les soumissions de projets ERC ainsi que deux rappels importants : l’appel interne à projets de l’IRIF, les programmes d’invitations internationales scientifiques 2023. Notez également l'ouverture du 2ème appel à candidatures PGSM Master de l'année (dont 2 bourses féminines et 1 bourse informatique quantique). A ce sujet, nous comptons sur le personnel enseignant pour diffuser largement cet appel à candidatures auprès de leurs étudiants et étudiantes de niveaux L3 et M1. Autre information importante, le secrétariat sera exceptionnellement fermé toute la journée du 22/03.

Côté actualités scientifiques, l’intervention de Claire Mathieu dans le cadre des Jeudis du Campus et des informations sur le programme de formation doctorale Quantum Technologies.

Du côté de nos partenaires : une session d'information sur le programme PAUSE 2022 - Solidarité Ukraine et le rapport thématique sur l’intelligence artificielle de l’INS2I désormais accessible en anglais.

Et enfin, un focus sur les invited speakers à ICALP 2022.

Bonne lecture !

Annonces de la direction


Actualités


Focus on ICALP 2022 Invited Speakers

ICALP 2022 organizing committee is thrilled to present the six invited speakers of the conference :

Appels d'offres et informations des partenaires


Agenda de la semaine du 21 mars au 25 mars

Algorithmique distribuée et graphes · Mardi 22 mars, 14:00, Room 1007 ·
Arthur Da Cunha (COATI Team, Inria Sophia Antipolis, I3S), Proving the Strong Lottery Ticket Hypothesis for Convolutional Neural Networks

Preuves, programmes et systèmes · Jeudi 24 mars, 10:30, Room 3052 ·
Matteo Acclavio (Université du Luxembourg), Designing graphical proof systems

Analyse et conception de systèmes · Jeudi 24 mars, 14:00, Room 15-16 101 (campus Jussieu) ·
Loïc Sylvestre (APR/LIP6, Sorbonne Université), Macle : un langage dédié à l'accélération de programmes OCaml sur circuits FPGA

Analyse et conception de systèmes · Vendredi 25 mars, 10:30, Room 1007 ·
Mathieu Montin, Amélie Ledein, Catherine Dubois (Loria - Inria Deducteam - ENSIIE, Samovar), LibNDT: Towards a formal library on spreadable properties over linked nested datatypes

Automates · Vendredi 25 mars, 14:30, Room 3052 ·
Nathan Grosshans, Visibly pushdown languages in AC^0