Symposium on New Frontiers in Knowledge Compilation

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.