The goal of this seminar series is to study the (Categorical) Aspects of Constructive Algorithmics (CACA) including program calculation/transformation, algorithm derivation, as well as other interesting topics on theoretical computer science. Everyone is welcome to attend.
The normal time for the seminar is Wednesday Afternoons, from 2:00 until 5:00, about once a month. To save trip time of participants, we usually have two or more talks at each seminar. The atmosphere of the seminar is very informal. The language of the seminar is English.
Those wishing to present recent work at the CACA seminar are kindly requested to contact Akihiko Takano (National Institute of Informatics) or Zhenjiang Hu (University of Tokyo). To join the CACA mailing list (caca@ipl.t.u-tokyo.ac.jp), please mail to caca-request@ipl.t.u-tokyo.ac.jp.