News

David Dingel will be awarded the Germany-wide prize by the Faculty Association for Computer Science (FTI) for an outstanding master’s thesis in computer science.

Fabian Egidy was awarded the Best Student Paper Award at ICALP 2026 in London for his paper "Recursive Jump Operators and Optimal Proof Systems".

Two Best Paper Awards and a first place in the Graph Drawing Contest with participation of our chair at GD 2024 in Vienna.

Oksana Firman successfully defended her doctoral dissertation titled "Node-Link, Obstacle, and Intersection Representations of Graphs and Hypergraphs" on June 28, 2024.

Johannes Zink was awarded the joint doctoral prize of the Unterfränkische Gedenkjahrstiftung für Wissenschaft and the University of Würzburg for his outstanding dissertation titled "Algorithms for Drawing Graphs and Polylines with Straight-Line Segments" on May 14, 2024.

Felix Klesen successfully defended his doctoral dissertation titled "Geometric Representations of Graphs: Theory and Application" on March 21, 2024.

Jonathan Klawitter has received the Vice-Chancellor’s Prize for Best Doctoral Thesis of the University of Auckland.

Titus Dose has defended his doctoral thesis entitled "Balance Problems for Integer Circuits and Separations of Relativized Conjectures on Incompleteness in Promise Classes" in a disputation on January 21.

Andre Löffler has defended his doctoral thesis entitled "Constrained Graph Layouts: Vertices on the Outer Face and on the Integer Grid" in a public disputation on October 23.

Myroslav Kryven has defended his doctoral thesis entitled "Optimizing Crossings in Circular-Arc Drawings and Circular Layouts" in a public disputation on October 2.

Two teams of our chair reached place 1 and 3 at the GD'20 Live Challange in the manual categorie, where the task was to draw graphs upward with as few crossings as possible.

As part of the academic ceremony, the student association for Mathematics and Computer Science awarded a prize for good teaching for Prof. Christian Glaßer.

The kick-off meeting for the ZIM project iPRALINE (interactive PRoblem Analysis and SoLving in complex Industrial NEtworks ) of the German Federal Ministry for Economic Affairs and Energy (BMWi) will take place tomorrow (2019/04/05).

The project is carried out in cooperation with the two companies Infosim and denkbares from Würzburg.

The working group of Prof. Seipel offers a new lecture called for Logic Programming in the upcoming winter term.

In September, the research group for knowledge-based systems of Prof. Seipel takes part in three conferences to present its work.