Sun 1 - Fri 6 October 2023 Västerås, Sweden

Gordana Dodig-Crnković

img alt <

Gordana Dodig-Crnković is Professor of Computer Science at Mälardalen University, and Professor of Interaction Design at Chalmers University of Technology, Sweden. She holds PhD degrees in Physics and Computer Science. Her research focuses on the relationships between computation, information, and cognition, including ethical and value aspects. She has been teaching courses in Research Methodology and Theory of Science, Professional Ethics, as well as Formal Languages, Automata and Theory of Computation.

She published a book Information and Computation Nets in 2009 and several edited volumes. including “Information, Computation, Cognition” with Susan Stuart in 2007; three volumes with Mark Burgin: “Information and Computation” in 2011, “Philosophy and Methodology of Information” in 2019, and “Theoretical Information Studies” in 2020. With Raffaela Giovagnoli she published volumes “Computing Nature” in 2013 and “Representation and Reality” in 2017.

Dodig-Crnković is the past President of the International Society for the Study of Information, a member of the editorial board of the World Scientific Series in Information Studies, and Springer SAPERE series, and a member of the editorial board of several journals. She is a member of the AI Ethics Committee at the Chalmers University of Technology and an external member of The Karel Capek Center for Values in Science and Technology,, a research interdisciplinary center established by the Czech Academy of Science, Faculty of Natural Sciences and the Charles University, Prague. Personal web page

Maurice ter Beek

img alt <

Maurice ter Beek is senior researcher at ISTI-CNR (Pisa, Italy) and head of the Formal Methods and Tools lab. He obtained his BSc, MSc and PhD in Computer Science at Leiden University (The Netherlands). He works on formal methods and model-checking tools for the specification and verification of safety-critical software systems and communication protocols, focusing in particular on applications in service-oriented computing, software product line engineering and railway systems.

He is board member of FME (Formal Methods Europe) and member of the steering committees of COORDINATION, FMICS (which he currently chairs), iFM, SPLC and VaMoS, and regular PC member of ABZ, COORDINATION, FM, FMICS, FormaliSE, iFM, RSSRail, SEFM, SPLC and VaMoS, among others. He recently served as PC chair of VaMoS 2017, FM 2019, FMICS 2020, SPLC 2021, COORDINATION 2022 and iFM 2022, and as general chair of FMICS-AVoCS 2016 and SPLC 2023.

He has co-authored over 150 peer-reviewed papers, co-edited over 30 proceedings and special issues of journals, and serves on the editorial boards of the journals Formal Aspects of Computing: Applicable Formal Methods, International Journal on Software Tools for Technology Transfer, Journal of Logical and Algebraic Methods in Programming, PeerJ Computer Science, Science of Computer Programming and ERCIM News.

Hans Vangheluwe

img alt <

Hans Vangheluwe is a Professor in the Antwerp Systems and Software Modelling (AnSyMo) group within the Computer Science Department at the University of Antwerp in Belgium, where he is a founding member of the NEXOR Consortium on Cyber-Physical Systems (CPS). AnSyMo is a Core Research Lab of Flanders Make, the strategic research centre for the Flemish manufacturing industry. He heads the Modelling, Simulation and Design Lab (MSDL), founded when he was a professor at McGill University in Montreal, Canada. In a variety of projects, often with industrial partners, he develops and applies the model-based theory and techniques of Multi-Paradigm Modelling (MPM) in application domains as diverse as bio-actived sludge waste-water treatment plant design and optimization (which led to the WEST commercial tool), safe automotive software (within the NECSIS project), and autonomic production plants in the context of Industry 4.0.

His fundamental work covers the foundations of modelling and (co-)simulation, of model management, model transformation, and collaborative domain-specific (visual) modelling environments. This work is always accompanied by prototype tools such as WEST, Python(P)DEVS, the Modelverse, T-Core, AToM3 (with Juan de Lara) and AToMPM. In the mid ’90s, he was one of the original members of the equation-based, object-oriented modelling language Modelica design team, one of the initiatives of the ESPRIT Basic Research Working Group 8467 on “simulation for the future: new concepts, tools and applications” (SiE) which he co-founded. He has published extensively in simulation and in software modelling.

He frequently gives tutorials on topics such as Statecharts, DEVS, co-simulation, modelling language engineering and a-causal modelling. He was the co-organizer, with Vasco Amaral, of Summer Schools such as Domain-Specific Modelling, Theory and Practice (DSM-TP). Recently, he was the chair of the EU COST Action IC1404 “Multi-Paradigm Modelling for Cyber-Physical Systems” (MPM4CPS). He is known to try to “model everything explicitly …”.