[TYPES/announce] APLAS and CPP 2012: call for participation
garrigue at math.nagoya-u.ac.jp
Sun Oct 14 20:46:59 EDT 2012
CALL FOR PARTICIPATION
The 10th Asian Symposium on Programming Languages and Systems
The Second International Conference on Certified Programs and Proofs
December 11-15, 2012
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:
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
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
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
More information about the Types-announce