Deutsch Intern
    Chair of Computer Science I - Algorithms and Complexity

    Two Papers at WLP'16


    In September, our chair was present at the Workshop on (Constraint) Logic Programming (WLP). Falco Nogatz and Frank Flederer presented their paper, which were done in collaboration with Dietmar Seipel, Ludwig Ostermayer and Sergio Montenegro.

    The WLP took place in mid of September together with the WFLP, its counterpart in the functional programming research community, as part of the Leipzig Week of Declarative Programming (L-DEC). Falco Nogatz presented his work on implementing the query language GraphQL in SWI-Prolog, which was developed together with Dietmar Seipel. Frank Flederer, who is working for the chair VIII, introduced his collaboration with Ludwig Ostermayer, Dietmar Seipel and Sergio Montenegro on the source code verification of embedded systems using Prolog.