Toutes les annonces

Les lauréats du Prix GDR GPL 2015

Le jury du Prix GDR GPL a décidé  d’attribuer le Prix GDR GPL 2015 à Mounir Assaf pour sa thèse intitulée
"Approches qualitatives et quantitatives d'analyse de programmes : mise en oeuvre permissive de flux d’information sécurisés", préparée dans l'équipe commune CIDRE (INRIA, CentraleSupélec, CNRS et Rennes 1) et le Laboratoire de Sûreté des Logiciels au CEA LIST, sous la direction scientifique de Eric Totel ainsi que Julien Signoles et Frédéric Tronel.

Programme de la journée GL/\CE Tools du 10 mai

Dans le cadre de l’animation du groupe de travail GL/\CE (Génie Logiciel pour les systèmes Cyber-physiquEs) du GdR, la journée du 10 mai sera placée sous le signe de la mise en commun d’outils de génie logiciel à destinations des CPS. 

Un grand merci au LIP6 qui nous héberge ! Il reste encore une place de disponible suite à un désistement (lien pour l’inscription: https://www.eventbrite.fr/e/billets-journee-glce-tools-24114101928)

Le programme de la journée est le suivant : 

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.

Inscription et Programme des journées nationales GPL 2016

Les prochaines journées nationales du GDR auront lieu à Besançon du 8 au 10 juin 2016, colocalisées avec AFADL, CAL et CIEL.

Le programme préliminaire des journées du GDR est en ligne, et accessible depuis le site de l'événement à l'adresse :
http://events.femto-st.fr/gdr-gpl-2016

Les inscriptions aux journées nationales du GDR sont désormais ouvertes. La date limite avant augmentation des tarifs est le 16 mai 21 mai.

MOOC Systèmes Embarqués et Objets Connectés

J’ai le plaisir de vous annoncer la mise en ligne du MOOC « Systèmes embarqués et objets connectés ». Il est  ouvert aux inscriptions. 

La date d’ouverture des cours est fixée au lundi 23 mai 2016, et ce, pour une durée totale de 6 semaines.

Vous pouvez vous inscrire dès à présent sur la plateforme FUN : https://www.fun-mooc.fr/courses/univ-toulouse/101001/session01/about

 

Bon cours à tous

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

EJCP 2016 - Appel à participation

Les inscriptions à l'EJCP 2016 sont désormais ouvertes :

http://ejcp2016.univ-lille1.fr/

 

 

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

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

APPEL À CONTRIBUTIONS ET À PARTICIPATION

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

avec un accent particulier sur le thème Génie logiciel pour la robotique autonome, les systèmes cyber-physiques et les systèmes autonomiques

Pages

S'abonner à RSS - blogs