Zu der Vorlesung Automatisches Beweisen - Vertiefung wird ein Praktikum im Block angeboten. In diesem Praktikum werden die in der Vorlesung präsentierten Themengebiete in Form von Programmieraufgaben in den Sprachen Java und Prolog vertieft, außerdem werden in der Vorlesung vorgestellte Systeme in der Praxis getestet.