The 14th Agda Implementors Meeting

Icon

Shonan Meeting Seminar 008

Jul 20, 2011 1

Seminar Schedule

AIM14TimeTable

Jul 20, 2011 0

AIM XIV CFP

AIM XIV CFP

Jul 6, 2011 0

Organizer

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