Axiomatisation of an Interval Calculus for Theorem Proving

We provide an axiomatisation of the Timed Interval Calculus, a set-theoretic notation for expressing properties of time intervals. We implement the axiomatisation in the Ergo theorem prover in order to allow the machine-checked proof of laws for reasoning about predicates expressed using interval operators. These laws can be then used in the machine-assisted verification of real-time applications.

Investigating Concept Mapping and Stimulated Recall to Reveal Academic Teacher Beliefs and how they are enacted through learning designs for the Web

Increasingly, academic teachers are designing their own web sites to add value to or replace other forms of university teaching. These web sites are tangible and dynamic constructions that represent the teachers thinking and decisions derived from an implicit belief system about teaching and learning. The emphasis of this study is to explore the potential of the research techniques of concept-mapping and stimulated recall to locate the implicit pedagogies of academic teachers and investigate how they are enacted through the learning designs of their web sites. The rationale behind such an investigation is that once these implicit belief systems are made visible, then conversations can commence about how these beliefs are transformed into practice, providing a potent departure point for academic development.