List of All Events

• 2026.03.25. The Story of Arjun Guha, or: the Arc of a Research Project Shriram Krishnamurthi

• 2026.03.25. The Cognitive and Human Factors of Formal Methods Shriram Krishnamurthi

• 2025.10.31. How to Design Loops Joshua Crotts

• 2025.08.6. Analyzing Control Flow More Like a Human Kimball Germane

• 2025.03.28. Lightning talks Various

• 2025.02.21. Formalizing locally nameless syntax with cofinite quantification Elif Üsküplü

• 2024.11.1. Indexed Families in Category Theory, Part III Carlo Angiuli

• 2024.10.25. Indexed Families in Category Theory, Part II Carlo Angiuli

• 2024.10.18. Indexed Families in Category Theory Carlo Angiuli

• 2024.05.8. Sheaves for Process Composition and Separation Logic Berend van Starkenburg