Toutes les annonces

Journée «Systèmes Cyber-Physiques» - GL/\CE - Club des industriels

Le groupe de travail GL/\CE du GDR s’associe au club des industriels pour organiser une journée sur la thématique du Génie logiciel appliqué aux Systèmes Cyber Physique. Cette journée aura lieu le 26 janvier 2016, et sera co-localisé avec la conférence internationale ERTS (http://www.erts2016.org) et un évènement du projet européen CPSELab (http://www.cpse-labs.eu). L’objectif de cette journée est d’échanger sur les défis associés au développement logiciel pour les systèmes cyber-physiques.

Journées Nationales GPL 2016

La prochaine édition des journées nationales du GDR GPL aura lieu à Besançon, du 8 au 10 juin 2016, et sera organisée par le Département d'Informatique des Systèmes Complexes de l'Institut FEMTO-ST.

Cet événement sera précédé de deux événements satellites : l'atelier AFADL et la conférence CIEL, qui commenceront le 7 juin.

Organisation du Club Industriels du GDR GPL

Décisions des actions du club Industriels:

Il est décidé d'organiser 2 journées du club industriels par an : une en Février et une en Novembre. Le club Industriels sera aussi invité à se réunir en marge des Journées Nationales du GDR GPL (en général en Juin).

Journée annuelle du groupe LTP (Langages, Types, Preuves)

La journée annuelle du Groupe de Travail LTP (Langages, Types et Preuves) aura lieu le 12 octobre 2015 au LORIA à Nancy. Cette journée sera suivie des journées annuelles des groupes LAC (Langages, Algèbre et Calcul) et GéoCAL (Géométrie du Calcul).

Elle est organisée par Stephan Merz.

Plus d'informations sur http://www.loria.fr/~merz/2015-GeoCal-LAC-LTP/

Troisième Journée sur les Architectures Logicielles pour la Robotique Autonome, les Systèmes Cyber-Physiques et les Systèmes Auto-Adaptables

APPEL À CONTRIBUTIONS ET À PARTICIPATION

Troisième Journée sur les Architectures Logicielles
pour la Robotique Autonome, les Systèmes Cyber-Physiques
et les Systèmes Auto-Adaptables

sur le thème

Modèles à l'exécution (model@runtime) pour la vérification
la simulation et l'auto-adaptabilité dynamiques

Journée d'automne du groupe LaMHA le 26/11/2015 à l'UPMC - campus Jussieu

Une journée du groupe de travail LaMHA du GDR GPL aura lieu  le 26 novembre à l'UPMC, sur le campus de Jussieu. Les informations concernant l'inscription à la journée, le lieu exact, et le programme sont/seront sur la page de l'évènement.

L'inscription à la journée est gratuite, mais obligatoire pour permettre l'organisation de l'événement (notamment pour les repas du midi). Elle doit être faite avant le 25 octobre.

 

Réunion du groupe MTV2 le 9 décembre 2015 à CentraleSupelec

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 9 décembre 2015

à CentraleSupelec, à Châtenay-Malabry. L'exposé invité sera donné par Cristian Cadar (Imperial, London).

Le programme et toutes les indications sont sur

http://mtv2.univ-fcomte.fr/index.php?reunion2015

Journées Francophones des Langages Applicatifs (JFLA) 2016

Les Journées Francophones des Langages Applicatifs 2016 (JFLA 2016) se tiendront du 27 au 30 janvier 2016, près de Saint Malo.

Conférence ICFEM'2015 à Paris

La 17ème édition de la conférence ICFEM 2015 (International Conference on Formal Engineering Methods), organisée par Fatiha Zaidi et Sylvain Conchon du LRI, aura lieu au CNAM du 3 au 6 novembre 2015.

Le GDR soutient cette manifestation en permettant à deux étudiants inscrits en "early registration" d'obtenir une bourse pour participer à cet événement.

Tous les détails sur le site de la conférence : http://icfem2015.lri.fr

Journée de travail du groupe IE (Ingénierie des Exigences)

Le groupe de travail "Ingénierie des Exigences" (IE) du GDR GPL organise sa première journée de travail le 9 octobre 2015 à Paris.

Programme de la journée

Pages

S'abonner à RSS - blogs