List of All Events

• 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

• 2023.12.13. Exact Recursive Probabilistic Programming Chung-Chieh Shan

• 2023.12.6. Universe Hierarchies and (Generalized) Universe Polymorphism Carlo Angiuli

subscribe via RSS