Actualité MTV2

Journées communes LVP+MTV2 les 16-17 nov. 2023 à Palaiseau

Soumis par Nikolai.Kosmatov le 30 Septembre, 2023 - 19:33

Les prochaines journées communes des groupes de travail LVP et MTV2 auront lieu

Journée MTV2 le 16.03.2023 au LMF, Univ.Paris-Saclay

Soumis par Nikolai.Kosmatov le 23 Janvier, 2023 - 10:59

La prochaine journée du groupe de travail MTV2 (Méthodes de test pour la validation et la vérification) aura lieu

  le jeudi 16 mars 2023
  au laboratoire LMF de l'Université Paris-Saclay.

Journée MTV2 le jeudi 17 mars 2022 à Télécom SudParis à Palaiseau

Soumis par Nikolai.Kosmatov le 1 Mars, 2022 - 12:18

La prochaine journée du groupe de travail MTV2 (Méthodes de test pour la validation et la vérification) aura lieu

Journée virtuelle MTV2 le 20 novembre 2020

Soumis par Nikolai.Kosmatov le 17 Novembre, 2020 - 10:29

La prochaine réunion du groupe de travail MTV2 (Méthodes de test pour la validati

La journée MTV2 2019 du jeudi 17 octobre 2019

Soumis par Nikolai.Kosmatov le 18 Novembre, 2019 - 22:40

La journée du groupe de travail MTV2 a eu lieu le jeudi 17 octobre 2019 à Télécom ParisTech à Paris. Une quarantaine de personnes ont participé à cette journée.

Cette année, elle a été 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:

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

Soumis par Nikolai.Kosmatov le 29 Septembre, 2019 - 11:22

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

Soumis par Nikolai.Kosmatov le 6 Décembre, 2018 - 12:36

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

Soumis par Alain.Giorgetti le 26 Octobre, 2018 - 09:58

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

Soumis par Akram.Idani le 13 Septembre, 2017 - 10:06

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

Soumis par Nikolai.Kosmatov le 10 Juillet, 2017 - 13:13

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/

Pages