Digital Transformation Trends: Industry 4.0, Automation, and AI

The industrial track at ISoLA 2018 provided a platform for presenting industrial perspectives on digitalization and for discussing trends and challenges in the ongoing digital transformation. The track continued two special tracks at ISoLA conferences focused on the application of learning techniques in software engineering and software products [3], and industrial applications of formal methods in the context of Industry 4.0 [5]. Topics of interest included but were not limited to Industry 4.0, industrial applications of formal methods, and applications of machine-learning in industrial contexts.