Keynote Speakers Boudewijn van DongenEindhoven University of Technology, NetherlandsTitle: Challenges in Conformance Checking: Where Process Mining meets Petri net TheoryBrief Biography here. Stefanie Rinderle-MaTechnical University of Munich, GermanyTitle: Process Mining and Process Automation in Manufacturing and TransportationBrief Biography here. Valeriy VyatkinAalto University, Finland and Lulea University of Technology, SwedenTitle: Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems inspired by Net Condition/Event SystemsBrief Biography here.