A satellite workshop of the CAV'01 conference
Deadline for paper/abstract submission extended to Tuesday 8 May
Download the text and PDF versions of the call for papers
Abstracts or full papers of contributed talks are requested for the symposium. The deadline for submission of contributions is Tuesday 1st May 2001.
The French joint research project "MARS" on control synthesis of discrete event systems using Petri nets has allowed researchers from several laboratories to develop original controller synthesis methods, tools and applications. The aim of the symposium is to gather a larger community of researchers interested in supervisory control of discrete event systems and outline new trends and problems in the field.
The symposium programme will consist of both contributed talks (30 minutes) and invited lectures (one hour), covering different topics on the supervisory control of discrete event systems. Proceedings will be published and distributed to participants.
The symposium will be held at Campus "Jussieu", Paris, France.
6 pages abstracts or 12 pages full papers in English may be submitted before Tuesday 8 May 2001. Submissions should be sent by email in postscript or PDF formats to: scodes2001@irisa.fr. In case submission by email is not feasible, contributions should be sent by post to the organiser.
Benoît Caillaud IRISA Campus universitaire de Beaulieu 35042 Rennes cedex France email: Benoit.Caillaud@irisa.fr telephone: +33 2 99 84 74 07 fax: +33 2 99 84 25 32
The symposium is sponsored by INRIA and is affiliated to the CAV'01 conference (18-23 July 2001)