EvenementGPL

Journée GL/\CE le 29 novembre à Lille

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 le 28 novembre à Orsay

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.  

Journée MTV2 le 01.12.2016 à Orsay

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

Journées nationales 2017

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/

11 ièmes Journées du groupe Compilation

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 “Parametric Analyses of Concurrent Systems” le 26 mai 2016

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ées Nationales 2016

Les journées nationales 2016 ont eu lieu à Besançon du 8 au 10 juin 2016.

Vous trouverez sur ce site (à la fin de cet article) toutes les informations utiles sur cet événement.

Le site dédié aux journées nationales 2016 est disponible à l'adresse suivante: http://events.femto-st.fr/gdr-gpl-2016

Les journées nationales sont co-localisées avec :

Journée GL/\CE-Tools le 10 mai 2016 (LIP6)

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

Journée Génie Logiciel Empirique 2016

La troisième journée Génie Logiciel Empirique du GDR-GPL aura lieu le lundi 21 mars 2016 à Paris.

Lieu: Salle E101, Télécom ParissTech (46 r Barrault Paris 13ème), métro Corvisart

Inscription recommandée à : https://goo.gl/qBwjtS

Programme:

Accueil

9h30 - 10h00 : Accueil

10h00 - 10h15 : Introduction

Session présentations 1

Journée “solveurs SMT dans le contexte des systèmes embarqués critiques”. 29 Mars 2016

Journée AFSEC

Quand: Le 29 mars 2016
Lieu: Université Paris Diderot amphi Turing du bâtiment Sophie Germain map

Pages

S'abonner à RSS - EvenementGPL