Verteidigung der Masterarbeit von William Kähms

Reconstruction of higher-order automated proofs with external first-order cooperation

Am 28.03.2025 findet um 15:00 Uhr im SR 1 die Verteidigung der Masterarbeit von William Kähms statt.

1. Gutachter: Prof. Dr. Alexander Steen 

2. Gutachter: Prof. Dr. Stephan Schulz (DHBW Stuttgart)

Vorsitzender der Verteidigungskommission: Prof. Dr. Volkmar Liebscher

Organization

  • Institut für Mathematik und Informatik

Location

  • Seminarraum 1, Franz-Mehring-Str. 47
Back to Eventlist