CONCUR Program

Concur will take place in Room A.

I0		Tuesday		Wednesday		Thursday		Friday

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





9:00	Live Word Automata with Limited Nondeterminism Qiyi Tang CONCUR	CONCUR Session 5 CONCUR Talk 41 CONCUR Talk 42 CONCUR Talk 43	Live Reasoning About Probabilistic Loops, Moment by Moment Ezio Bartocci Invited











10:00	Live Coffee Break		Live Coffee Break	Live Coffee Break

10:10		Live Coffee Break



10:30	CONCUR Session 1 CONCUR Talk 1 CONCUR Talk 2 CONCUR Talk 3 CONCUR Talk 4	CONCUR Session 6 CONCUR Talk 14 CONCUR Talk 15 CONCUR Talk 16 CONCUR Talk 17	CONCUR Session 9 CONCUR Talk 24 CONCUR Talk 25 CONCUR Talk 26 CONCUR Talk 27	CONCUR Session 11 CONCUR Talk 31 CONCUR Talk 32 CONCUR Talk 33 CONCUR Talk 34

















12:00	Live Lunch	Live Lunch	Live Lunch	Live Lunch

















13:30	CONCUR Session 2 CONCUR Talk 5 CONCUR Talk 6 CONCUR Talk 7	CONCUR Session 7 CONCUR Talk 18 CONCUR Talk 19 CONCUR Talk 20	CONCUR Session 10 CONCUR Talk 28 CONCUR Talk 29 CONCUR Talk 30	CONCUR Session 12 CONCUR Talk 35 CONCUR Talk 36 CONCUR Talk 37













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



15:00	CONCUR Session 3 CONCUR Talk 8 CONCUR Talk 9 CONCUR Talk 10	CONCUR Test of Time Session A New Type System for Deadlock-Free Processes Strategy Logic	Live CONCUR Invited Talk 2 Jean-François Raskin CONCUR	Live On the role of prose in specifications Jade Alglave CONCUR













16:10	Live Coffee Break	Live Coffee Break	Live Closing	Live Coffee Break



16:30	CONCUR Session 4 CONCUR Talk 11 CONCUR Talk 12 CONCUR Talk 13	CONCUR Session 8 CONCUR Talk 21 CONCUR Talk 22 CONCUR Talk 23		CONCUR Session 13 CONCUR Talk 38 CONCUR Talk 39 CONCUR Talk 40











17:30				Live Closing

17:40	Live Closing	Live Closing



18:00				Live Football





18:30	Live Reception





19:00			Live Boat Tour / Dinner