FM 2018 Industry Day (Tuesday 17 July, 2018)

The Industry Day (I-Day) is a forum targeting industrial development and use of formal methods. The objective of I-Day is to bring industry to the symposium, and to foster the important discussion about where state of the art in formal methods is today, seen from an industry point of view. The day will host one invited key note speaker, and a collection of invited presenters (there is no regular call for papers; the invited presentations, however, are subject to a review process). The  invitees all work with formal methods, and all have some important connection to industry, either working directly in industry developing or applying formal methods, or working in academia with strong ties to industry. The presenters represent a wide spectrum of technologies.

Program

The program of the FM 2018 Industry Day consists of three sessions plus the key note by Kim Larsen, shared with the symposium main track, and can be found at
https://easychair.org/smart-program/index.htmlFLoC2018/FM-bytalk-2018-07-17.html
(the rightmost column).

Speakers

Key Note

• Kim Guldstrand Larsen, Aalborg University & UP4ALL, DK

Presenters

• Pavel Avgustinov, Semmle , UK
• Nikolaj Bjoerner, Microsoft Research, US
• Arne Borälv, Prover, SE
• Joerg Brauer, Verified Systems International, DE
• Ernie Cohen, Amazon Web Services, US
• Christian Ferdinand, AbsInt , FR
• Thierry Lecomte, ClearSy, FR
• Cesar Munoz, NASA Langley Research Center, US
• Harald Ruess, Fortiss, DE

I-Day Chairs

• Klaus Havelund, NASA Jet Propulsion Laboratory, US
• Jan Peleska, University of Bremen, DE
• Ralf Pinger, Siemens, DE

Program Committee

• Bernhard K. Airchernig, TU Graz, AT
• Ana Cavalcanti, University of York, GB
• John S. Fitzgerald, Newcastle University, GB
• Martin Fraenzle, Universitaet Oldenburg, DE
• Klaus Havelund, NASA Jet Propulsion Laboratory, US
• Anne E. Haxthausen, Technical University of Denmark, DK
• Gerwin Klein, NICTA and University of New South Wales, AU
• Peter Gorm Larsen, Aarhus University, DK
• Rustan Leino, Amazon Web Services, US
• Dominique Mery, LORIA and Université de Lorraine, FR
• Peter Müller, ETH Zürich, CH
• Jan Peleska, University of Bremen, DE
• Alexandre Petrenko, CRIM, CA
• Ralf Pinger, Siemens, DE
• Grigore Rosu, University of Illinois at Urbana-Champaign, US
• Heike Wehrheim, University of Paderborn, DE
• Jim Woodcock, University of York, GB