[Agda]
Joint Call For Papers - Conferences / Journal Special Issues,
February 2013, 2nd update)
cfp at grid.chu.edu.tw
cfp at grid.chu.edu.tw
Fri Feb 22 13:13:13 CET 2013
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130222/27e6bd28/attachment.html
More information about the Agda
mailing list