[TYPES/announce] PCC 2006 Call for Participation

[Amy Felty]

                  CALL FOR PARTICIPATION - PCC 2006
            International Workshop on Proof-Carrying Code
                   Seattle, USA, August 11, 2006

              http://www.easychair.org/FLoC-06/PCC.html

Affiliated with LOGIC IN COMPUTER SCIENCE (LICS 2006)
and part of the Federated Logic Conference (FLoC 2006)

PCC 2006 PROGRAM:

SESSION 1: Welcoming and Keynote Address               (9:15-10:30)
09:15   Welcoming Remarks
09:30   Andrew Appel (Princeton University)
         A Very Modal Model of a Modern, Major, General Type System

BREAK                                                  (10:30-11:00)

SESSION 2: Invited Talks                               (11:00-12:30)
11:00   Amal Ahmed (Harvard University)
11:30   Adriana Compagnoni (Stevens Institute of Technology)
         Information Flow Analysis for Low-Level Languages
12:00   Dachuan Yu (DoCoMo USA Labs)
         Toward More Typed Assembly Languages for Confidentiality

LUNCH                                                  (12:30-14:00)

SESSION 3: Keynote Address                             (14:00-15:00)
14:00   Ian Stark (University of Edinburgh)
         Resource Guarantees and PCC: 50 ways to say it with a proof

SESSION 4: Posters                                     (15:00-15:30)

BREAK                                                  (15:30-16:00)

SESSION 5: Posters (continued)                         (16:00-16:30)

SESSION 6: Invited Talks                               (16:30-17:30)
16:30   Tamara Rezk (INRIA)
         Certificate Translation
17:00   Zhong Shao (Yale University)
         A Translation from Typed Assembly Languages to Certified
 	Assembly Programming