YR-Concur Program

I0		Saturday

8:30		On now Registration & Coffee





9:00		On now Whose dice is it anyway? Session chair: Marie Fortin K. S. Thejaswini











10:00		On now Coffee Break





10:30		On now YR-CONCUR Session 1 - Verification Session chair: K. S. Thejaswini Opacity Problems in Timed AutomataSarah Dépernet Designing and Verifying a Post-Quantum Protocol using ProVerifRobert-William Evans, Florian Kammueller Supporting Phased Atomicity in the OpenCL Memory ModelHaining Tong, Keijo Heljanko

















12:00		On now Lunch

















13:30		On now YR-CONCUR Session 2 - Games Session chair: Sarvin Bahmani Simple Nash Equilibria for Qualitative Multiplayer GamesMona Alluwaym, Sven Schewe, James C. A. Main Sure-almost-sure and Sure-limit-sure Mean Payoff in Markov Decision ProcessesRaphaël Berthon, Pranshu Gaba, Vaani Goenka, Shibashis Guha, Chandralekha P











14:30		On now Coffee Break





15:00		On now YR-CONCUR Session 3 - Petri Nets + Logic Forward-Responsibility in Petri NetsCaroline Lemke, Heike Wehrheim Duality for Horn Disjunctive Linear RelationsOm Swostik Mishra, Christoph Haase ATCAL: a model of information manipulation by concurrent announcementsLouwe B. Kuijer, Klara Rawska-Furman

8:30	On now Registration & Coffee
9:00	On now Whose dice is it anyway? Session chair: Marie Fortin K. S. Thejaswini
10:00	On now Coffee Break
10:30	On now YR-CONCUR Session 1 - Verification Session chair: K. S. Thejaswini Opacity Problems in Timed Automata Sarah Dépernet Designing and Verifying a Post-Quantum Protocol using ProVerif Robert-William Evans, Florian Kammueller Supporting Phased Atomicity in the OpenCL Memory Model Haining Tong, Keijo Heljanko
12:00	On now Lunch
13:30	On now YR-CONCUR Session 2 - Games Session chair: Sarvin Bahmani Simple Nash Equilibria for Qualitative Multiplayer Games Mona Alluwaym, Sven Schewe, James C. A. Main Sure-almost-sure and Sure-limit-sure Mean Payoff in Markov Decision Processes Raphaël Berthon, Pranshu Gaba, Vaani Goenka, Shibashis Guha, Chandralekha P
14:30	On now Coffee Break
15:00	On now YR-CONCUR Session 3 - Petri Nets + Logic Forward-Responsibility in Petri Nets Caroline Lemke, Heike Wehrheim Duality for Horn Disjunctive Linear Relations Om Swostik Mishra, Christoph Haase ATCAL: a model of information manipulation by concurrent announcements Louwe B. Kuijer, Klara Rawska-Furman

YR-CONCUR