Created in September 20, 2024
2024
I participated in Logic Summer School 2024, Sendai (Japan), 17-20 September 2024.