LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Links » LIP6 events

RSS

Journées annuelles du GT VERIF, du GT FORWAL et workshop de clôture du projet ANR ImpRo


http://gt-verif.loria.fr/Wiki.jsp?page=2014
Submission deadline 05/02/2014
06/16/2014 to 06/18/2014
L'équipe MoVe organise cette année les journées annuelles du GT VERIF, un groupe de travail du GDR Informatique Mathématiques. Ces journées se tiennent en conjonction avec la journée annuelle du GT FORWAL, un groupe de travail du GDR GPL, et avec le workshop de clôture du projet ANR ImpRo. Ces journées thématiques sont consacrées aux divers aspects des méthodes formelles pour la vérification, et incluent les problématiques de la robustesse et de l'implémentation, qui sont au coeur du projet ImpRo.
More details here
Beatrice.Berard (at) nulllip6.fr
 Mentions légales
Site map |