Conferences on Intelligent Computer Mathematics - Birmingham 2008
Programming Languages for
Mechanized Mathematics Systems

PLMMS

Birmingham, UK, 29 July 2008

Workshop Programme

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.

12:30-14:00: Lunch


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


19:00-21:00: Banquet