[Agda] Joint Call For Papers - Conferences / Journal Special Issues (March 2013, 2nd update)

cfp at grid.chu.edu.tw cfp at grid.chu.edu.tw
Sun Mar 17 08:59:12 CET 2013


An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130317/1ca4a05e/attachment.html


More information about the Agda mailing list