QEST+FORMATS Program

I0		Wednesday		Thursday		Friday

8:30	Live Registration & Coffee	Live Registration & Coffee	Live Registration & Coffee





9:00	Live Q+F Opening and Invited Talk 1 Kim G. Larsen Q+F	Live Reasoning About Probabilistic Loops, Moment by Moment Ezio Bartocci Invited











10:00		Live Coffee Break	Live Coffee Break

10:10	Live Coffee Break



10:30	Q+F Session 1 Q+F Talk 1 Q+F Talk 2 Q+F Talk 3	Q+F Session 5 Q+F Talk 10 Q+F Talk 11 Q+F Talk 12	Q+F Session 8 Q+F Talk 18 Q+F Talk 19 Q+F Talk 20

















12:00	Live Lunch	Live Lunch	Live Lunch

















13:30	Live Supporting Older Adults Living Independently Jane Hillston Q+F	Q+F Session 6 Q+F Talk 14 Q+F Talk 15	Q+F Session 9 Q+F Talk 21 Q+F Talk 22













14:40	Live Coffee Break	Live Coffee Break	Live Coffee Break



15:00	Q+F Session 3 Q+F Talk 6 Q+F Talk 7	Q+F Session 7 Q+F Talk 16 Q+F Talk 17	Q+F Session 2 Q+F Talk 4 Q+F Talk 5













16:10	Live Coffee Break	Live Closing	Live Coffee Break



16:30	Q+F Session 4 Q+F Talk 8 Q+F Talk 9		Q+F Session 10 Q+F Talk 23 Q+F Talk 24











17:30			Live Closing

17:40	Live Closing



18:00			Live Football











19:00		Live Boat Tour / Dinner