No.008 The 14th Agda Implementors Meeting

Icon

Shonan Meeting Seminar 008

Jul 20, 2011 1

Seminar Schedule

AIM14TimeTable

Jul 20, 2011 Comments Off on AIM XIV CFP

AIM XIV CFP

AIM XIV CFP

Jul 6, 2011 Comments Off on Organizer

Organizer

  • Peter Dybjer, Chalmers University of Technology
  • Yoshiki Kinoshita, AIST
  • Shin Cheng Mu, Academia Sinica