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