Actualité MTV2

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

Soumis par Nikolai.Kosmatov le 27 Novembre, 2016 - 11:48

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

Soumis par Nikolai.Kosmatov le 5 Octobre, 2016 - 09:32

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

Soumis par Nikolai.Kosmatov le 18 Février, 2016 - 11:44

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

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

Conférence ICFEM'2015 à Paris

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

Journée du groupe MTV2 le 3 décembre 2014 à Supélec

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

Journées MFDL/MTV2 2014

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

 

4ème Conférence Internationale ABZ 2014 - ASM, Alloy, B, TLA, VDM, Z - June 2 - 6 2014 Toulouse - France

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.

Section 6 du CoNRS - CR session de printemps 2013

Soumis par Laurence.Duchien le 19 Juillet, 2013 - 14:09

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.

 

 

Pages