Search
Recent posts
- 【ERC Coffee House】Modular Models of Monoids with Operations
- 【ERC Coffee House】Bisimulation metrics for representation learning
- 【ERC Coffee House】Collection Skeletons: Declarative Abstractions for Data Collections
- Day workshop on diagrammatic methods to formalise and reason about programming languages and their implementation
- January 2023 Workshop Schedule
Archives
- March 2023
- February 2023
- January 2023
- October 2022
- September 2022
- July 2022
- June 2022
- May 2022
- April 2022
- March 2022
- February 2022
- December 2021
- November 2021
- September 2021
- July 2021
- June 2021
- May 2021
- April 2021
- March 2021
- February 2021
- January 2021
- December 2020
- November 2020
- October 2020
- September 2020
- August 2020
- August 2018
Categories
Recent comments