IFIP WG 2.2 Meeting, Vienna, September 23-25, 2019

Meeting Home Page

The home page of the Vienna meeting can be found here.

Talks (in alphabetical order)

---

• Frank de Boer
  On the Nature of Symbolic Execution
  abstract, slides
  

---

• Einar Broch Johnsen
  From SOS to Asynchronously Communicating Actors
  abstract

---

• Luis Caires
  An Observational Model for Quantum Interaction
  abstract

---

• Ugo Dal Lago
  Differential Logical Relations
  abstract, slides
  

---

• Rocco De Nicola
  Programming Collective Adaptive Systems by Relying on Attribute-based Communication
  abstract, slides
  

---

• Rob van Glabbeek
  Reward Testing Equivalences for Processes
  abstract, slides
  

---

• Sophie Grünbacher
  Next-Generation Lagrangian Reachability
  slides
  

---

• Joost-Pieter Katoen
  On Proving Almost Sure Termination
  slides
  

---

• Barbara König
  Fixpoint Games
  abstract, slides
  

---

• Antonin Kucera
  Termination Complexity of Parameterized Population Protocols
  

---

• Rupak Majumdar
  On Randomized Testing
  abstract

---

• Stephan Merz
  Verifcation and Synthesis of Security Chains
  abstract, slides
  

---

• Roland Meyer
  BMC with CAT Models as Inputs
  

---

• Ernst-Rüdiger Olderog
  Knowledge in Petri Nets
  abstract

---

• Wojciech Penczek
  Partial Order Reductions for Temporal, Epistemic, and Strategy Logics
  slides
  

---

• K.V.S. Prasad
  Handover to the Refrain
  abstract, slides (of related talk at Sala-35 workshop)
  

---

• Jean-Francois Raskin
  Subgame Perfect Equlibria in Quantitative Reachability Games
  slides
  

---

• Masahiko Sato
  Unification of the Lambda-Calculus and Combinatory Logic
  slides
  

---

• Pawel Sobocinski
  String Diagrams: From Control to Concurrency and Beyond
  slides
  

---

• Emily Yu
  QBF-Based Model-Checking Multi-agent Systems for Knowledge and Time
  abstract

---