CPP 2011: Kenting, Taiwan

APLAS/CPP Invited Talks

Session 1: Logic and Types

Session 2: Certificates

Session 3: Invited Talk

Session 4: Formalization

Session 5: Proof Assistants

Session 6: Teaching

Session 7: Invited Talk

Session 8: Programming Languages

Session 9: Hardware Certification

Session 10: Miscellaneous

Session 11: Proof Pearls