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

Related Events

Agda Implementors Meeting XI (AIM 11) (Awaji, Japan, March 24-30, 2010)


Front page   Diff Backup Reload   List of pages Search Recent changes   Help   RSS of recent changes
Last-modified: 2010-01-22 (Fri) 15:04:44 (2743d)