TITLE: Applying formal methods to clinical guidelines:
the case of temporal information

In the talk, I'll argue about the importance of adopting
formal methods in the treatment of clinical guidelines, with specific focus 
on temporal information.
First, I'll provide sketchy overview of the GLARE (Guideline Acquisition,
Representation and Execution) project.
The treatment of clinical guidelines involves at least two different types
of temporal information: (i) temporal information concerning patients' data, and 
(ii) temporal information concerning temporal constraints between actions in the guideline.
Concerning the former (i.e., (i)) type of information,
in the second and main part of the talk, I'll introduce formal methods
which have been devised in the area of temporal databases.
Concerning the latter (i.e., (ii)) type of information, in the third and last part
of the talk I'll address Artificial Intelligence techniques to deal with temporal
constraints, with specific reference to the ones devised within the GLARE project.