Pre-doc position in theoretical computer science
Application deadline: October 31st;
PhD thesis in the area of constraint satisfaction problems
Sicun Gao
Delta-Decisions over the Reals - September 18th, 2013; 14:00
Chao Wang
Kewen Wang
Christoph Haase
Iyad Kanj
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