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