MFDL

Une réunion commune des groupes de travail Méthodes de Test pour la Vérification  et la Validation (MTV2) et Méthodes Formelles pour le Développement Logiciel (MFDL)  aura lieu à Grenoble, sur le campus de Saint Martin D'Hères, les 13 et 14 Janvier prochains.

http://membres-liglab.imag.fr/idani/MTV2_MFDL/

Dates à retenir : 

- journées : 13 - 14 Janvier 2014

4ème Conférence Internationale- ABZ 2014 - ASM, Alloy, B, TLA, VDM, Z - June 2 - 6 2014 - Toulouse - France http://www.irit.fr/ABZ2014/

Après Londres, Orford et Pise, la 4ème édition de la conférence ABZ se tiendra à Toulouse du 2 au 6 juin 2014

Cette conférence a pour objectif de réunir les communautés travaillant autour de la définition et de l'utilisation de méthodes, techniques et outils intégrant des approches de modélisation formelles et de développements formels fondées sur la preuve et le raffinement.

Les informations qui suivent sont disponibles sur la page web de la section 6:
http://cn6.fr/

Le compte rendu de la session de printemps 2013, consacrée en
particulier aux renouvellements d'associations d'UMR et de GDR, ainsi
qu'aux évaluations de chercheurs est disponible :
http://cn6.fr/compte%20rendu%20-%20section%206%20-%20printemps%202013.pdf

La session d'automne 2013 aura lieu du 12 au 14 novembre 2013.

Allistene et les Pôles de compétitivité du numérique à la stratégie nationale de recherche publient une synthèse qui présente les enjeux stratégiques de la recherche en sciences et technologies du numérique et

Un compte twitter https://twitter.com/GdrGPL a été créé pour relayer les informations majeures du GDR Génie de la Programmation et du Logiciel.

Abonnez-vous et signalez-nous les informations à relayer en nous envoyant un messsage @GdrGPL