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 !
ICALP 2022 organizing committee is thrilled to present the six invited speakers of the conference :
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