posted by user: fernand0 || 2212 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

OSDI 2018   13th USENIX Symposium on Operating Systems Design and Implementation
ICS 2018   the 32nd ACM International Conference on Supercomputing
PADS 2018   2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation
LICS 2018   Logic in Computer Science
ICANN 2018   27th International Conference on Artificial Neural Networks
CSIT 2018   5th International Conference on Computer Science and Information Technology (CSIT 2018)
CALDAM 2018   4th Annual Conference on Algorithms and Discrete Applied Mathematics
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
ICCAI 2018--ACM, Ei, Scopus 2018   ACM--2018 International Conference on Computing and Artificial Intelligence (ICCAI 2018)--Ei Compendex and Scopus
Social Information Systems @ HICSS-51   Social Information Systems Minitrack - Hawaii International Conference on System Sciences (HICSS-51)