At ICDT 2017, the 20th International Conference on Database Theory, which will be held in Venice, Italy, March 21-24, 2017, our post-doc researcher Simone Bova will receive the best paper award for the paper:
Simone Bova and Hubie Chen.
How many variables are needed to express an existential positive query?
Congratulations!
In collaboration with Christian Blum from the University of the Basque Country, Günther Raidl wrote the Book Hybrid Metaheuristics – Powerful Tools for Optimization. The book is published by Springer in the series “Artificial Intelligence: Foundations, Theory, and Algorithms” and available in printed form as well as e-book.
Ronald de Haan successfully defended his PhD thesis “Parameterized Complexity in the Polynomial Hierarchy” on November 8th, 2016. Congratulations!
Ronald was supervised by Stefan Szeider.
Fabian Klute received the first prize in one of the four categories of the Graph Drawing Contest 2016 for his submission “Circles of Panama”, which shows the complex network of offshore companies revealed through the recent “Panama Papers” leak. The contest took place during the 24th International Symposium on Graph Drawing and Network Visualization in Athens, Greece, which was held September 19-21, 2016.
Congratulations!
At SAT 2016, the 19th International Conference on Theory and Applications of Satisfiability Testing, which was held in Bordeaux, France, 5th-8th July, 2016, our PhD student Neha Lodha received the best student paper award for the paper: A SAT Approach to Branchwidth (with S. Ordyniak and S. Szeider). The paper appeared in the SAT 2016 Proceedings (Nadia Creignou, Daniel Le Berre, eds.), volume 9710 of Lecture Notes in Computer Science, pages 179–195, 2016, Springer Verlag.
Congratulations!
Jeannette Wing (Microsoft Research) gives the Vienna Gödel Lecture 2016.
June 9, 2016, 17:30
TU Wien, Audimax
1060 Vienna, Getreidemarkt 9
The lecture is moderated by Stefan Szeider.
More information can be found here.
Foto copyright: Faculty of Informatics / Nadia Meister
Benjamin Biesinger successfully defended his PhD thesis “Complete Solution Archives for
Evolutionary Combinatorial Optimization” on June 3rd, 2016. Congratulations!
Benjamin was supervised by Günther Raidl (TU Wien).
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
