posted by user: fernand0 || 1767 views || tracked by 9 users: [display]

WODES 2016 : 13th International Workshop on Discrete Event Systems


When May 30, 2016 - Jun 1, 2016
Where Xi'an China
Submission Deadline Jan 8, 2016
Notification Due Mar 15, 2016
Final Version Due Apr 10, 2016
Categories    discrete event systems   formal methods   control   computer science

Call For Papers

Aims and scope
The interdisciplinary field of Discrete Event Systems (DES) combines different formalisms, methodologies and tools from control, computer science and operations research. The research activity in this field is driven by the needs of many different applications domains: manufacturing, process control, supervisory systems, software engineering, transportation, and so on. Discrete Event Systems is now a mature field and many interesting applications have been developed. This 13th International Workshop on Discrete Event Systems will be hosted at Wyndham Grand Hotel, Xi'an, China. It aims to provide researchers from different fields with an opportunity to exchange information and new ideas, and to discuss new developments in the field of DES theory and applications.

The workshop will cover all topics in discrete event theory and applications, including (but not limited to) the following:
Formalisms and modeling methodologies: Petri nets, automata, statecharts, process algebras, max-plus algebra, queuing network;
Control of discrete-event systems with emphasis on supervisory control and on real time control;
Performance evaluation, optimization and scheduling;
Diagnosis, fault detection, test, identification;
Discrete approaches for hybrid systems;
Event-driven methods in systems and control;
Applications including manufacturing systems, transportation systems, power production, distributed systems, software engineering, home automation, workflow, telecommunication systems, biological systems;
Automation methods and software tools enabling efficient handling of industrial-sized systems.

Paper Submission and Publication
Prospective participants are invited to electronically submit full papers of their work following the instructions on the website. Conference proceedings will be published online and will receive an ISBN number and the ISSN number of series.

The presented papers will be further screened for possible publications in international journals.

Special Sessions
Special sessions offer a venue for presentations that focus on specific topics, and provide an opportunity to discuss challenging issues or common research problems. The format of special sessions consists of 4 to 6 presentations and allows a panel discussion led by the session chair(s), to motivate the exchange of opinions among presenters and participants. Special sessions papers will follow the reviewing process of regular papers.

The proposal for a special session should be sent by the organizers to the IPC Chairs via email to and should include:
Title of the session and keywords,
Names, affiliations and contact addresses of the organizers, including email addresses,
Description and aim of the proposed session,
Titles of the contributions, together with the names and contact addresses of the contributing and committed authors.

Related Resources

SODA 2017   Symposium on Discrete Algorithms
ICONIP 2017   International Conference on Neural Information Processing
ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
ACML 2017   The 9th Asian Conference on Machine Learning
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
NSDI 2018   15th USENIX Symposium on Networked Systems Design and Implementation
ICISIP 2017   The 5th IIAE International Conference on Intelligent Systems and Image Processing 2017
CHI 2018   ACM CHI Conference on Human Factors in Computing Systems
ICCBDC - ACM 2017   International Conference on Cloud and Big Data Computing (ICCBDC 2017)--Ei Compendex and Scopus
DEBS 2017   11th ACM International Conference on Distributed and Eventā€based Systems