Français Anglais
Accueil Annuaire Plan du site
Accueil > News du laboratoire > test de logiciel, vérification et validation
test de logiciel, vérification et validation
test de logiciel, vérification et validation test de logiciel, vérification et validation
01 janvier 1970

La 3ème conférence "test de logiciel, vérification et validation" (équipe ForTesSe) se tiendra du 6 au 10 avril prochain, à paris.
Testing, verification and validation activities are already flourishing areas with an active participation of a large community of researchers, experts, and industrialists. This community is highly aware of the importance and impact of testing on the future deployment and use of software and software intensive systems.
?
As a leading testing conference ICST has been very successful in bringing industry and research together to help shape the future of testing. ICST conferences have raised and provoked many new important issues and challenges for this area, driving and focusing research activities, as well as, the evolution of testing practices within industry.
 In 2010, the conference will take place in Paris at Telecom ParisTech from Tuesday April 6th to Saturday April 10th. The conference itself will be held on April 7th, 8th, and 9th. The first and last days will be devoted to ten associated workshops.

Pour en savoir plus: http://vps.it-sudparis.eu/icst2010/barre.htm
News
Un article de Isabelle Guyon sur la démocratisation de l'IA
19 mars 2018
Lien vers l'article paru dans le journal le monde :
http://www.lemonde.fr/acces-restreint/sciences/article/2018/04/08/a4544bd07cad09fe52980c0f82c08b34_5282548_1650684.html

Michèle Sebag a été élue membre de l'Academie des Technologies
13 avril 2018
Michèle Sebag, DR CNRS et Directrice Adjointe du LRI, a été élue membre de l'Academie des Technologies

https://www.academie-technologies.fr/members/454-michele-sebag

Lin Chen a reçu la médaille de bronze du CNRS
27 mars 2018
Lin Chen, membre de l'équipe GALAC (https://www.lri.fr/~chen/) a reçu la médaille de bronze du CNRS. Ses principaux travaux de recherche portent sur la modélisation, l'analyse théorique, et la conception des algorithmes et protocoles distribués innovants