Journées communes LVP+MTV2 les 16-17 nov. 2023 à Palaiseau

Les prochaines journées communes des groupes de travail LVP et MTV2 auront lieu

MLIR: The Good, the Bad and the Ugly

Journée sur MLIR le mardi 17 octobre 2023 à Rennes.

Journées Francophones des Langages Applicatifs 2024 (JFLA 2024)

Les Journées Francophones des Langages Applicatifs 2024 (JFLA 2024) se tiendront à Saint-Jacut-de-la-Mer (Côtes d'Armor, Bretagne), du mardi 30 janvier 2024 au vendredi 2 février 2024.

Site de la conférence : http://jfla.inria.fr/jfla2024.html

GPL2023 - Programme final et actes

La version finale du programme des journées nationales GPL 2023 est disponible ici.

Les actes des journées sont disponibles ici.
 

Conférence invitée de Jean Jouzel

La cinquième conférence invitée était partagée avec la conférence ICT4S. Elle était donnée par Jean Jousel (CEA, médaille d'or du CNRS 2002) et s'intitulait "Global warming : The need for a new model of development and the key role for higher education".

Ses transparents sont disponibles ici.

Galette saucisse et spectacle

La soirée de ce mercredi a commencé au son du biniou, autour d'un food truck breton (c'est à dire qu'il prépare des crêpes et des galettes) et s'est poursuivie par un spectacle scientifique du groupe Disnovation.

AG 2023 du GDR GPL

L'AG annuelle du GDR GPL s'est tenue ce mercredi 7 juin. Elle était animée par les deux co-directrices du GDR. Leurs transparents sont disponibles ici.

 

Prix du meilleur poster des journées GPL 2023

Le jury, présidé par Nicolas Magaud a attribué le prix du meilleur poster des journées GPL 2023 à Mamy Razafintsialonina (CEA LIST) pour son poster intitulé

"Comment améliorer l'efficacité de l'analyse statique des programmes?"

Le poster est disponible ici.

Conférence de Sandrine Blazy, médaille d'argent du CNRS 2023

La quatrième conférence invitée des journées GPL 2023 était donnée par Sandrine Blazy (Université de Rennes et IRISA), médaille d'argent 2023 du CNRS.

Son exposé était intitulé "How to provide proof that software is bug-free? Verified compilation to the rescue".

Ses transparents sont disponibles ici.

Conférence invitée de Sébastien Bardin

La troisième conférence invitée était donnée par Sébastien Bardin (CEA). Elle était intitulée "Revisiting Program Analysis through the Security Lens".

Ses transparents sont disponibles ici.

S'abonner à GDR GPL RSS