|
|
|
|
|
|
 |
 |
|
|
|
|
|
|
|
|
The conference program will comprise
- Invited Talk
Towards an Odor Communication and Synthesis System
by David Harel (Weizman Institute, Israel) - Thematic Sessions tackling Hot Topics in the application of Formal Methods
- Regular Contributions
- Poster and Student Sessions
4-day schedule
Saturday 30/10Sunday 31/10
Monday 01/11
Tuesday 02/11
|
|
Room A
|
Room B
|
|---|---|---|
|
15:00 - 16:00
|
Registration
|
|
|
16:00 - 17:30
|
Jens Knoop
Program Analysis and Transformation |
Gottfried Vossen
From Processes via Workflows to Services |
|
17:30 - 18:00
|
Posters
|
Posters
|
|
19:00 - 21:00
|
Welcome reception
|
|
|
|
Room A
|
Room B
|
|---|---|---|
|
09:00 - 10:00
|
Invited Speaker
David Harel Towards an Odor Communication and Synthesis System |
|
|
10:00 - 10:30
|
Coffee break
|
|
|
10:30 - 12:30
|
Joost Kok
Structured Data Tools |
|
|
12:30 - 14:00
|
Lunch
|
|
|
14:00 - 15:30
|
Kostantinos Sagonas
Error Analysis and Model-based Testing Tools |
|
|
15:30 - 16:00
|
Coffee break
|
|
|
16:00 - 17:30
|
||
|
17:30 -
|
Short trip and conference dinner
|
|
|
|
Room A
|
Room B
|
|---|---|---|
|
09:00 - 11:00
|
||
|
11:00 - 11:30
|
Coffee break
|
|
|
11:30 - 12:30
|
||
|
12:30 - 14:00
|
Lunch
|
|
|
14:00 -
|
Paphos excursion
|
|
|
|
Room A
|
Room B
|
|---|---|---|
|
09:00 - 10:30
|
Marcel Verhoef
Scheduling and Performance of Real-time Embedded Systems |
Calder/Miller
Parameterised model-checking |
|
10:30 - 11:00
|
Coffee break
|
|
|
11:00 - 12:30
|
John Hatcliff
Analysis and Verification of Component-Based Systems |
Buchholz/Katoen
Formal Methods for Quantitative Analysis of Systems |
|
12:30 - 14:00
|
Lunch
|
|
|
14:00 - 15:00
|
Alexander Petrenko
Model Based Testing of Large-scale and Real-Time Systems |
|
|
15:00 - 15:30
|
Posters
|
Posters
|
|
15:30 - 16:00
|
Coffee break
|
|
|
16:00 - 17:00
|
Buchholz/Katoen
Formal Methods for Quantitative Analysis of Systems |
Alexander Petrenko
Adaptation of Formal Methods for Industry |
|
17:00 -
|
Closing
|
|
