IFM 2019: 15TH INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS
PROGRAM
AUTHORS
KEYWORDS
SLIDES
PROGRAM FOR MONDAY, DECEMBER 2ND
Days:
next day
all days
View:
session overview
talk 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
Disclaimer
|
Powered by EasyChair Smart Program