Funded PhD position in Quantified Boolean Formula (QBF) solving

There is an opening for a funded PhD position in Quantified Boolean Formula (QBF) solving at the Vienna University of Technology, Vienna, Austria.

Vienna Ball of Sciences

VCLA is proud to be a partner of the Vienna Ball of Sciences, which takes place on January 31, 2015.

VCLA International Student Awards

The Vienna Center for Logic and Algorithms announces the first edition of the VCLA International Student Awards

Doctoral Program Logical Methods in Computer Science

Funded Doctoral positions

PhD Position in Parameterized Complexity

PhD Position in Parameterized Complexity at TU Vienna, Austria

Vienna Summer of Logic 2014

Organised by the Kurt Goedel Society, VSL 2014 was the largest event in the history of logic.

Pre-doc position in theoretical computer science

Application deadline: October 31st;
PhD thesis in the area of constraint satisfaction problems

New VCLA calendar feature

Subscribe to the VCLA calendar feed

Post-doc position in Applied Logic (1 year)

Application deadline: September 30, 2013
Start of position: November 2013 or later

First Symposium on Structure in Hard Combinatorial Problems

The aim of this symposium is to bring together researchers from various disciplines who are concerned with hidden structure in problem instances. (May 16-18, 2013)