A PDF version of the program can be downloaded here.
Below you can find an overview of the workshop and a list of papers/authors.
Tuesday, June 23rd, 2015
Room: "Postscript"
09:00 - 09:05
Welcome, Introduction
09:05 - 10:00
Keynote Speech
10:00 - 10:30
Coffee Break
10:30 - 12:00
Session I (Full Papers)
12:00 - 14:00
Lunch Break
14:00 - 15:30
Session II (Full Papers)
15:30 - 16:00
Coffee Break
16:00 - 17:30
Award / Discussion Round
Keynote: Tuesday, June 23, 2015, 9:05 - 10:00 Chair: Andreas Bollin
Why, How and What Should be Taught about Formal Methods? Maximiliano Cristia (CIFASIS, Universidad Nacional de Rosario, Argentina)
Paper Session 1: Tuesday, June 23, 2015, 10:30 - 10:30 Chair: Andreas Bollin
Helping Programmers to Adopt Set-Based Specifications Maximiliano Cristia, Gianfranco Rossi and Claudia Frydman
The Role of Modelling in Teaching Formal Methods for Software Engineering Tony Cowling
Foundations of Semantics and Model Checking in a Software Engineering Course Henning Bordihn, Anna-Lena Lamprecht and Tiziana Margaria
Making Formal Methods Popular: The Crux is Math Education! Franz Lichtenberger
Paper Session 2: Tuesday, June 23, 2015, 14:00 - 15:30 Chair: Tiziana Margaria
Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program Fuyuki Ishikawa, Nobukazu Yoshioka and Yoshinori Tanabe
Considerations in Event-B Refinement toward Industrial Use Naoto Sato and Fuyuki Ishikawa
Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods Shigeru Kusakabe, Yoich Omori and Keijiro Araki
Evaluation of Formal Reasoning Abilities Using a Concept Inventory Joseph Hollingsworth and Murali Sitaraman
Important Dates April 7, 2015 - Paper Submission (extended!!) April 30th, 2015 - Author Notification May 18th, 2015 - Camera-Ready Version
