Tuesday, 29 July 2008
Session 6: 3 papers
11:00-11:30: Yixin Cao and Gabriel Dos Reis:
Computing with Unknowns in Computer Algebra Systems.
11:30-12:00: Dominik Dietrich and Ewaryst Schulz:
CRStL: A Declarative Language for the Encoding of Proof Techniques.
12:00-12:30: Yoko Ono and Hidetsune Kobayashi:
On comparison between Isabelle and intuitive understanding.
Session 7: Invited talk + 1 paper
14:00-15:00: Conor McBride:
Theorem Proving for the Lazy Programmer.
15:00-15:30: Vincent Siles:
Ideas over terms generalization in Coq (position paper).
15:30-16:00: Coffee Break
Session 8: Business meeting
16:00-17:00: Business meeting