Schedule

Tuesday, July 29th

14:00-14:10

Welcome (Christoph Benzmueller and Mateja Jamnik)

14:10-14:30

Steven Kieffer: Diagrammatic Explanation of Formal Proofs

14:30-14:50

Christine Mueller: Community of Practice in the STEM Disciplines

14:50-15:10

Marc Wagner: Intelligent Mathematical Authoring

15:10-15:30

Josef Baker: Analysis of Mathematics within PDF Documents

15:30-16:00

Coffee with questions and discussions

16:00-16:30

(Tutorial) Geoff Sutcliffe – How to give a presentation?

16:30-16:50

Fulya Horozal: Logic Translations and Flexible Degrees of Formality in Large Scale Mathematical Specifications

16:50-17:10

Normen Mueller: Fine-Granular Version Control, Redundancy Resolution and Long-range Effect Computation

17:10-17:30

Noureddin Sadawi: Automatic Chemical Document Analysis

17:30-18:00

Discussion with questions

19:00-20:00

Banquet; a special table to our participants

Wednesday, July 30th

09:00-09:30

(Tutorial) Alan Bundy: The Need for Hypotheses in Informatics

09:30-09:50

Dominik Dietrich: Deep Hierarchical Proof Planning

09:50-10:10

Christoph Lange: Web Collaboration on Semiformal Mathematical Knowledge

10:10-10:30

Imran Zia: A Formally Correct Knowledge Management Framework for Small and Medium Enterprises.

10:30-11:00

Coffee with discussion and questions

11:00-11:20

Rafael Navarro Marset: Automatic Verification and Certification of Termination Properties

11:20-11:40

Su Wei: Web-based Mathematics Education and Math Computing Grid

11:40-12:00

Antti Hyvaerinen: Distributed Constraint-Based Search in Grids

12:00-12:20

Vyacheslav Zholudev: Towards Distributed Mathematical Storage

12:20-12:30

Close of the technical session (Christoph Benzmueller and Mateja Jamnik)

16:00-18:00

5-a-side-football on Astroturf pitches on Campus

Afterwards

Joint dinner and night out

Thursday, July 31st

11:30-12:30

Mathematica 6: New Developments in the Worlds Leading Computer Algebra System (Christophe Déplacé)

14:00-15:30

Panel Discussion (jointly with ARW): What should make successful research in automated reasoning

Evening

Social event: To be confirmed