Formalization
- Poster Presentations at PPL 2024
- Saito, Tsunoda and Tsuyama presented Master’s Theses
- APLAS 2023 Paper on a Mechanized Formalization of a Probabilistic Programming Language
- Kawazoe, Saito and Tsuyama’s Talks on formalization at TPP 2023
- Paper on Musical Type System (@ FARM 2023)
- TyDe 2023 Talk on a Probabilistic Programming Language
- Cong receives Tokyo Tech Challenging Research Award
- Poster Presentations at PPL 2023
- Presentation on Type Theory for Fuzzy Properties (@ LENLS 19)
- Paper presentation on Monadic Equational Reasoning at MPC 2022
- Invited Talk on Type-Theoretic Music Composition (@ TYPES 2022)
- Talk on Type-Directed Music Composition (@ YOW! Lambda Jam 2022)
- Presentation on Type-Based Music Composition (@ TFPIE 2022)
- Cong Received Best Poster Award from PPL 2022
- PPL2022 Paper on Monadic Equational Reasoning (along with other paper and poster presentations)
- Saito, Tsunoda and Tsuyama Presented Bachelor’s Theses
- Presentation on Type-Based Music Generation at MUS133
- Talk on Monadic Equation Reasoning (@ TPP2021)
- Best Poster Award at PPL 2021
- Poster & Demo Presentation at PPL2020