Sicun Gao
Delta-Decisions over the Reals – September 18th, 2013; 14:00
Chao Wang
Symbolic Predictive Analysis for Improving the Reliability and Security of Concurrent Software
Friday, September 27, 2013 at 14:00
Kewen Wang
Phase Transition in Answer Set Programming
Friday, September 6, 2013 at 14:00
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
Johann A. Makowsky
Characterizing word functions recognized by weighted automata; June 26th, 16:00
Joel Ouaknine
A Survey of Classical and Real-Time Verification; June 14th, 16:00
