Conferences on Intelligent Computer Mathematics - Birmingham 2008
CICM '08

Doctoral Programme

Birmingham, UK, 29-31 July 2008

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