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.