List of All Events

• 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

• 2024.04.29. A Computer Science Perspective on the Foundations of Quantum Computing Amr Sabry

• 2024.04.25. Tensor Implementations in Malt (A Deep Learning Toolkit) Darshal Shetty

• 2024.02.7. Rhombus, a New Racket Language Without Parentheses Sam Tobin-Hochstadt

• 2024.01.24. The Holy Grail of Gradual Security Tianyu Chen

subscribe via RSS