CADE-19 in Miami

28 July - 2 August 2003

In the sunshine ... On the beach

System Demonstration Schedule



Session 13: Saturday 2nd, 10:30-12:30
10:30-11:10 Homer
Simon Colton
(Paper in Session 8)
11:15-11:55 Quodlibet!
Tobias Schmidt-Samoa
(Paper in Session 11)
12:00-12:40 IsaPlanner
Lucas Dixon
(Paper in Session 8)

Session 14: Saturday 2nd, 14:00-15:30
14:00-14:40 VeriFun
Christoph Walther
(Paper in Session 11)
14:50-15:30 Living Book
Peter Baumgartner
(Paper in Session 8)

Session 15: Saturday 2nd, 16:00-18:00
16:00-16:40 TRP++ 2.0
Boris Konev
(Paper in Session 8)
16:45-17:25
17:30-18:10