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.
There is an opening for a funded PhD position in Quantified Boolean Formula (QBF) solving.
More information can be found here.
