After two and half years of online activities, we start having our seminars physically again. It is fun to re-discover many lost technologies in these years (like “don’t look at the screen, face to the audience!”), and to take a photo!
Saito presents his paper entitled “Towards a Practical Library for Monadic Equational Reasoning in Coq” at the 14th International Conference on Mathematics of Program Construction (MPC 2022). This work is jointly done with Reynald Affeldt at AIST.
The following presentations have been accepted to the TyDe and HOPE workshops, co-located with ICFP 2022.
The following article has been accepted for publication in the LMCS journal.
The following papers are presented at the 2022 Annual Conference of the Japan Society for Software Science and Technology (JSSST2022) held at University of Tokyo and online.
Cong gives a lecture on “an introduction to computational effects: from programming to theory” along with Prof. Katsumata and Prof. Sekiyama at the PPL Summer School 2022.
Professor Raffi Khatchadourian at CUNY Hunter College visited our group from August 10 to 24. He gave a seminar talk and had discussions with our members.
This visit was supported by the JSPS BRIDGE fellowship, and originally planned two years ago. We had to postpone the visit (actually three times) due to COVID-19, but are pleased to make it happen.
Shusuke Takahashi received the 2022 IPSJ Computer Science Research Award for Young Scientists for his presentation on “An approach to collecting object graphs for data-structure live programming based on a language implementation framework“, presented at the 136th IPSJ Workshop on Programming.
Youyou Cong will be giving an invited talk titled “Composing Music from Types” at TYPES 2022.
Shusuke Takahashi gave a talk on Poly2Kanon at the Truffle 2022 workshop, co-located with the ECOOP2022.
