AIM 9

The 9:th Agda Implementors Meeting will take place near Sendai, Japan 081127 - 081203.