Email Gateway (Aug 19 2022 at 08:59): Email Gateway (Aug 19 2022 at 08:59):From: Dale Miller <dale@lix.polytechnique.fr>
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
Last updated: Nov 21 2024 at 12:39 UTC