TPP'10 Home
TPP'10 Program
Thursday, November 25
13:00-14:20
- Balance Condition on Weight-Balanced Trees
- Youichi Hirai, Kazuhiko Yamamoto (IIJ Innovation Institute)
- Maximal Completion
- Dominik Klein (JAIST)
14:40-16:00
- Formal Scientific Reasoning
- Rene Vestergard (JAIST)
16:20-17:40
- Representing Polymorphic Higher-Order Abstract Syntax
in Agda and Presheaves
- Makoto Hamana (Gunma University)
- Simpoulet: an attempt at proving environmental bisimulations in Coq
- Jacques Garrigue (Nagoya University) and Pierre-Marie
Pédrot (ENS Lyon)
18:30-20:30
- Party
Friday, November 26
9:00-10:20
- IsaFoR/CeTA - Automatic Certification of Termination Proofs
- Christian Sternagel (University of Innsbruck)
- Complexity Analysis by Rewriting for Exponential Time
- Naohi Eguchi (JAIST)
10:40-12:00
- 証明支援器Coqのシステム開発実務への適用 (Applying Coq to practial
software development)
- Yoshihiro Imai (IT Planning)
- Instrumenting Error-correcting codes with SSReflect (work in progress)
- Reynald Affeldt (AIST)
13:20-14:00
- Formalizing Regular Expression Matching in Isabelle/HOL
- Yasuhiko Minamide (Tsukuba University)
14:00-15:00
- Your solutions to TPPmark10
- Please download tppmark10.pdf (as of
2010-10-29).
Last update: November 22, 2010.