Update and rename lanziger.md to lanzinger.md

Writing names correct is a nice thing to do
KeYProject · Jul 18, 2024 · 2e69b22 · 2e69b22
1 parent d24f4f3
commit 2e69b22
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/talks/lanziger.md → talks/lanzinger.md b/talks/lanziger.md → talks/lanzinger.md
@@ -1,5 +1,5 @@
 ---
-author: "Floran Lanzinger"
+author: "Florian Lanzinger"
 kind: "Regular Talk (20 min. + 10 min.)"
 track: "Common Track, KeY-only Track"
 title: "Types as Contracts: Scalable and Precise Verification"