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
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