IFM 2019: 15TH INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS
PROGRAM FOR MONDAY, DECEMBER 2ND
Days:
next day
all days

View: session overviewtalk overview

09:00-12:30 Session 1A: Refactoring Tutorials
Chair:
Volker Stolz
Location: C121
09:00-12:30 Session 1B: FMAIL Workshop
Chair:
Martin Leucker
Location: C122
09:00-12:30 Session 1C: FMFun Workshop
Chair:
Antonio Cerone
Location: Aud 1
12:30-14:00 Lunch
14:00-17:00 Session 2A: Refactoring Tutorials
Chair:
Volker Stolz
Location: C121
14:00-17:00 Session 2B: FMAIL Workshop
Chair:
Martin Leucker
Location: C122
14:00-17:00 Session 2C: FMFun Workshop
Chair:
Antonio Cerone
Location: Aud 1