EvenementGPL

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

Compte-rendu de la 1ère journée du GT Ingénierie des Exigences – 9 octobre 2015

La première journée du GT IE (Ingénierie des Exigences) s’est tenue le 9 octobre 2015, dans les locaux du CRI – Université Paris 1, sur le site de Tolbiac. Elle a réuni 19 personnes.

La première partie de la journée a consisté en une présentation rapide de chaque membre du groupe (2 transparents), et de ses intérêts et attentes dans le groupe de travail. Ont suivi 4 exposés longs qui ont bien montré la variété des problématiques de l'ingénierie des exigences.

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.

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

Pages

S'abonner à RSS - EvenementGPL