Informatics 21 - Chair of Logic and Verification