Aktuelles

Das Team um die Studenten Tobias Greiner, Nadja Henning und Felix Klesen hat am siebten jährlichen ACM SIGSPATIAL Cup für Implementationen von geographischen Algorithmen teilgenommen und erfährt am 8. November, ob sie gewonnen haben.

Im Rahmen der Akademischen Feier hat die Fachschaft für Mathematik und Informatik Preise für gute Lehre verliehen. Mit Falco Nogatz und Prof. Christian Glaßer ist unser Lehrstuhl gleich zweifach unter den Preisträgern vertreten.

Am 5. April hat Benedikt Budig seine Doktorarbeit mit dem Titel "Extracting Spatial Information from Historical Maps: Algorithms and Interaction" im Rahmen einer öffentlichen Disputation verteidigt.

Myroslav Kryven wurde für seinen Vortrag über den Artikel "Drawing Graphs on Few Circles and Few Spheres" auf der CALDAM 2018 mit dem Best Student Paper Presentation Award ausgezeichnet.

Am 21. Dezember hat Dongliang Peng seine Doktorarbeit mit dem Titel "An Optimization-Based Approach For Continuous Map Generalization" im

Rahmen einer öffentlichen Disputation verteidigt.

Zur Colmerauer Special Session im Rahmen der 8th Language & Technology Conference (LTC'17) wurde eine Arbeit von Autoren unseres Lehrstuhls akzeptiert.

Alexander Wolff wurde vom Rektor der Nationalen Ivan-Franko-Universität Lviv, Prof. Volodymyr Melnyk, eine Urkunde überreicht.

Im anstehenden Wintersemester bietet unser Lehrstuhl um Professor Seipel wieder ein Masterpraktikum an, in dem aktuelle Themen der Logischen Programmierung in Anknüpfung zu anderen, mordernen Technologien umgesetzt werden.

Zum Start ins neue Semester bietet die Universität Würzburg ihren Studieneinsteigern spezielle Vorkurse in zahlreichen Fächern an. Den Auftakt machte das MINT-Vorkursprogramm mit zahlreichen Teilnehmern im Programmierkurs.

Am German Collegiate Programming Contest (GCPC) 2017 nahmen fünf Teams der Uni Würzburg mit insgesamt 13 Teilnehmern teil.

Zum diesjährigen International Workshop on Functional and Logic Programming (WFLP) wurde ein Paper von Autoren unseres Lehrstuhls akzeptiert.

Am 14. Juli 2017 hat Dr. Joachim Spoerhase mit dem öffentlichen Vortrag "Approximationsalgorithmen für Netzwerk-Design und Standortplanung" seine Habilitation erfolgreich abgeschlossen. Wir gratulieren ihm herzlich!

Würzburg freut sich auf ein Wiedersehen: Nach zehn Jahren finden im September die International Conference on Applications of Declarative Programming and Knowledge Management (INAP) und der International Workshop on Functional and Logic Programming (WFLP) wieder in Franken statt.

Der Artikel "Matching Labels and Markers in Historical Maps: An Algorithm with Interactive Postprocessing" von Benedikt Budig, Thomas C. van Dijk und Alexander Wolff wurde für die Liste "Best of Computing" der beachtenswerten ACM-Veröffentlichungen des Jahres 2016 ausgewählt.

Ludwig Ostermayer, wissenschaftlicher Mitarbeiter am Lehrstuhl für Informatik I in der Arbeitsgruppe um Professor Seipel, verteidigte am Freitag seine Dissertation über "Integration of Prolog and Java with the Connector Architecture CAPJA" im Rahmen einer öffentlichen Disputation.