Gordon Cichon

Formal Semantics of Synchronous Transfer Architecture
Dec. 18, 2014

Funded PhD position in Quantified Boolean Formula (QBF) solving

There is an opening for a funded PhD position in Quantified Boolean Formula (QBF) solving at the Vienna University of Technology, Vienna, Austria.

Christian Scheideler

Towards a rigorous base for the design of P2P systems
Thursday, December 4, 2014 at 17:00

Pavithra Prabhakar

Algorithmic Verification of Stability of Hybrid Systems
Thursday, November 27, 2014 at 17:00

Lenore D. Zuck

Parameterized Verification: Theory and Practice
Thursday, November 27, 2014 at 15:30

Nathan Wasser

Abstraction On-Demand: Automatically Generating Invariants for Loops and Recursive Method Calls
Thursday, November 20, 2014 at 17:00