Toutes les annonces

Le prix du meilleur poster a été décerné à Antoine El-Hokayem (LIG) et Yliès Falcone (LIG) pour leur poster intitulé "THEMIS: A Tool for the Design, Development, and Analysis of Decentralized Monitoring Algorithms".

Il leur a été remis par Frédéric Dadeau (FEMTO-ST) président du jury du meilleur poster.

La troisième conférence invitée prenait la forme d'un tutoriel, donné par David Monniaux et intitulé "SMT-solving initiation". Ses transparents sont disponibles ici.

Le repas de gala 2018 nous a fait prendre de la hauteur. Il était situé dans le fort de la Bastille, sur les hauteurs de Grenoble. La plupart des participants ont profité du téléphérique, mais certains sportifs sont montés à pied!

L'assemblée générale du GDR GPL a été l'occasion pour son directeur, Pierre-Etienne Moreau, de présenter les évolutions des missions des GDR telles que souhaitées par le CNRS pour les prochaines années.

Cette année, le jury du prix de thèse du GDR GPL a examiné 10 soumissions. A l'issue de ce concours, deux candidats ont été distingués. Catherine Dubois et Pascale Le Gall, co-Présidentes du jury, ont remis leurs prix aux lauréats à l'occasion des journées GPL2018. 

La conférence AFADL a été ouverte par Antoine Rollet et Arnaud Lanoix.

Les actes d'AFADL sont disponibles ici.

Houari Sahraoui (Univ. Montréal, Canada) a ouvert la deuxième journée GPL 2018 avec un exposé intitulé "La visualisation des logiciels ou comment voir et explorer l’intangible". Ses transparents sont disponibles ici.

Le programme scientifique de cette première journée s'est terminé par une table ronde dédiée à l'ingénierie des exigences.

La première conférence invitée de ces journées 2018 était donnée par Marc Frappier (Université de Sherbrooke, Canada) et s'intitulait "Diagrammes états-transitions algébriques". Ses transparents sont disponibles ici.

Les 10es journées nationales du GDR GPL ont été ouvertes ce matin par Pierre-Etienne Moreau, directeur du GDR GPL, Gaëlle Blanco, responsable du département Informatique de l'IUT2 de Grenoble, Sophie Dupuy-Chessa et Yves Ledru.