CACA Seminar Series


The goal of this seminar series is to study the Categorical Aspects of Constructive Algorithmics (CACA). Everyone is welcome to attend.

In biweekly sessions we will discuss papers on Constructive Algorithmics to collect information, give tutorials on background subjects, and brainstorm about new ideas. We hope the outcome of the seminar will be better understanding of Constructive Algorithmics, hints and directions for our future research, and, even more desirable, concrete joint research.

The normal time for the seminar is Thursday afternoons, from 1:30 until 5:30.

You can read the upcoming seminar schedule, as well as the titles, authors for the previous seminars.

If you'd like to schedule a talk or to recommend a speaker, please contact Akihiko Takano (Hitachi Advanced Res. Lab.) or Zhenjiang Hu (Takeichi Lab.).

To join the CACA mailing list (caca@ipl.t.u-tokyo.ac.jp), please mail to caca-request@ipl.t.u-tokyo.ac.jp .


Z. Hu(hu@ipl.t.u-tokyo.ac.jp)