Christoph Haase

Graph-Based Approaches to Reasoning in Separation Logic
Thursday, August 29, 2013 at 12:00

Iyad Kanj

On the Ordered List Subgraph Embedding Problems
Wednesday, August 21, 2013 at 12:30

New VCLA calendar feature

Subscribe to the VCLA calendar feed

Borzoo Bonakdarpou

Automated synthesis of Fault-tolerant Distributed Algorithms
August 14, 2013

Post-doc position in Applied Logic (1 year)

Application deadline: September 30, 2013
Start of position: November 2013 or later