MTV2

La journée MTV2 le jeudi 17 octobre 2019 à Télécom ParisTech à Paris

La journée MTV2 2019 aura lieu le jeudi 17 octobre 2019 à Télécom ParisTech (46, rue Barrault, Paris).

Cette année, elle sera co-localisée avec la conférence internationale IFIP-ICTSS 2019 (The 31st IFIP International Conference on Testing Software and Systems) les 15-17 octobre 2019:

  http://ictss2019.centralesupelec.fr/

Programme de la journée MTV2 le 7 décembre 2018 à Evry

La journée MTV2 aura lieu le vendredi 7 décembre 2018 à l'ENSIIE à Evry.

Cette année, le programme inclut dix présentations et notamment deux exposés invités :

  • Bernhard Aichernig (Graz University of Technology, Austria)  “Smart Black-box Testing - Combining Model Learning and Model-based Testing”

  • Mike Papadakis (Univ. Luxembourg) “Mutation Testing Advances”

Le programme complet est disponible sur la page web de l'événement

Journées LTP et MTV2, jeudi 6 décembre et vendredi 7 décembre 2018

Le groupe LTP (Langages, types et preuves) se réunit jeudi 6 décembre 2018 à l'ENSIIE à Evry.

Le groupe MTV2 (Méthodes de test pour la validation et la vérification) se réunit vendredi 7 décembre au même endroit.

L'inscription à chaque journée est gratuite mais nécessaire pour assurer le bon déroulement de l'événement.

Toutes les informations sont disponibles sur les pages

http://www.ensiie.fr/~guillaume.burel/ltp/journee_2018.html

et

Journée commune MFDL/MTV2, Le 7 Décembre 2017

Une journée 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 à Paris, à Telecom ParisTech, le 7 Décembre 2017. 

L'appel à contributions est disponible sur : http://lig-membres.imag.fr/idani/MTV2_MFDL/index.html

Cette journée prendra la forme suivante :

Bourses du GDR GPL pour doctorants participant à ISSRE 2017 à Toulouse - appel à candidatures

Bonjour,

Grâce au soutien du GDR GPL, les organisateurs de ISSRE 2017 pourront accorder quelques bourses à des doctorants participant à la conférence

  The 28th International Symposium on Software Reliability Engineering (ISSRE 2017)
  à Toulouse, les 23-26 octobre 2017
  http://issre.net/

Programme de la journée MTV2 le 01.12.2016 au LRI à Orsay

Le programme de la journée du groupe de travail MTV2 (Méthodes de Test pour la Vérification et la Validation) du GDR GPL qui aura lieu

      le 1er décembre 2016 au LRI (bât. 650, salle 435), à Orsay

est désormais disponible sur

      http://perso.ecp.fr/~gallp/Journee_MTV2_2016.html

Pour toute inscription tardive, merci de contacter les organisateurs par mél.

Nikolai, Pascale et Fatiha

Journée MTV2 le 01.12.2016 à Orsay

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 1er décembre 2016

au LRI, à Orsay. Elle sera organisée par Fatiha Zaidi.

L'inscription est gratuite, mais obligatoire pour la bonne organisation de la journée. Elle comprend le déjeuner et les pauses. Le programme détaillé sera publié plus tard.

Les personnes intéressées peuvent s'inscrire sur le doodle ici.

Nikolai et Pascale

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

Réunion du groupe MTV2 le 9 décembre 2015 à CentraleSupelec

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

Conférence ICFEM'2015 à Paris

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

Pages

S'abonner à RSS - MTV2