IFM 2019: 15TH INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS
PROGRAM FOR TUESDAY, DECEMBER 3RD
Days:
previous day
next day
all days

View: session overviewtalk overview

09:00-12:30 Session 3A: PhD Symposium
Chairs:
Jacopo Mauro and Cesar Sanchez
Location: Aud 2
09:00-12:30 Session 3B: COEMS Workshop
Chair:
Martin Leucker
Location: C121
09:00-12:30 Session 3C: FMFun Workshop
Chair:
Antonio Cerone
Location: Aud 1
12:30-14:00 Lunch
14:00-17:00 Session 4A: PhD Symposium
Chairs:
Jacopo Mauro and Cesar Sanchez
Location: Aud 2
14:00-17:00 Session 4B: COEMS Workshop
Chair:
Martin Leucker
Location: C121
14:00-17:00 Session 4C: FMFun Workshop
Chair:
Antonio Cerone
Location: Aud 1
18:30-20:00 Reception

Reception in Schøtstuen (part of the Hanseatic Museum, downtown). See https://ifm2019.hvl.no/social/ for details.