Program by Day
| I0 | Room A |
|---|
| 8:30 |
Live
Registration & Coffee | |
|---|---|---|
| 9:00 |
Live
Word Automata with Limited Nondeterminism CONCUR | |
| 10:00 |
Live
Coffee Break | |
| 10:30 |
CONCUR Session 1 | |
| 12:00 |
Live
Lunch | |
| 13:30 |
CONCUR Session 2 | |
| 14:40 |
Live
Coffee Break | |
| 15:00 |
CONCUR Session 3 | |
| 16:10 |
Live
Coffee Break | |
| 16:30 |
CONCUR Session 4 | |
| 17:40 |
Live
Closing | |
Caption
| I0 | Room A | Room B |
|---|
| 8:30 |
Registration & Coffee | |||
|---|---|---|---|---|
|
CONCUR Session 5 |
Live
Q+F Opening and Invited Talk 1 Q+F | |||
| 10:10 |
Coffee Break | |||
| 10:30 |
CONCUR Session 6 |
Q+F Session 1 | ||
| 12:00 |
Lunch | |||
| 13:30 |
CONCUR Session 7 |
Live
Supporting Older Adults Living Independently Q+F | ||
| 14:40 |
Coffee Break | |||
| 15:00 |
CONCUR Test of Time Session |
Q+F Session 3 | ||
| 16:10 |
Coffee Break | |||
| 16:30 |
CONCUR Session 8 |
Q+F Session 4 | ||
| 17:40 |
Closing | |||
Caption
| I0 | Room A | Room B | Room C |
|---|
| 8:30 |
Registration & Coffee | |||||
|---|---|---|---|---|---|---|
| 9:00 |
Live Reasoning About Probabilistic Loops, Moment by Moment Invited | |||||
| 10:00 |
Coffee Break | |||||
| 10:30 |
CONCUR Session 9 |
Q+F Session 5 |
FMICS Session 1 | |||
| 12:00 |
Lunch | |||||
| 13:30 |
CONCUR Session 10 |
Q+F Session 6 |
Live
Application of Formal Methods to Design and Verification of Autonomous Space Systems FMICS | |||
| 14:40 |
Coffee Break | |||||
| 15:00 |
Live
CONCUR |
Q+F Session 7 |
FMICS Session 2 | |||
| 16:10 |
Closing | |||||
| 19:00 |
Boat Tour / Dinner | |||||
|---|---|---|---|---|---|---|
Caption
| I0 | Room A | Room B | Room C |
|---|
| 8:30 |
Registration & Coffee | |||||
|---|---|---|---|---|---|---|
| 9:00 | Live | |||||
| 10:00 |
Coffee Break | |||||
| 10:30 |
CONCUR Session 11 |
Q+F Session 8 |
FMICS Session 3 | |||
| 12:00 |
Lunch | |||||
| 13:30 |
CONCUR Session 12 |
Q+F Session 9 |
Live
Reducing Time to Market through Formal Methods FMICS | |||
| 14:40 |
Coffee Break | |||||
| 15:00 |
Live
On the role of prose in specifications CONCUR |
Q+F Session 2 |
Live
Panel Session discussing the Industrial use of Formal Methods FMICS | |||
| 16:10 |
Coffee Break | |||||
| 16:30 |
CONCUR Session 13 |
Q+F Session 10 |
||||
| 17:30 |
Live
Closing |
Live
Closing |
||||
| 18:00 |
Football | |||||
|---|---|---|---|---|---|---|
Caption
| I0 | Room A | Room B | Room C | Room D |
|---|
| 8:30 |
Registration & Coffee | |||||||
|---|---|---|---|---|---|---|---|---|
| 9:00 |
Live
Express/SOS Workshop Session 1 Express/SOS |
Live
SNR |
Live
Trends |
Live
YR-CONCUR | ||||
| 10:00 |
Coffee Break | |||||||
| 10:30 |
Live
Express/SOS Workshop Session 2 Express/SOS |
Live
SNR |
Live
Trends |
Live
YR-CONCUR | ||||
| 12:00 |
Lunch | |||||||
| 13:30 |
Live
Express/SOS Workshop Session 3 Express/SOS |
Live
SNR |
Live
Trends |
Live
YR-CONCUR | ||||
| 14:30 |
Coffee Break | |||||||
| 15:00 |
Live
Express/SOS Workshop Session 4 Express/SOS |
Live
SNR |
Live
Trends |
Live
YR-CONCUR | ||||
| 16:30 |
Closing | |||||||