EvenementGPL

Le 10 novembre 2016 a eu lieu la cérémonie officielle de remise de la Médaille d'Argent 2016 du CNRS à notre collègue Jean-Marc Jézéquel.

À cette occasion, David Alis, Président de l’Université de Rennes 1, Clarisse David, Déléguée régionale CNRS pour la Bretagne et les Pays de la Loire, et Michel Bidoit, Directeur de l’Institut des sciences de l’information et de leurs interactions du CNRS ont rappelé la carrière de Jean-Marc Jézéquel tout en soulignant l'importance et la portée de ses travaux. 

Si vous avez des travaux de recherche lié aux systèmes cyber-physique (CPS) que vous souhaitez partager/présenter à la communauté. si vous voulez avoir une idée de l’écosystème CPS dans le paysage de recherche en GL, la journée du 29 novembre est faite pour vous !

Journée annuelle du groupe LTP du GDR GPL le 28 novembre 2016.

PCRI (bâtiment 650), salle 435 (salle des thèses), Orsay, Université Paris-Sud

Cette réunion permettra aux différents participants du groupe de travail de partager des idées et de présenter des travaux aboutis ou en cours. 

Cette année, nous invitons les étudiants à présenter leur résultats de stage de M2 ou de début de thèse, dans un exposé court (15 min).

Il n'y aura pas de frais d'inscription, mais les frais de voyage et d'hébergement éventuel seront à la charge des participants.  

Une journée du groupe de travail MTV2 (Méthodes de Test pour la Vérification et la Validation) du GDR GPL aura lieu

      le 1er décembre 2016

au LRI, à Orsay. Elle sera organisée par Fatiha Zaidi.

L'inscription est gratuite, mais obligatoire pour la bonne organisation de la journée. Elle comprend le déjeuner et les pauses. Le programme détaillé sera publié plus tard.

Les personnes intéressées peuvent s'inscrire sur le doodle ici.

Nikolai et Pascale

Les journées nationales 2017 auront lieu à Montpellier du 13 au 16 juin 2017.

Le site web de ces journées est à l'URL suivant : http://www.lirmm.fr/gdr-gpl-2017/

Les onzièmes journées du groupe Compilation auront lieu à Aussois du 7 au 9 septembre 2016. Pour cette édition nous accueillons (avec plaisir!) les membres du groupe LAHMA.

Pour en savoir plus : 

http://compilfr.ens-lyon.fr/onzieme-rencontre-compilation/

Journée commune AFSEC/PACS (ANR PACS : Parametric Analyses of Concurrent Systems)

Pour définir la taille de la salle et prévoir les autorisations d'accès au bâtiment , une inscription (gratuite) au plus tard le 10 mai 2016 est nécessaire en envoyant un email à olivier-h.roux@irccyn.ec-nantes.fr ; objet : "Inscription AFSEC 26 mai" (cliquer sur le lien) - préciser : Nom et Affiliation.

Journée du groupe de travail GL/\CE - Génie Logiciel pour les systèmes CyberphysiquEs

"GL/\CE-tools : Outils de Génie Logiciels pour les Systèmes Cyber-physiquEs"

10 mai 2016

Paris - Université Pierre et Marie Curie - LIP6 - Salle 26-00/101

- Journée organisée avec le support du GDR GPL du CNRS -

Objectifs et Organisation