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.