The Ninth Asian Symposium on Programming Languages and Systems, APLAS 2011 http://flolac.iis.sinica.edu.tw/aplas11/ 2014-02-24T14:40:13+08:00 The Ninth Asian Symposium on Programming Languages and Systems, APLAS 2011 http://flolac.iis.sinica.edu.tw/aplas11/ http://flolac.iis.sinica.edu.tw/aplas11/lib/tpl/newday/images/favicon.ico text/html 2011-12-12T08:06:57+08:00 trc programme - [Wednesday (7 Dec 2011): APLAS Day 3 + CPP Day 1] http://flolac.iis.sinica.edu.tw/aplas11/doku.php?id=programme&rev=1323648417&do=diff Please see the Tutorials page for details. * 09:00 - 12:00 Tutorial 1 * Shin-Cheng Mu. Dependently Typed Programming in Adga. * 12:00 - 14:00 Lunch (on your own) * 14:00 - 17:00 Tutorial 2 (moved to 15:00 - 18:00, December 7) * Lei Liu. Parallelizing Legacy Sequential Code. text/html 2011-12-08T11:23:16+08:00 trc start - [APLAS / CPP 2011 Conference Update] http://flolac.iis.sinica.edu.tw/aplas11/doku.php?id=start&rev=1323314596&do=diff * CPP invited talk on December 8 (Thursday) has been given by Georges Gonthier on “Proof engineering, from the four color to the Odd Order theorem”. * The APLAS / CPP registration desk opens at 8 am, December 5 (Monday), in front of the Banquet Hall at the first floor of the conference hotel. * The paper “Compiler Backend Generation for Application Specific Instruction Set Processors” is not presented at APLAS session 3, but at APLAS session 7 at 10:15 - 12:45, December 7 (Wednesday). * T… text/html 2011-11-14T10:59:35+08:00 trc paymentauthorizationform_2011_11_30.pdf http://flolac.iis.sinica.edu.tw/aplas11/doku.php?image=paymentauthorizationform_2011_11_30.pdf&ns=&rev=1321239575&tab_details=history&mediado=diff&do=media text/html 2011-11-14T10:58:31+08:00 trc paymentauthorizationform_2011_11_30.doc http://flolac.iis.sinica.edu.tw/aplas11/doku.php?image=paymentauthorizationform_2011_11_30.doc&ns=&rev=1321239511&tab_details=history&mediado=diff&do=media text/html 2011-10-28T17:39:26+08:00 trc paymentauthorizationform20111112.pdf http://flolac.iis.sinica.edu.tw/aplas11/doku.php?image=paymentauthorizationform20111112.pdf&ns=&rev=1319794766&tab_details=history&mediado=diff&do=media text/html 2011-10-28T17:38:27+08:00 trc paymentauthorizationform20111112.doc http://flolac.iis.sinica.edu.tw/aplas11/doku.php?image=paymentauthorizationform20111112.doc&ns=&rev=1319794707&tab_details=history&mediado=diff&do=media text/html 2011-10-17T21:35:59+08:00 trc reservationformchinese.doc http://flolac.iis.sinica.edu.tw/aplas11/doku.php?image=reservationformchinese.doc&ns=&rev=1318858559&tab_details=history&mediado=diff&do=media text/html 2011-10-17T21:34:43+08:00 trc reservationformenglish.doc http://flolac.iis.sinica.edu.tw/aplas11/doku.php?image=reservationformenglish.doc&ns=&rev=1318858483&tab_details=history&mediado=diff&do=media text/html 2011-10-17T21:12:58+08:00 trc paymentwebpage.gif http://flolac.iis.sinica.edu.tw/aplas11/doku.php?image=paymentwebpage.gif&ns=&rev=1318857178&tab_details=history&mediado=diff&do=media <img src="/aplas11/lib/exe/fetch.php?w=500&h=373t=1318857178&amp;media=paymentwebpage.gif" alt="paymentwebpage.gif" /> text/html 2011-04-26T04:43:49+08:00 trc aplas2011poster.pdf http://flolac.iis.sinica.edu.tw/aplas11/doku.php?image=aplas2011poster.pdf&ns=&rev=1303764229&tab_details=history&mediado=diff&do=media text/html 2011-04-25T08:41:19+08:00 trc cfp.pdf http://flolac.iis.sinica.edu.tw/aplas11/doku.php?image=cfp.pdf&ns=&rev=1303692079&tab_details=history&mediado=diff&do=media