Toutes les annonces

Journées LTP et MTV2, jeudi 6 décembre et vendredi 7 décembre 2018

Le groupe LTP (Langages, types et preuves) se réunit jeudi 6 décembre 2018 à l'ENSIIE à Evry.

Le groupe MTV2 (Méthodes de test pour la validation et la vérification) se réunit vendredi 7 décembre au même endroit.

L'inscription à chaque journée est gratuite mais nécessaire pour assurer le bon déroulement de l'événement.

Toutes les informations sont disponibles sur les pages

http://www.ensiie.fr/~guillaume.burel/ltp/journee_2018.html

et

Journées Francophones des Langages Applicatifs (JFLA) 2019

Les Journées Francophones des Langages Applicatifs 2019 (JFLA 2019) se tiendront du 30 janvier au 2 février 2019 aux Rousses.

Site de la conférence: https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/

Journée Ingénierie des Exigences à Toulouse

Le groupe de travail "Ingénierie des Exigences" (IE) du GDR GPL a organisé une journée de travail le 1er octobre 2018 de 9h30 à 17h30 à Toulouse, en collaboration avec l'ONERA, l'IRIT, la société Prometil et la Région Occitanie dans le cadre du projet ELENAA. 

Le programme et les informations pratiques sont disponibles sur le site https://www.irit.fr/SIG/jet2018/

Cinquième Journée de l'action transversale ALROB sur le thème « Cloud/Fog/Edge Computing » pour la robotique autonome et les systèmes cyber-physiques de contrôle intelligents

APPEL À CONTRIBUTIONS ET À PARTICIPATION

Cinquième Journée de l'action transversale ALROB
Architectures logicielles pourle robotique autonome
sur le thème

« Cloud/Fog/Edge Computing » pour la robotique autonome et les systèmes cyber-physiques de contrôle intelligents

organisée au LIP6 (Sorbonne Université/CNRS)
soutenue par les GDR GPL et Robotique du CNRS

Paris, 12 novembre 2018

Date limite des propositions : 26 octobre 2018
Types : présentations et posters ; travaux nouveaux ou déjà publiés

Retour sur les journées nationales 2018

Les 10es Journées Nationales du GDR GPL se sont tenues à Grenoble, dans les locaux de l'IUT2 (UGA), du 12 au 15 juin 2018. Elles ont réuni près de 120 personnes et étaient colocalisées avec AFADL, CAL et CIEL.

Vous retrouverez ci-dessous toute l'information sur ces journées, leurs actes, les sessions invitées, la table ronde consacrée à l'Ingénierie des Exigences, les prix de la meilleure thèse 2017 et du meilleur poster.

Clôture des journées GPL 2018

Les journées GPL se sont terminées ce vendredi midi avec les deux dernières sessions de la conférence CAL/CIEL.

Un grand merci à toute l'équipe grenobloise pour l'organisation, aux membres des comités de programme et groupes de travail pour la préparation du programme, aux orateurs et aux participants !

 

Prix du meilleur poster GPL 2018

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.

Conférence invitée de David Monniaux

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.

Repas de Gala GPL2018

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!

AG du GDR GPL

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.

Pages

S'abonner à RSS - blogs