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 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 Frederic.Dadeau le 17 Novembre, 2014 - 15:12
Le groupe de travail Méthodes de Test pour la Vérification et la Validation (MTV2) organisera une journée de rencontre le 3 décembre 2014 à Supélec (sur le plateau de Saclay).
La journée sera composée d'exposés scientifiques (travaux en cours, articles acceptés, projets de recherche, etc.).
Pour vous inscrire, remplir le Doodle ci dessous, avant le lundi 24 novembre
http://doodle.com/hpbb3u6gq92n5bwp
Soumis par Akram.Idani le 4 Décembre, 2013 - 12:08
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
Soumis par Laurence.Duchien le 7 Septembre, 2013 - 15:41
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.
Soumis par Laurence.Duchien le 19 Juillet, 2013 - 14:09
Soumis par Laurence.Duchien le 18 Juillet, 2013 - 13:29
Soumis par Laurence.Duchien le 27 Juin, 2013 - 14:46
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
Méthodes de test pour la validation et la vérification MTV2
Pages
