Slides of plenary talk "The Science of Software and System Design"
Stavros Tripakis is a Full Professor at Aalto University, and an Adjunct Associate Professor at the University of California, Berkeley. He received a Ph.D. degree in Computer Science in 1998 at the Verimag Laboratory, Joseph Fourier University, Grenoble, France. He was a Postdoc at UC Berkeley from 1999 to 2001, a CNRS Research Scientist at Verimag from 2001 to 2006, and a Research Scientist at Cadence Research Labs, Berkeley, from 2006 to 2008. His research interests include formal methods, computer-aided system design, and cyber-physical systems. Dr. Tripakis was co-Chair of the 10th ACM & IEEE Conference on Embedded Software (EMSOFT 2010), and Secretary/Treasurer (2009-2011) and Vice-Chair (2011-2013) of ACM SIGBED. His h-index is 44.


Slides of plenary talk "Logical Control of Complex Resource Allocation Systems"
Spyros Reveliotis is a Professor in the School of Industrial & Systems Engineering, at the Georgia Institute of Technology. He holds a Diploma in Electrical Engineering from the National Technical University of Athens, Greece, an M.Sc. degree in Computer Systems Engineering from Northeastern University, Boston, and a Ph.D. degree in Industrial Engineering from the University of Illinois at Urbana-Champaign.
Dr. Reveliotis’ research interests are in the area of Discrete Event Systems (DES) theory and its applications. Central role in his work has the adaptation and application of DES theory to the control of the complex resource allocation functions that arise in the context of many contemporary applications: From the resource allocation that takes place in flexibly automated workflow systems, and the zone allocation in automated, guidepath-based material handling and other transport systems, to the lock allocation that takes place in multi-threaded software and the management of the ion-trap network that facilitates the physical realization of the elementary computational operations that take place in the context of quantum computing.
Dr. Reveliotis is a Fellow of IEEE and a member of INFORMS. He has served on the editorial boards of many journals and conferences pertaining to his areas of interest, and his current appointments include a Senior Editor position for the IEEE Trans. on Automation Science and Engineering, a Department Editor position for IIE Transactions, an Associate Editor position for the Journal of Discrete Event Dynamic Systems, and the position of the Editor-in-Chief for the Editorial Board of the IEEE Conference on Automation Science and Engineering (CASE). He has also served as the Program Chair for the 2009 IEEE CASE conference (2009), and the General Co-Chair of the 2014 edition of the same conference, and currently he is also a member of the Board of Governors of the American Automatic Control Council, representing the INFORMS Applied Probability Society.
Dr. Reveliotis and his students have also been the recipients of a number of awards, with the most recent one being the 2014 Best Paper Award of the IEEE Trans. on Automation Science and Engineering.


Slides of plenary talk "Partially observed discrete-event systems: from state estimation to intrusion detection"
Carla Seatzu received her Ph.D. degree in Electronic and Computer Engineering from the University of Cagliari, Italy in 2000. Since 2011 she is Associate Professor of Automatic Control at the Department of Electrical and Electronic Engineering of the University of Cagliari, which she joined in 2002 as an Assistant Professor. In 2013 she got the Italian National Abilitation to Full Professor of Automatic Control.
She is Vice-President of the Faculty Committee of Engineering and Architecture and Vice-Coordinator of the Ph.D. Program in Electronic and Computer Engineering at the University of Cagliari.
Carla Seatzu's research interests include discrete-event systems, Petri nets, hybrid systems, networked control systems, manufacturing and transportation systems. She is author of over 230 publications, including 70 papers in international journals and one textbook. She is editor of two international books and the proceedings of two international conferences. Her h-index in Scopus is equal to 26.
Currently she is Senior Editor of one international journal: IEEE Control Systems Letters, and Associate Editor of 3 international journals: IEEE Trans. on Automatic Control, IEEE Trans. on Automation Science, and Discrete Event Dynamic Systems. She actively collaborates to the organization of several international events: she was Workshop Chair of the 55th IEEE Conf. on Decision and Control (2016) and General Co-chair of the 18th IEEE Int. Conf. on Emerging Technologies and Factory Automation (2013); she is Program Co-chair of the 23rd IEEE Int. Conf. on Emerging Technologies and Factory Automation (2018).
She is Vice Co-chair of the IFAC Technical Committee of Discrete Event and Hybrid Systems and Co-Chair of the IEEE Industrial Electronic Society Technical Subcommittee on Industrial Automated Systems and Control.
She has been visiting professor in several foreign universities in Spain (Zaragoza), USA (Atlanta), Mexico (Guadalajara), and China (Xi'an).