Dr. Dimitra Giannakopoulou, together with Professor Dominique Méry, co-chaired the 18th International Symposium on Formal Methods (FM 2012) that took place in Paris, August 27-31, 2012. By co-chairing this prestigious event, Dr. Giannakopoulou had the opportunity to influence both the topics and quality of the event. This year’s special theme of “interdisciplinary formal methods,” inspired by Dr. Giannakopoulou’s experiences at NASA, recognized the fact that formal methods live at the crossroads between disciplines, including aeronautics and human automation interactions. Three distinguished speakers discussed the special theme from their different perspectives and, in particular, addressed the issue of future applications and industrial impact.
FM 2012 was a very successful event attended by about 200 participants from all over the world. It consisted of three main conference days, one industry day, and also featured a verification competition and several tutorials and associated workshops. The program committee, assembled by the program chairs, consisted of 60 members from 22 countries. There were 163 abstracts submitted, followed by 132 full papers from 383 authors based in 39 countries. Each paper received 4-5 reviews, for a total of 536 reviews and 265 external reviews. 28 full papers and 7 tool papers were accepted, for a total acceptance rate of 26%.
FM 2012 was a forum of lively discussions about the state of the art in formal methods, but most importantly, about ways that we can increase the impact of such approaches in the future. For more information, see: http://fm2012.cnam.fr/.
BACKGROUND: Dr. Dimitra Giannakopoulou is a Research Computer Scientist with the Robust Software Engineering group at the NASA Ames Research Center. Her research focuses on scalable specification and verification techniques for NASA systems. In the context of her project on compositional verification of flight-critical systems, she has been developing novel algorithms and tools for scalable verification and testing of aerospace systems. Examples of target applications include next-generation air-traffic control algorithms and software. She has also been studying the application of formal methods to human automation interaction problems.
NASA PROGRAM FUNDING: Assurance of Flight Critical Systems project, System-wide Safety Assurance Technologies (SSAT) project, Aeronautics Research Mission Directorate (ARMD)
Contact: Dimitra Giannakopoulou