WODES 2020 will take place on November, 11-13, 2020, in the virtual form. The online program is now available. Please, refer to it in order to organize your presentation. The time of the sessions are given in accordance to Rio de Janeiro time zone (GMT-3).

Due to the conference size, live presentation format has been adopted. We expect that this will allow more interaction between those who are presenting their papers and the audience. Only in very special cases, recorded presentations will be allowed. We also intend to have a virtual lounge with several small groups where participants can come in and chat.

The Best Student Paper Award has been kept. For instructions on how advisors can submit their nominations can be obtained here.

Finally, due to the several requirements that must be fulfilled in order for IFAC Papercept to start building the conference proceedings, they are likely to be available only at the beginning of the conference. Nevertheless, we are doing our best to make them available before that.

We will provide more updates on the conference in the next few days.

We wish all participants a lively and enjoyable WODES 2020.

Joao Carlos Basilio, Chair
Jose E. R. Cury, Co-chair

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, etc.
The 15th Workshop on Discrete Event Systems (WODES’20) aims at providing researchers from different fields (control theoreticians and control engineers, software engineers and computer scientists, operations research specialists) 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 DES theory and applications, including (but not limited to) the following:

• Formalisms and modeling methodologies: Petri nets, automata, state charts, 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.