MONDAY, 2 DECEMBER 2019 - 9:00-17:30 (Location: Aud 1)

TUESDAY, 3 DECEMBER 2019 - 9:00-17:30 (Location: Aud 1)

9:00-9:05 - OPENING

9:05-10:00 - KEYNOTE SPEAKER: Magne Haveraan
Mismatches between Programmer Intuition and Programming Semantics - An Education Related Vurnerability
Abstract and Speaker's Biography (coming soon!)

10:00-10:30 - COFFEE BREAK

10:30-12:00 - SESSION 1

• 10:30-11:00 - Fun with Formal Methods for Better Education
  Nikolay Shilov, Evgeiy Muravev and Svetlana Shilova (regular paper)
  Paper (PDF)
• 11:00-11:30 - Adapting to Different Types of Target Audience in Teaching Formal Methods (regular paper)
  Antonio Cerone and Karl Lermer
  Paper (PDF) | Slides (PDF)
• 11:30-12:00 - Inquiry- and Research-based Teaching in a Course on Model Checking (presentation)
  Sebastian Krings, Philip Koerner and Joshua Schmidt
  Paper (PDF) | Slides (PDF)

12:00-12:30 - OPEN DISCUSSION: "Towards a Whitepaper"

12:30-14:00 - LUNCH

14:00-15:30 - SESSION 2

• 14:00-14:30 - Prototyping Games using Formal Methods (regular paper)
  Sebastian Krings and Philip Koerner
  Paper (PDF) | Slides (PDF)
• 14:30-15:00 - Teaching Model Checking via Games and Puzzles (regular paper)
  Holger Schlingloff
  Paper (PDF)
• 15:00-15:30 - Formal Methods and Cybersecurity Education (short paper)
  James H. Davenport and Tom Crick
  Paper (PDF) | Slides (PDF)

15:30-16:00 - COFFEE BREAK

16:00-17:30 - LIVING LAB: "Gathering Experiences"

• ca. 20 mins - Overview on Teaching Materials available
• ca. 1 hr - Working with Teaching Materials

19:00 - WORKSHOP DINNER

At the restaurant Wesselstuen
Address: Øvre Ole Bulls plass 6, Bergen

9:00-10:00 - KEYNOTE SPEAKER: Peter Olveczky
“They Didn’t Know They were Doing Mathematics”: Introducing Formal Methods using Rewriting Logic
Abstract and Speaker's Biography (coming soon!) | Slides (PDF)

10:00-10:30 - COFFEE BREAK

10:30-12:00 - SESSION 3

• 10:30-11:00 - Teaching Them Early: Formal Methods in School (regular paper)
  Faron Moller, Liam O'Reilly, Stewart Powel and Casey Denner
  Paper (PDF)
• 11:00-11:30 - From Stories to Concurrency: How Children Can Play with Formal Methods (regular paper)
  Antonio Cerone
  Paper (PDF) | Slides (PDF)
• 11:30-12:00 - When the Student becomes the Teacher (short paper)
  Marie Farrel and Hao Wu
  Paper (PDF) | Slides (PDF)

12:00-12:30 - OPEN DISCUSSION: "Towards a Whitepaper"

12:30-14:00 - LUNCH

14:00-15:30 - SESSION 2

• 14:00-14:30 - Learning Experience of two Students in Formal Methods course with Different Backgrounds (short paper)
  Ruslan Omirgaliyev and Alen German
  Paper (PDF) | Slides (PDF)
• 14:30-15:00 - Teaching Formal Methods in Academia: a Systematic Literature Review (short paper)
  Rustam Zhumagambetov
  Paper (PDF) | Slides (PDF)

15:00-15:30 - OPEN DISCUSSION: "Towards a Whitepaper"

15:30-16:00 - COFFEE BREAK

16:00-17:00 - LIVING LAB: "Reporting Experiences"

17:00-17:30 - FINAL DISCUSSION AND CLOSING