Tool demonstrations


During the 5th Workshop on Discrete Event Systems (WODES2000) there will be one or more sessions where developers of tools for DES analysis and synthesis will have an opportunity to demonstrate their software. The tools to be demonstrated could solve any of the problems in the scope of the WODES2000 conference. In particular, but not exclusively, there could be tools demonstrations for
- verification and control synthesis for discrete event and hybrid systems;
- perturbation analysis and sensitivity analysis tools;
- (max,+) based tools and scheduling.

The proposed format for each tools session consists of brief plenary presentations introducing the tools to be demonstrated, followed by demonstrations in smaller groups. For each of the tools there will also be the possibility of a brief (1 page) description to be included in the conference proceedings.

Deadlines:
Declarations of intent to demonstrate a tool, with a brief description of the tool, should preferably be submitted by March 10, 2000 to the conference secretariat (wodes2000@systems.rug.ac.be). These submissions should explain how the tool fits the scope of the WODES conference. Tools demonstrators will be notified of the acceptance of their submission by April 15. Those who want to include a one page (non-commercial) description of their tool in the conference proceedings should submit this text in camera ready form by May 1st. Later submissions will be considered, subject to availability of time slots.