Section: Other Grants and Activities
F. Bouquet: Vice-head of LIFC laboratory, PC Member of International Conference in Soft- ware Testing (ICST'09), PC member of Modevva'09 (Model-Driven Engineering, Verification, And Validation) and PC member of MBTEST 2010.
V. Cortier: coordinator of the ANR SESUR AVOTÉ (started in January 2008); local coordinator of the ARA SSIA FormaCrypt (started in January 2006); French coordinator of the PHC Alliance project on refinement of security systems; Chair of FCS 2009 (Workshop on Foundations of Computer Security, affiliated with LICS 2009); PC member of CSF 2009 (22nd Computer Security Foundations Symposium), ESORICS'09 (14th European Symposium on Research in Computer Security), TACAS 2009 (15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), ASIAN'09 (13th Annual Asian Computing Science Conference), SARSSI'09 (Conférence sur la sécurité des architectures réseaux et des systèmes d'information), ARSPA-WITS'09 (Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security); member of the CS (Comité de sélection) for the 2009 INRIA - Rennes University chair, member of the CS (Comité de sélection) for the 2009 INRIA - ENS Cachan chair, member of the recruitment committee 2009 of junior researchers at INRIA Rocquencourt, member of the Evaluation Committee of the INRIA since September 2008.
F. Dadeau: PC member of the 7th International Conference on integrated Formal Methods (iFM'09), Dusseldorf, Germany. PC member of the 2nd International Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'2010), co-located with the International Conference on Software Testing (ICST'2010). Organizer of the MTVV'2009 days in Besançon (two-days workshop) on Model-Based Testing, funded by the MTVV group of the GDR GPL).
A. Giorgetti: Editorial committee member of Techniques et Science Informatique (TSI) .
O. Kouchnarenko: director of the research team VESONTIO (former TFC) of the Laboratoire d'informatique de Franche Comté (LIFC) ; PC member of “International Workshop on Abstractions for Petri Nets and Other Models of Concurrency ”, APNOC'09. Member of the “Comité de Sélection” at the “Ecole des Mines de Nancy” and the University of Nancy I. Member of the Committee INRIA CR1 and CR2 at the Center INRIA Nancy-Grand Est. Director of the “Licence Informatique 2008-2012” in the University of Franche-Comté.
C. Ringeissen : PC member of FroCoS'09 (Frontiers of Combining Systems) and IJCAR 2010 (the 5th International Joint Conference on Automated Reasoning); member of the CS (Comité de sélection) for the recruitment of assistant professors at the University Paris-Sud 11 (Orsay).
M. Rusinowitch: member of the IFIP Working Group 1.6 (Rewriting); PC member of CADE 2009 (22nd International Conference on Automated Deduction), CRiSIS 2009 (International Conference on Risks and Security of Internet and Systems), FTP 2009 (International Workshop on First-Order Theorem Proving), Luxembourg Day on Security and Reliability, SCSS 2009 (Tunisia - Japan Workshop on Symbolic Computation in Software Science), Colloque d'Informatique: Brésil / INRIA, Coopérations, Avancées et Défis, SARSSI'09 (Conférence sur la sécurité des architectures réseaux et des systèmes d'information). member of the CS (Comité de sélection) for the 2009 INRIA - Bordeaux University chair. Vice-président du comité des projets INRIA Grand Est depuis le 1/10/2009.
L. Vigneron: Member of the FTP steering committee; Member of the IFIP Working Group 1.6 on Rewriting; Webmaster of the site Rewriting Home Page and of the RTA conference site.
We are involved in several lectures of the “Master Informatique” of the universities of Nancy. L. Vigneron is in charge of the lectures on Algorithmic verification and Security of communications . V. Cortier is in charge of the lecture on Theory of the security . C. Ringeissen is in charge of the lecture on Decision procedures and program verification .