The Vienna Graduate School in Computational Optimization offers Prae-Doc contracts for PhD candidates in different areas of optimization such as Combinatorial Optimization, Global Optimization, Heuristic Optimization, Nonlinear Optimization, Stochastic Optimization, Dynamic Optimization, Algorithmic Game Theory, Optimization for intelligent Data Analysis.

The doctoral program is a joint initiative between the University of Vienna, TU Wien, and the Institute of Science and Technology. Candidates must follow the rules for PhD studies at one of the aforementioned institutions and participate in the joint teaching and research program.

The program starts on October 1, 2016. Applications

Our colleague and friend Professor Helmut Veith passed away on March 12, 2016.
Our thoughts are with his family and friends.

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.