Machine Learning and Mathematical Logic: Winter 2025-2026

General Information:

Lectures are in SR 226 in Hermann-Herder-Strasse 10 on Thursdays from 14:15 to 15:45 starting on October 16. Übungsstunden are TBD.
My Email: maxwell(dot)levine(at)mathematik(dot)uni-freiburg(dot)de (do not hesitate to email me, entweder auf Englisch oder auf Deutsch).