Various links
A PhD and Post Doctoral Summer School on
Logics of Formal Software Specification Languages
, The High Tatras, Slovakia June 6-19, 2004
Course on Duration Calculus
, Tallinn Technical University, Dec. 2003
Workshop on Interval Logics and Duration Calculi
at the
15th European Summer School in Logic, Languages and Information
(ESSLLI 2003).
Nordic Workshop on Programming Theory
(NWPT'01) held at DTU October 10-12, 2001.
Duration Calculus Workshop
at the
10th European Summer School in Logic, Languages and Information
(ESSLLI X).
1996 Estonian Winter School in Computer Science
. See also
here
.
Last update:
June 2, 2004