The Chair for Computer Science I consists of the following research groups:
Awards and Prizes
A work of authors of our institute has been accepted for the Colmerauer Special Session as part of the 8th Language & Technology Conference (LTC'17).
Alexander Wolff was honored by the rector of the Ivan Franko National University of Lviv, Prof. Volodymyr Melnyk.
In the upcoming Winter Term 2017/18, Professor Seipel's research group offers a Master's Practical Course to connect current research topics in the field of Logic Programming with other, modern technologies.
Five teams with a total of 13 participants from University of Würzburg took part in the German Collegiate Programming Contest (GCPC) 2017.
Lehrstuhl für Informatik I (Effiziente Algorithmen und wissensbasierte Systeme)
Phone: +49 931 31-85054