* FLC Global Seminar and Computer Science Seminar, 5th and 9th of September 2011
* ラムダ計算と論理の早春セミナー in Kusatsu (LLK 2009.3), March 13--17, 2009
* 24th TRS Meeting, April 2--4, 2004
* Old web-page
* Photos, January first, 2008 *