Recent & Upcoming Talks


Embedding SMT-LIB into B for Interactive Proof and Constraint Solving

Paper presentation.

Prototyping Games using Formal Methods

Paper presentation.

Inquiry- and Research-based Teaching in a Course on Model Checking

Paper presentation.

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?


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