coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]PCC 2006 Call for Participation

From: Amy Felty <afelty AT site.uottawa.ca>
To: concurrency AT cwi.nl, coq-club AT pauillac.inria.fr, formal-methods AT cs.uidaho.edu, lprolog AT cs.umn.edu, pvs AT csl.sri.com, rewriting AT ens-lyon.fr, theorem-provers AT ai.mit.edu, types-announce AT lists.seas.upenn.edu, twelf-list AT twelf.org
Subject: [Coq-Club]PCC 2006 Call for Participation
Date: Wed, 19 Jul 2006 23:05:40 -0400 (EDT)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

                 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

[Coq-Club]PCC 2006 Call for Participation, Amy Felty