Toutes les annonces

Ecole d'été TAROT 2016 à Paris du 4 au 8 juillet 2016

La 12me édition de l'école d'été

   TAROT (Training And Research On Testing)

aura lieu à Paris du 4 au 8 juillet 2016.

Cette école existe depuis la création d’un projet Européen RTN et accueille généralement 80 personnes, notamment beaucoup de jeunes doctorants. Le programme et les informations pratiques sont disponibles sur le site

EJCP 2016

La prochaine édition de l'EJCP (Ecole des Jeunes Chercheurs en Programmation) aura lieu à l'Université de Lille Sciences et Technologies dans le Laboratoire CRIStAL

du lundi 27 juin au vendredi 1er juillet 2016

Un parcours unique est proposé,  mélangeant les thématiques "Ingénierie Logicielle" et  "Programmation et Vérification".

Pour plus de détails, voir le site web de l'EJCP 2016.

 

Prix de thèse GPL 2015,

Le prix Génie de la Programmation et du Logiciel a été créé en 2013
pour récompenser chaque année une excellente thèse préparée au
sein du Groupement de Recherche  Génie de la Programmation et du
Logiciel (GDR GPL).

Le GDR GPL souhaite, par ce prix, promouvoir tous les travaux du GDR
GPL, y compris des travaux fondamentaux aux travaux appliqués ayant
donné lieu à transfert industriel, à des logiciels, à des brevets,
réalisés au  sein  d'une équipe  ou de  plusieurs équipes du

Conférence CAL 2016

La prochaine édition, CAL'2016 aura lieu à Besançon, France, le 7-8 Juin 2016 Co-localisée avec les journées du GdR GPL et les conférences CIEL et AFADL

L'appel à communications est disponible ici :

http://cal-conference.fr/index.php?n=Main.HomePage

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.

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

Pages

S'abonner à RSS - blogs