Program by Day

I0		Room A

8:30		Live Registration & Coffee





9:00		Live Word Automata with Limited Nondeterminism Qiyi Tang CONCUR











10:00		Live Coffee Break





10:30		CONCUR Session 1 CONCUR Talk 1 CONCUR Talk 2 CONCUR Talk 3 CONCUR Talk 4

















12:00		Live Lunch

















13:30		CONCUR Session 2 CONCUR Talk 5 CONCUR Talk 6 CONCUR Talk 7













14:40		Live Coffee Break



15:00		CONCUR Session 3 CONCUR Talk 8 CONCUR Talk 9 CONCUR Talk 10













16:10		Live Coffee Break



16:30		CONCUR Session 4 CONCUR Talk 11 CONCUR Talk 12 CONCUR Talk 13













17:40		Live Closing

Invited

CONCUR

I0		Room A		Room B

8:30	Registration & Coffee





	CONCUR Session 5 CONCUR Talk 41 CONCUR Talk 42 CONCUR Talk 43	Live Q+F Opening and Invited Talk 1 Kim G. Larsen Q+F













10:10	Coffee Break



10:30	CONCUR Session 6 CONCUR Talk 14 CONCUR Talk 15 CONCUR Talk 16 CONCUR Talk 17	Q+F Session 1 Q+F Talk 1 Q+F Talk 2 Q+F Talk 3

















12:00	Lunch

















13:30	CONCUR Session 7 CONCUR Talk 18 CONCUR Talk 19 CONCUR Talk 20	Live Supporting Older Adults Living Independently Jane Hillston Q+F













14:40	Coffee Break



15:00	CONCUR Test of Time Session A New Type System for Deadlock-Free Processes Strategy Logic	Q+F Session 3 Q+F Talk 6 Q+F Talk 7













16:10	Coffee Break



16:30	CONCUR Session 8 CONCUR Talk 21 CONCUR Talk 22 CONCUR Talk 23	Q+F Session 4 Q+F Talk 8 Q+F Talk 9













17:40	Closing

Invited

CONCUR

Q+F

I0		Room A		Room B		Room C

8:30	Registration & Coffee





9:00	Live Reasoning About Probabilistic Loops, Moment by Moment Ezio Bartocci Invited











10:00	Coffee Break





10:30	CONCUR Session 9 CONCUR Talk 24 CONCUR Talk 25 CONCUR Talk 26 CONCUR Talk 27	Q+F Session 5 Q+F Talk 10 Q+F Talk 11 Q+F Talk 12	FMICS Session 1 Industrial Adoption of Formal Methods: An Industry Perspective on the Transition to SPARK for Security Critical Firmware Development A Formally Verified N-Dimensional Safety Shield for Autonomous Systems Deductive Verification of a Patricia Trie with Creusot

















12:00	Lunch

















13:30	CONCUR Session 10 CONCUR Talk 28 CONCUR Talk 29 CONCUR Talk 30	Q+F Session 6 Q+F Talk 14 Q+F Talk 15	Live Application of Formal Methods to Design and Verification of Autonomous Space Systems Julia Badger FMICS













14:40	Coffee Break



15:00	Live CONCUR Invited Talk 2 Jean-François Raskin CONCUR	Q+F Session 7 Q+F Talk 16 Q+F Talk 17	FMICS Session 2 Reasoning about concurrent loops and recursion with rely-guarantee rules Consistency proofs for axiomatic extensions: translating VerCors's Axiomatic Data Types into Isabelle













16:10	Closing

Invited

CONCUR

Q+F

FMICS

I0		Room A		Room B		Room C

8:30	Registration & Coffee





9:00	Live











10:00	Coffee Break





10:30	CONCUR Session 11 CONCUR Talk 31 CONCUR Talk 32 CONCUR Talk 33 CONCUR Talk 34	Q+F Session 8 Q+F Talk 18 Q+F Talk 19 Q+F Talk 20	FMICS Session 3 Exploiting the Layout of a Railway Interlocking System for Path Reliability Evaluation Lazy Three-Way Model Merging in Cinco Cloud: A Lattice-Theoretic Approach Domain-Specific 3D Visualization of Formal Models

















12:00	Lunch

















13:30	CONCUR Session 12 CONCUR Talk 35 CONCUR Talk 36 CONCUR Talk 37	Q+F Session 9 Q+F Talk 21 Q+F Talk 22	Live Reducing Time to Market through Formal Methods Colin O'Halloran FMICS













14:40	Coffee Break



15:00	Live On the role of prose in specifications Jade Alglave CONCUR	Q+F Session 2 Q+F Talk 4 Q+F Talk 5	Live Panel Session discussing the Industrial use of Formal Methods FMICS













16:10	Coffee Break



16:30	CONCUR Session 13 CONCUR Talk 38 CONCUR Talk 39 CONCUR Talk 40	Q+F Session 10 Q+F Talk 23 Q+F Talk 24











17:30	Live Closing	Live Closing

Invited

CONCUR

Q+F

FMICS

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 Workshop Session 1 SNR	Live Trends Workshop Session 1 Trends	Live YR-CONCUR Workshop Session 1 YR-CONCUR











10:00	Coffee Break





10:30	Live Express/SOS Workshop Session 2 Express/SOS	Live SNR Workshop Session 2 SNR	Live Trends Workshop Session 2 Trends	Live YR-CONCUR Workshop Session 2 YR-CONCUR

















12:00	Lunch

















13:30	Live Express/SOS Workshop Session 3 Express/SOS	Live SNR Workshop Session 3 SNR	Live Trends Workshop Session 3 Trends	Live YR-CONCUR Workshop Session 3 YR-CONCUR











14:30	Coffee Break





15:00	Live Express/SOS Workshop Session 4 Express/SOS	Live SNR Workshop Session 4 SNR	Live Trends Workshop Session 4 Trends	Live YR-CONCUR Workshop Session 4 YR-CONCUR

















16:30	Closing

SNR

Trends

YR-CONCUR