IFIP WG 2.2 Meeting, Singapore, September 13-16, 2016

Tentative Schedule

---

Tuesday, September, 13, 2016

9:30-10:30

• Joost-Pieter Katoen
  Run Time Analysis of Probabilistic Programs
  abstract, slides
  


• Davide Sangiorgi
  Bisimulation Techniques in Probabilistic Higher-order Languages
  abstract
  

Coffee break

11:00-12:00

• Parosh Abdulla
  Dual Semantics for Total Store Order
  abstract, slides
  


• Roland Meyer
  Robustness against Relaxed Memory Models
  abstract, slides
  

Lunch break

14:00-15:30 Tutorial I

• Gilles Barthe
  Probabilistic Couplings for Privacy and Security
  abstract, slides
  

Coffee break

16:00-17:00

• Neijun Zhan
  Invariant-Based Verification and Synthesis for Hybrid Systems
  abstract, slides
  


• Yu Xin Deng
  Formal Reasoning for Quantum Programming Languages
  abstract, slides
  

---

Wednesday, September, 14, 2016

9:30-10:30 Tutorial II: Part 1

• Jan Rutten
  Illustrating the Coalgebraic Method: Circularity and Coinduction
  abstract, slides: part 1, part 2
  

Coffee break

11:00-11:30 Tutorial II: Part 2

• Jan Rutten
  Illustrating the Coalgebraic Method: Circularity and Coinduction (continued)
  

11:30-12:30

• Jean-Francois Raskin
  Admissibility and Reactive Synthesis
  abstract, slides
  


• Rob van Glabbeek
  Ensuring Liveness Properties of Distributed Systems (A Research Agenda)
  abstract, slides
  

Lunch and Social Program

---

Thursday, September, 15, 2016

9:30-10:30

• Andrzej Murawski
  Game Semantics for Interface Middleweight Java
  abstract, slides
  


• Franck Cassez
  Static Analysis: From Finding Bugs to Building Proofs
  abstract, slides
  

Coffee break

11:00-12:00

• K Narayan Kumar
  Using Graph Decompositions to Verify Concurrent Recursive Programs
  abstract, slides
  


• Michele Loreti
  Modelling and Analysis of Collective Adaptive Systems
  abstract, slides
  

Lunch break

14:00-15:30 Tutorial III

• Ugo Montanari
  General Description of Network Systems
  abstract, slides
  

Coffee break

16:00-17:00

• Javier Esparza
  Limit-Deterministic Automata for Probabilistic Model Checking
  abstract, slides
  

Business Meeting

---

Friday, September, 16, 2016

9:30-10:30

• Caroll Morgan
  A Demonic Lattice of Information
  abstract, slides
  


• Markus Müller-Olm
  Information Flow and Program Analysis
  abstract, slides
  

Coffee break

11:00-12:00

• Antonin Kucera
  Solving Deductive Games
  abstract, slides
  


• Igor Walukiewicz
  Soundness in Negotiations
  abstract, slides
  

---