Logicの皆様、
12月に京都で開催される APLAS と CPP という国際会議の参加募集案内を送ら せて頂きます。 ＊＊早期割引の締め切りは11月10日です＊＊
Jacques Garrigue & 五十嵐淳
====================================================================== CALL FOR PARTICIPATION
The 10th Asian Symposium on Programming Languages and Systems (APLAS2012)
and
The Second International Conference on Certified Programs and Proofs (CPP2012)
Kyoto, Japan December 11-15, 2012
http://aplas12.kuis.kyoto-u.ac.jp/ (APLAS) http://cpp12.kuis.kyoto-u.ac.jp/ (CPP)
APLAS aims at stimulating programming language research by providing a forum for the presentation of latest results and the exchange of ideas in topics concerned with programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community.
CPP is a new international forum on theoretical and practical topics in all areas, including computer science, mathematics and education, that consider certification as a essential paradigm for their work.
The 10th APLAS and 2nd CPP will be held together in Kyoto, Japan from December 11 to 15, 2012. The five-day event includes, five invited talks, and two conferences. The common registration site for both conferences is now open at:
https://v3.apollon.nta.co.jp/aplas12_cpp12/
Early Registration (until November 10, 2012)
Regular | Student -----------------------+----------- APLAS+CPP: JPY 54000 | JPY 36000 APLAS only: JPY 31000 | JPY 22000 CPP only: JPY 31000 | JPY 22000
Venue
APLAS and CPP will take place at the Kyoto International Community House, nearby the touristic area of Okazaki, inside Kyoto.
Kyoto International Community House 2-1 Torii-cho, Awataguchi, Sakyo-ku, Kyoto 606-8536
Invited Speakers
o Jan Vitek (Purdue University) "Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection" o Greg Morrisett (Harvard University) “Scalable Formal Machine Models” o Xavier Leroy (INRIA) “Mechanized Semantics for Compiler Verification” o Gilles Barthe (IMDEA) "Automation in computer-aided cryptography: proofs, attacks and designs" o Naoki Kobayashi (University of Tokyo) "Program Certification by Higher-Order Model Checking"
For detailed conference programs, see
- http://aplas12.kuis.kyoto-u.ac.jp/program.html - http://cpp12.kuis.kyoto-u.ac.jp/program.html