Recent & Upcoming Talks

2019

Prolog Coding Guidelines: Status and Tool Support

Paper presentation.

Towards Constraint Logic Programming over Strings for Test Data Generation

Paper presentation.

IT-Sicherheit - ist das wirklich so wichtig?

Datenschutz und IT-Sicherheit - geht es nicht auch ohne?

2018

Informationssicherheits-Management in Kliniken

Information Security Management for Hospitals

Ethical Hacking Workshop

Three is a crowd: SAT, SMT and CLP on a chessboard

Declarative encodings of chess problems and how to solve them