Tübix 2025

P̶r̶o̶g̶r̶a̶m̶m̶c̶o̶d̶e̶ ̶t̶e̶s̶t̶e̶n̶?̶ Korrektheit beweisen!

.ical

05.07.2025 11:00–11:50, V1 (F119)

Eine Schnupperstunde in Agda, der funktionalen Programmiersprache, mit der man die Korrektheit von Programmcode mathematisch wasserdicht beweisen kann, anstatt auf Tests oder Code-Reviews angewiesen zu sein.

---

Erwartungsmanagement: Aktuell ist es noch so, dass es sich nur in wenigen Praxisfällen lohnt, den substanziellen Beweisaufwand einzugehen -- auch wenn (nahezu) absolute Korrektheitsgarantie winkt. Diese Whirlwind-Tour dient daher vor allem zur Erweiterung des Horizonts. (Und jede Menge Spaß macht sie auch.)

---

Benötigtes Vorwissen:

Vertrautheit mit mindestens einer Programmiersprache

Ingo Blechschmidt

Mathematiker aus Augsburg

Diese(r) Vortragende hält außerdem:

• Wie eine Gruppe Nerds einen Wald rettete und nur um Haaresbreite vier Wochen Gefängnis entkam
• Wie vollbringen ChatGPT & Co das Kunststück des Lernens?
• Wie funktioniert eigentlich das Internet? Eine Einführung für alle, die gar nicht oder nicht genau wissen, was eine IP-Adresse ist