| 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 |