Preliminary Schedule, Monday 12th July
- 09:30 - 11:00, AMAST 2004: Welcome, Invited Talk, AMAST paper.
- 11:00 - 11:30, Coffee.
- 11:30 - 12:30, ARTS 2004 begins: Invited talk by Jan Friso Groote.
- 12:30 - 13:00, Wan Fokkink and Jun Pang:
Formal Verification of Timed Systems using Cones and Foci.
- 13:00 - 14:00, Lunch.
- 14:00 - 14:30, Dimitar P. Guelev:
Sharpening the Incompleteness of the Duration Calculus.
- 14:30 - 15:00, Howard Bowman, Rodolfo Gomez and Li Su:
A tool for the syntactic detection of zeno-timelocks in timed
automata.
- 15:00 - 15:30, Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe,
Hiroaki Kuwabara, Shoji Yuen, Kiyoshi Agusa:
Name-passing style GUI programming in pi-calculus based
language Nepi.
- 15:30 - 16:00, Tea.
- 16:00 - 16:30, Alastair Donaldson, Alice Miller and Muffy Calder:
SPIN-to-GRAPE: A tool for analysing symmetry in Promela models.
- 16:30 - 17:00, G. Qin and J. Wu:
Action refinement for Real-time Concurrent Processes with Urgency.
- 17:00, End of ARTS 2004.