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)

Lecture by Robert Sedgewick

“If You Can Specify It, You Can Analyze It” —The Lasting Legacy of Philippe Flajolet
May 21st, 2013

Turing Machine Award 2012: presentation ceremony

The Turing Machine Award ceremony took place at the Böcklsaal on Thu, December 20th, 2012.

Turing Machine Award 2012

On the occasion of Alan Turing’s 100th birthday, the Vienna Center for Logic and Algorithms (VCLA) awards the Turing Machine Award 2012.

Pre-doc position in theoretical computer science

FWF (Austrian Science Fund) project “Algorithms and Complexity of Constraint Languages” at Vienna University of Technology

National Research Network Rigorous Systems Engineering – PhD and Postdoc Positions

The RiSE Network is looking for several postdocs and PhD students in formal methods, systems engineering and related fields such as programming languages and distributed systems.