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).
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/
Soumis par Jacques.Malenfant le 15 Octobre, 2015 - 14:24
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
Soumis par Julien.Tesson le 13 Octobre, 2015 - 19:00
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.
Soumis par Nikolai.Kosmatov le 2 Octobre, 2015 - 13:45
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
Soumis par Catherine.Dubois le 2 Octobre, 2015 - 08:39
Les Journées Francophones des Langages Applicatifs 2016 (JFLA 2016) se tiendront du 27 au 30 janvier 2016, près de Saint Malo.
Soumis par Frederic.Dadeau le 25 Août, 2015 - 08:35
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
Soumis par Regine.Laleau le 24 Août, 2015 - 15:06
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
Nous avons pu identifier 3 articles de RIMEL au programme de ICSME 2015 (Sep 29 - Oct 1, 2015, Bremen, Germany).
How Do Developers React to API Evolution? The Pharo Ecosystem Case
A. Hora, R. Robbes, N. Anquetil, A. Etien, S. Ducasse, M. T. Valente
Developers' Perception of Co-Change Patterns: An Empirical Study
L. L. Silva, M. T. Valente, M. Maia, N. Anquetil
System Specific, Source Code Transformations
G. Santos, N. Anquetil, A. Etien, S. Ducasse, M. Tulio Valente
Vous êtes invité à soumettre des propositions de présentation à la journée Rimel du 02 Décembre 2015. Cette soumission peut prendre la forme d'un extended-abstract (min. 2 pages) ou d'un article complet (max. 10 pages) en français ou en anglais. Les étudiants en début de thèse sont particulièrement encouragés à venir présenter leurs idées pour les tester devant un publiques rigoureux mais bienveillant :-) .
Pages
