http://osl.iu.edu/wgp2010/ 2010-12-28T11:55:11-05:00 http://osl.iu.edu/wgp2010/ http://osl.iu.edu/wgp2010/lib/images/favicon.ico text/html 2010-12-22T14:47:07-05:00 Marcin Zalewski http://osl.iu.edu/wgp2010/doku.php?id=wgp_2010&rev=1293047227&do=diff ACMSIGPLAN th thICFP 2010 * 2010-12-22: ACM DLVimeo * 2010-09-25: The program has been updated with discussant assignments. * 2010-08-12: The program has been posted. * 2010-07-19: The list of accepted papers has been posted. * 2010-06-12: The submission deadline has been extended to 16th of June 23:59 Samoa time * 2010-05-13: Added a link to submission page. The deadline is at 13th of June 23:59 Samoa time (see your timezone here).. * 2010-03-30: Workshop regist… text/html 2010-08-11T22:57:11-05:00 Marcin Zalewski http://osl.iu.edu/wgp2010/doku.php?id=program&rev=1281581831&do=diff Each presentation slot is 40 minutes using a discussant format (25m presentation + 5m for the discussant + 10m for general discussion). Session 1 09.00-10.00 Chair: Marcin Zalewski (Indiana University) * Welcome + PC chair report. Bruno C. d. S. Oliveira and Marcin Zalewski. * Outrageous but Meaningful Coincidences (Dependent type-safe syntax and evaluation). Conor McBride