|
Clôture des journées nationales 2010 |
 |
 |
|
Écrit par Yves Ledru
|
|
Dimanche, 14 Mars 2010 14:19 |
|
Les 2e journées nationales du GDR GPL se sont clôturées ce vendredi 12 mars à Pau avec la remise du prix du meilleur poster.
Vous trouverez sur ce site:
Merci à tous pour votre participation aux journées 2010 en espérant vous revoir à Lille l'an prochain! |
|
Mise à jour le Dimanche, 23 Janvier 2011 15:45 |
|
|
Écrit par Yves Ledru
|
|
Dimanche, 14 Mars 2010 00:00 |
|
Les posters présentés lors des journées nationales sont disponibles en ligne dans les  Actes des journées nationales 2010 (15.76 MB).
Le jury, présidé par Jean-Louis Giavitto, a distingué les trois posters suivants:
Prix du meilleur poster
Arnaud Gotlieb.
EUclide is a Constraint Language based on Imperative DEfinitions
Euclide - meilleur poster 2010 (137.83 kB)
Accessits
Sabina Akhtar, Stephan Merz and Martin Quinson.
Extending PlusCal: A Language for Describing Concurrent
and Distributed Algorithms
PlusCal - Accessit meilleur poster 2010 (101.66 kB)
Peggy Cellier, Mireille Ducassé, Sébastien Ferré and Olivier Ridoux.
Fouille de données pour la localisation de fautes dans les programmes
Fouille de Donnees - Accessit Meilleur Poster 2010 (615.75 kB)
Merci à tous les participants et félicitations aux lauréats!
|
|
Mise à jour le Dimanche, 23 Janvier 2011 15:40 |
|
Écrit par Yves Ledru
|
|
Mercredi, 10 Mars 2010 00:00 |
|
Les deuxièmes journées nationales du GDR GPL se sont ouvertes ce mercredi 10 mars 2010 à Pau avec la conférence d'Ivica Crnkovic.
Les  Actes des journées nationales 2010 (15.76 MB) et les transparents des conférenciers invités sont disponibles en ligne:
Sont également disponibles en ligne
Les quatre événements de cette semaine paloise ont attiré près de 200 personnes, pour des sessions pleinières, des sessions parallèles et des présentations de posters.
Les événements sociaux méritent également d'être soulignés. La visite du chateau et le banquet au Palais Beaumont ont contribué aux discussions informelles entre les participants. Merci aux organisateurs!
|
|
Mise à jour le Dimanche, 23 Janvier 2011 15:48 |
|
|
Appel à Posters et Démos pour les Journées Nationales 2010 |
|
|
 |
|
Écrit par Yves Ledru
|
|
Lundi, 02 Novembre 2009 21:11 |
|
Journées Nationales du GDR Génie de la Programmation et du Logiciel
Pau, 10-12 mars 2010
Appel à Posters et Démos
(Date limite : le 10 janvier 2010 prolongée jusqu'au 15 janvier 2010)
Le GDR Génie de la Programmation et du Logiciel organise ses deuxièmes journées nationales à Pau du 10 au 12 mars 2010. Ces journées seront l'occasion de rassembler l'ensemble de la communauté nationale autour des thèmes du Génie Logiciel et des Langages de Programmation. Elles comprendront
- trois conférences invitées
- des sessions organisées par chacun des groupes de travail
- des sessions posters et démos
Pour encourager chacun à participer activement à ces journées, nous lançons un appel à posters et à démos.
La liste des thèmes couverts par le GDR comprend notamment (liste non exhaustive):
- l'ingénierie des exigences et la traçabilité logicielle
- l'ingéniérie dirigée par les modèles
- l'ingénierie des lignes de produits logiciels
- l'utilisation de patrons pour l'analyse, l'architecture ou la conception de logiciels
- l'utilisation des aspects pour la conception et la programmation
- la conception à base de composants et d'une façon plus générale, l'étude des frontières dans le logiciel (modules, composants, aspects,...)
- la conception et l'utilisation de langages métiers et de langages spécifiques à des domaines
- la conception de langages plus sûrs et plus expressifs
- le développement des techniques de vérification et de validation à partir de spécifications ou de code : analyse statique, génération de tests et raffinements prouvés
- la testabilité logicielle
Les soumissions peuvent prendre deux formes : soit le poster lui-même, réduit à un format A4 dans un fichier PDF, soit une courte description du travail en deux pages au format llncs, en utilisant le package a4wide .
Les posters seront publiés dans les actes de la conférence. Vu les délais très courts, la version soumise sera la version finale. Les soumissions de démos prennent la même forme que les soumissions de posters (poster ou deux pages), mais une table sera prévue pour y installer un ordinateur portable avec la démo. Il est donc important que vous cochiez la bonne case lors de la soumission de votre démo. Un prix du meilleur poster sera remis à l'issue de ces journées par un jury présidé par Jean-Louis Giavitto. Les posters des démos participeront également à cette compétition. Les soumissions se font via le site http://www.easychair.org/conferences/?conf=gpl2010Pour chaque soumission, il est obligatoire de mentionner le ou les groupes de travail du GDR GPL auxquel se rapporte le travail de echerche (rubrique "topics"). Pour plus de renseignements sur les thématiques des groupes de travail, rendez-vous sur http://gdr-gpl.cnrs.fr/
Le site de soumission sera également utilisé pour l'appel à défis. Veillez à bien cocher la case correspondant à un poster ou une démo.
Dates importantes
10 janvier 2010 : date limite de soumission des posters et démos
fin janvier 2010 (date à préciser) : notification d'acceptation
12 mars 2010 : proclamation du prix du meilleur poster
Comité de Programme
Le comité de programme est constitué par les responsables des groupes de travail du GDR GPL ainsi que les membres du bureau. |
|
Deuxièmes journées nationales 2010 du GDR GPL |
|
|
|
|
Écrit par Yves Ledru
|
|
Vendredi, 30 Octobre 2009 13:42 |
|
Les deuxièmes journées nationales du GDR GPL se dérouleront à Pau dans la semaine du 8 au 12 mars 2010. Elles seront co-localisées avec CAL, IDM et LMO .
Les journées nationales comprendront
- Trois conférenciers invités
- Ivica Crnkovic, professeur à l'université de Mälardalen, en Suède
- Pierre-Etienne Moreau , professeur à l'Ecole des Mines de Nancy , membre du LORIA /INRIA
- Gérard Berry, directeur de recherche à l'INRIA, titulaire de la chaire « Informatique et sciences numériques » au Collège de France et membre de l'Académie des Sciences.
- Une présentation de l'institut INS2I par Florence Sèdes
- des sessions organisées par chacun des groupes de travail
- des sessions posters et démos
Ces journées seront précédées par les conférences CAL, IDM et LMO , et d'une réunion du groupe de travail COSMAL . Elles seront l'occasion de rencontres entre les communautés qui constituent le GDR GPL et je vous invite à y venir nombreux. Vous trouverez prochainement sur ce site plus d'informations sur les dates importantantes pour la soumission de posters et l'inscription. En particulier, les organisateurs proposeront une formule d'inscription gratuite pour les doctorants (voir Inscription et infos pratiques ).
|
|
Mise à jour le Dimanche, 23 Janvier 2011 15:43 |
|
|
|
|
|
|
Page 2 sur 2 |
