IFIP WG 2.2 Meeting, Bordeaux, September 18-20, 2017

Schedule

---

Monday, September, 18, 2017

9:15-10:00

• Javier Esparza
  Population Protocols
  slides
  

Coffee break

10:30-12:45

• Roland Meyer
  Thread-modular Reasoning for Lock-free Data Structures
  abstract, slides


• Ahmed Bouajjani
  Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency
  


• Jean-Francois Raskin
  Synthesis in MDP with Strong Guarantees
  slides
  

Lunch break

14:00-15:30

• Yuxin Deng
  Logical Characterizations of Probabilistic Bisimilarity
  slides
  


• Ernst-Rüdiger Olderog
  Space for Traffic Manoeuvers
  slides
  

Coffee break

16:00-17:30

• Rob van Glabbeek
  Analyzing Mutual Exclusion Using Process Algebra with Signals
  slides
  


• Peter D. Mosses
  Component-Based Semantics
  slides
  

Wine and Cheese

---

Tuesday, September, 19, 2017

9:00-9:45

• Naoki Kobayashi
  On Higher-Order Program Verification and Two Notions of Higher-Order Model Checking
  slides
  

Coffee break

10:15-12:30

• Parosh Abdulla
  Multi-Pushdown Automata with Data
  slides
  


• Markus Müller-Olm
  Information Flow Control by Program Analysis
  slides
  


• Luke Ong
  Constrained Horn Clauses as a Basis of Automatic Program Verification: The Higher-Order Case
  slides
  

Lunch break

14:00-15:30

• Sriram Sankaranarayanan
  Static Analysis of Programs with Probabilities
  abstract, slides
  


• Andrzej Murawski
  Higher-Order Linearizability
  abstract, slides
  

Coffee break

16:00-16:45

• Antonin Kucera
  Mean Payoff in CTML with Alarms
  slides
  

Business Meeting

Dinner

---

Wednesday, September, 20, 2017

9:00-9:45

• Stephan Merz
  Revisiting Auxiliary Variables
  slides
  

Coffee break

10:15-12:30

• Barbara König
  Up-to Techniques for Weighted Systems
  slides
  


• Wojciech Penczek
  Towards Efficient Model Checking for Variants of ATL under Different Semantics
  abstract, slides
  


• Marcelo Frias
  BLISS: (Distributed) Bounded Lazy Initialization with SAT-Support
  

Lunch break

14:00-15:30

• Radu Grosu
  Parking with a Worm's Brain
  


• Masahiko Sato
  A Common Notation System for Lambda-Calculus and Combinatory Logic
  slides
  

Coffee break

16:00-16:45

• Maciej Koutny
  Synthesis of Petri Nets with Whole-Place Operations and Localities
  slides
  

---