English Intern
    Lehrstuhl für Informatik I - Algorithmen, Komplexität und wissensbasierte Systeme

    Paper auf dem WFLP'17

    04.08.2017

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

    Die System Description "Declarative XML Schema Validation with SWI-Prolog" von Falco Nogatz, Jona Kalkus und Dietmar Seipel hat ihren Ursprung im erstmals im vorigen Wintersemester angebotenen Masterpraktikum "Datenbanken und Regelbasierte Systeme", in dem die Möglichkeiten für einen kompakten XML-Validierer ausgelotet und implementiert wurden (Open Source auf GitHub). Die Arbeit wird Mitte September beim WFLP im Rahmen der Konferenz Declare'17 in Würzburg vorgestellt.

    Übrigens: Auch im anstehenden Wintersemester wird das Masterpraktikum wieder angeboten. Eine Liste möglicher Themen findet sich im WueCampus.

    Zurück

    Kontakt

    Lehrstuhl für Informatik I (Effiziente Algorithmen und wissensbasierte Systeme)
    Am Hubland
    97074 Würzburg

    Tel.: +49 931 31-85054
    E-Mail

    Suche Ansprechpartner

    Hubland Süd, Geb. Z8 Hubland Süd, Geb. M2