[TYPES/announce] APLAS and CPP 2012: call for participation

[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