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

Jacques Garrigue garrigue at math.nagoya-u.ac.jp
Sun Oct 14 20:46:59 EDT 2012


    The 10th Asian Symposium on Programming Languages and Systems


 The Second International Conference on Certified Programs and Proofs

			     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:


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 

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

More information about the Types-announce mailing list