WODES 2024 Program | Program at a Glance

WODES 2024 Technical Program Monday April 29, 2024 Monday Tuesday Wednesday Next Top
Click on the day's program and use the arrow keys for easy horizontal and vertical scrolling

WODES 2024 Technical Program Monday April 29, 2024
Track 1	Track 2
07:50-08:20 Entrance hall of the conference presentation rooms MoART5 Arrival of Participants & Registration
08:20-08:30 Alvorada I MoOST5 Opening Session
08:30-09:30 Alvorada I Plenary Session MoPPl Necmiye Ozay. Formal Methods for Cyber Physical Systems: State of the Art and Future Challenges
09:30-10:00 Entrance hall of the conference presentation rooms MoCBMT6 Coffee Break MoM
10:00-12:00 Alvorada I Regular Session MoMT1 Opacity and Cyber-Security	10:00-12:00 Alvorada II Regular Session MoMT2 Max-Plus Algebra and Its Applications
12:00-13:30 Restaurant at Windsor Hotel Lobby MoLBT6 Lunch Break Mo
13:30-15:10 Alvorada I Regular Session MoAT1 Petri Net-Based Modeling of Discrete Event Systems	13:30-15:10 Alvorada II Regular Session MoAT2 Supervisory Control of Discrete Event Systems
15:10-15:40 Entrance hall of the conference presentation rooms MoCBAT6 Coffee Break MoA
15:40-17:40 Alvorada I Journal Paper MoAJPT1 Journal Papers 1	15:40-17:40 Alvorada II Journal Paper MoAJPT2 Journal Papers 2

18:00-19:00 Itamaraty MoWRT7 Wellcome Reception

WODES 2024 Technical Program Tuesday April 30, 2024 Previous Monday Tuesday Wednesday Next Top
Click on the day's program and use the arrow keys for easy horizontal and vertical scrolling

WODES 2024 Technical Program Tuesday April 30, 2024
Track 1	Track 2
08:30-10:30 Alvorada I Regular Session TuMT1 Fault Diagnosis of Discrete Event Systems	08:30-10:30 Alvorada II Invited Session TuMT2 Resilience and Security of Discrete Event Systems
10:30-11:00 Entrance hall of the conference presentation rooms TuCBMT4 Coffee Break TuM
11:00-12:00 Alvorada I Plenary Session TuPT5 Marcos V. Moreira. Cryptographic Systems and Their Applications in Discrete-Event Systems to Ensure Confidentiality
12:00-13:30 Restaurant at Windsor Hotel Lobby TuLBT4 Lunch Break Tu
13:30-15:10 Alvorada I Regular Session TuAT1 Modeling Tools for Discrete Event Systems I	13:30-15:10 Alvorada II Regular Session TuAT2 Discrete Approaches for Hybrid Systems

15:30-22:00 TuBT3 Turism & Banquet

WODES 2024 Technical Program Wednesday May 1, 2024 Previous Monday Tuesday Wednesday Top
Click on the day's program and use the arrow keys for easy horizontal and vertical scrolling

WODES 2024 Technical Program Wednesday May 1, 2024
Track 1	Track 2
08:30-10:30 Alvorada I Journal Paper WeMJPT1 Journal Papers 3	08:30-10:30 Alvorada II Journal Paper WeMJPT2 Journal Papers 4
10:30-11:00 Entrance hall of the conference presentation rooms WeCBT4 Coffee Break WeM
11:00-12:00 Alvorada I Plenary Session WePPl Laurent Hardouin. on Counter Functions and Operators for Modelling Discrete-Event Dynamic Systems
12:00-13:30 Restaurant at Windsor Hotel Lobby WeLBT4 Lunch Break We
13:30-15:10 Alvorada I Regular Session WeAT1 Applications of Discrete Event Systems	13:30-15:10 Alvorada II Regular Session WeAT2 Modeling Tools for Discrete Event Systems II

15:30-16:30 Alvorada I WeCCT3 Closing Ceremony

Program at a Glance Start browsing the Program at a Glance Click on Top to return here

Program at a Glance

Start browsing the Program at a Glance
Click on Top to return here