Friedrich Slivovsky successfully defended his PhD thesis “Structure in #SAT and QBF” on May 5th, 2015. Congratulations!
Friedrich, who conducted his PhD studies under the advise of Stefan Szeider, is now working as a post-doc in the research project “Variable Dependencies of Quantified Boolean Formulas” (FWF P27721)
The event will take place in Vienna, May 14-16, 2015.
PhDs in Logic is a graduate conference for students working on all areas of logic, organized by local graduate students. Its aim is to bring together graduate students and researchers as well as to foster contact between graduate students. Previous editions took place in Ghent (2009, 2012), Tilburg (2010), Brussels (2011), Munich (2013) and Utrecht (2014).
The event is organised by Ronald de Haan and Martin Kronegger, and supported by the Vienna Center for Logic and Algorithms and the Doctoral Program Logical Methods in Computer Science.
More
Peter Norvig (Google Inc.) will give the Vienna Gödel Lecture 2015.
March 26, 2015, 17:30
Vienna University of Technology, Lecture Hall 7
1040 Vienna, Gußhausstraße 27-29, ground floor
The lecture will be moderated by Stefan Szeider.
More information can be found here.
The event will take place in Vienna, June 4-6, 2015.
The aim of this symposium is to bring together researchers who work on knowledge compilation from various angles, including knowledge representation, constraints, theory of algorithms, complexity, machine learning, and databases. Lectures and discussions will put all these different approaches into context and will stimulate a fruitful exchange of ideas between researchers from different fields.
The event is organised by Pierre Marquis and Stefan Szeider.
More information can be found here.
We are proud to announce the new website of the Algorithms and Complexity Group.
There is an opening for a funded PhD position in Quantified Boolean Formula (QBF) solving.
More information can be found here.
