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