09:15-09:30 | Workshop Opening |
Invited Talk | |
---|---|
09:30-10:30 | Larry Paulson: Formalizing Abstract Mathematics: Issues and Progress |
Break | |
Session I | |
11:00-11:30 | Hutter: Towards a Generic Management of Change |
11:30-12:00 | Piroi, Buchberger: An Environment for Building Mathematical Knowledge Libraries |
12:00-12:30 | Zimmer, Meier, Sutcliff, Zhang: Integrated Proof Transformation Services |
Lunch | |
Session II | |
14:00-14:25 | Alexoudi, Zinn, Bundy: English Summaries of Mathematical Proofs |
14:25-14:50 | Duncan, Bundy, Levine, Storkey, Pollet: The Use of Data-Mining for the Automatic Formation of Tactics |
14:50-15:15 | Belinfante, Goble: CORE and HULL Constructors in Gödel's Class Theory |
15:15-15:40 | Markovski, Gligoroski, Markovski: Classification of Quasigroups by Random Walk on Torus |
Break | |
Special Session organized by Jörg Siekmann and Jacques Calmet: CALCULEMUS Quo Vadis? | |
16:00-17:00 | Details to be announced |
Organizational Issues | |
17:00-Open End | Calculemus Business Meeting, Calculemus Network Meeting: Details to be announced |