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]]



Front page   List of pages Search Recent changes   Help   RSS of recent changes