One of the most advanced medical centers for Ion Beam Therapy and Research in Europe is currently being built in Wiener Neustadt: MedAustron. The radiation therapies applied will use protons and carbon ions for cancer treatment. The first patient treatments are planned in 2016. In the full operational phase up to 1,200 people per year are expected to benefit from the international first class medicine offered by MedAustron.

Scheduling patient treatments with their large number of individual tasks and specific requirements in order to best utilize the available resources and treat

Johannes Klaus Fichte successfully defended his PhD thesis “Backdoors to Tractability of Disjunctive Answer Set Programming” on October 6th, 2015. Congratulations!

Johannes was supervised by Stefan Szeider (TU Wien) and co-supervised by Torsten Schaub (Uni Potsdam).

By September 1st, 2015, Martin Nöllenburg joint the Algorithms and Complexity Group on a tenure track position. Previously he was head of a Young Investigator Group at Karlsruhe Institute of Technology, Germany.

Martin’s research interests include graph algorithms, in particular for graph drawing and network visualization, computational geometry, in particular algorithms for cartography and geovisualization, as well as algorithm engineering and combinatorial optimization.

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.