Monday, 12 Sep 2016

-- Public Holiday Hari Raya Haji: Office Closed ---

Tuesday, 13 Sep 2016

09:25am - 09:30am

Registration

09:30am - 10:00am

Run time analysis of probabilistic programs
Joost-Pieter Katoen, RWTH Aachen University, Germany

10:00am - 10:30am

Bisimulation in probabilistic higher-order languages
Davide Sangiorgi, University of Bologna, Italy

10:30am - 11:00am

--- Group Photo & Coffee Break ---

11:00am - 11:30am

Dual semantics for total store order
Parosh Aziz Abdulla, Uppsala University, Sweden

11:30am - 12:00nn

Replication and consistency (PDF)
Roland Meyer, University of Kaiserslautern, Germany

12:00nn - 02:00pm

--- Lunch Break ---

02:00pm - 03:30pm

Tutorial: Probabilistic couplings for privacy and securit (PDF)
Gilles Barthe, The IMDEA Software Institute, Spain

03:30pm - 04:00pm

--- Coffee Break ---

04:00pm - 04:30pm

Invariant-based verification and synthesis for hybrid systems (PDF)
Naijun Zhan, Chinese Academy of Sciences, China

04:30pm - 05:00pm

Formal reasoning for quantum programming languages (PDF)
Yuxin Deng, East China Normal University, China

Wednesday, 14 Sep 2016

09:25am - 09:30am

Registration

09:30am - 10:30am

Tutorial: General description of network systems I (PDF)

Ugo Montanari, University of Pisa, Italy

10:30am - 11:00am

--- Coffee Break ---

11:00am - 11:30am

Tutorial: General description of network systems II (PDF)

Ugo Montanari, University of Pisa, Italy

11:30am - 12:00nn

Admissibility and reactive synthesis (PDF)
Jean-Francois Raskin, Université Libre de Bruxelles, Belgium

12:00nn - 12:30pm

Ensuring liveness properties of distributed systems (A research agenda) (PDF)
Rob van Glabbeek, Commonwealth Scientific and Industrial Research Organisation, Australia

12:30pm - 02:00pm

--- Lunch Reception at IMS ---

Social Program - Gardens by the Bay

Thursday, 15 Sep 2016

09:25am - 09:30am

Registration

09:30am - 10:00am

Game semantics for middleweight Java (PDF)
Andrzej Murawski, University of Warwick, UK

10:00am - 10:30am

Static analysis: from finding bugs to building proofs (PDF)
Franck Cassez, Macquarie University, Australia

10:30am - 11:00am

--- Coffee Break ---

11:00am - 11:30am

Using graph decompositions to verify concurrent recursive programs
Narayan Kumar Krishnan, Chennai Mathematical Institute, India

11:30am - 12:00nn

Modelling and analysis of collective adaptive systems
Michele Loreti, Università degli Studi di Firenze, Italy

12:00nn - 02:00pm

--- Lunch Break ---

02:00pm - 03:30pm

Tutorial: Illustrating the coalgebraic method: circularity and coinduction? (PDF 1, PDF 2)
Jan Rutten, Centrum Wiskunde & Informatica, The Netherlands

03:30pm - 04:00pm

--- Coffee Break ---

04:00pm - 04:30pm

Limit-deterministic autoamta for probabilistic model checking (PDF)
Javier Esparza, Technische Universität München, Germany

Friday, 16 Sep 2016

09:25am - 09:30am

Registration

09:30am - 10:00am

A demonic lattice of information
Carroll Morgan, The University of New South Wales, Australia

10:00am - 10:30am

Information flow and program analysis (PDF)
Markus Mueller-Olm, Universität Münster, Germany

10:30am - 11:00am

--- Coffee Break ---

11:00am - 11:30am

Solving deductive games (PDF)
Antonin Kucera, Masaryk University, Czech Republic

11:30am - 12:00nn

Soundness in negotiations (PDF)
Igor Walukiewicz, Université Bordeaux and Centre National de la Recherche Scientifique, France