For addition, correction or deletion, please e-mail to the local chair (sumii AT ecei.tohoku.ac.jp).

*Related Events [#af23aafd]

[[Agda Implementors Meeting XI (AIM 11):http://unit.aist.go.jp/cvs/symposium/AIM11/AIM11.html]] (Awaji, March 24-30, 2010)
[[Agda Implementors Meeting XI (AIM 11):http://unit.aist.go.jp/cvs/symposium/AIM11/AIM11.html]] (Awaji, Japan, March 24-30, 2010)

Front page   Diff Backup Reload   List of pages Search Recent changes   Help   RSS of recent changes