Distinguished Carl Adam Petri Lecture

Title - Promises and Challenges of Reactive Modeling: A Personal Perspective

Prof. Thomas A. Henzinger
Institute of Science and Technology  (IST) Austria

Details on this invited talk can be found here

Biography

Thomas A. Henzinger is president of IST Austria (Institute of Science and Technology Austria). He holds a Dipl.-Ing. degree in Computer Science from Kepler University in Linz, Austria, an M.S. degree in Computer and Information Sciences from the University of Delaware, a Ph.D. degree in Computer Science from Stanford University (1991), and a Dr.h.c. from Fourier University in Grenoble, France (2012) and from Masaryk University in Brno, Czech Republic (2015). He was Assistant Professor of Computer Science at Cornell University (1992-95), Assistant Professor (1996-97), Associate Professor (1997-98), and Professor (1998-2004) of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He was also Director at the Max-Planck Institute for Computer Science in Saarbruecken, Germany (1999) and Professor of Computer and Communication Sciences at EPFL in Lausanne, Switzerland (2004-09). His research focuses on modern systems theory, especially models, algorithms, and tools for the design and verification of reliable software, hardware, and embedded systems. His HyTech tool was the first model checker for mixed discrete-continuous systems. He is an ISI highly cited researcher, a member of Academia Europaea, a member of the German Academy of Sciences (Leopoldina), a member of the Austrian Academy of Sciences, a Fellow of the AAAS, a Fellow of the ACM, and a Fellow of the IEEE. He has received the Milner Award of the Royal Society, the Wittgenstein Award of the Austrian Science Fund, and an ERC Advanced Investigator Grant.

Invited Speakers

Title - The Alignment of Formal, Structured and Unstructured Process Descriptions

Prof. Josep Carmona
Department of Computer Science,
Universitat Politècnica de Catalunya, Spain

Details on this invited talk can be found here

Biography

Josep Carmona is an Associate Professor at Universitat Politècnica de Catalunya. He got a PhD at the same university in 2004, under the supervision of Prof. Jordi Cortaldella. His research interests include formal methods and concurrent systems, data and process science, business intelligence and business process management, and natural language processing. He has co-authored numerous research papers and organized various conferences and workshops. He is a member of the IEEE Task Force on Process Mining, and co-organizes the Process Discovery Contest.

Prof. Carmona has served on the technical committees of several international conferences in different fields. He received the best paper award at the Int. Conf. on Application of Concurrency to System Design (2009), and a best student paper award with his PhD student at the Int. Conf. on Business Process Management (2013). A PhD supervised by Prof. Carmona won the IEEE Best Process Mining Dissertation Award (2015).

Prof. Carmona was a Visiting Researcher at Leiden University (January — September, 2002), and a Visiting Professor at Mannheim University (January — July, 2015).

Title - Complexity Made Simple*
*at a small price

Prof. Christos G. Cassandras
Division of Systems Engineering,
Department of Electrical and Computer Engineering, and
Center for Information and Systems Engineering (CISE)
Boston University, USA

Details on this invited talk can be found here

Biography

Christos G. Cassandras is Distinguished Professor of Engineering at Boston University. He is Head of the Division of Systems Engineering, Professor of Electrical and Computer Engineering, and co-founder of Boston University’s Center for Information and Systems Engineering (CISE). He received degrees from Yale University (B.S., 1977), Stanford University (M.S.E.E., 1978), and Harvard University (S.M., 1979; Ph.D., 1982). In 1982-84 he was with ITP Boston, Inc. where he worked on the design of automated manufacturing systems. In 1984-1996 he was a faculty member at the Department of Electrical and Computer Engineering, University of Massachusetts/Amherst. He specializes in the areas of discrete event and hybrid systems, cooperative control, stochastic optimization, and computer simulation, with applications to computer and sensor networks, manufacturing systems, and transportation systems. He has published over 380 refereed papers in these areas, and six books. He has guest-edited several technical journal issues and serves on several journal Editorial Boards. In addition to his academic activities, he has worked extensively with industrial organizations on various systems integration projects and the development of decision-support software. He has most recently collaborated with The MathWorks, Inc. in the development of the discrete event and hybrid system simulator SimEvents.

Dr. Cassandras was Editor-in-Chief of the IEEE Transactions on Automatic Control from 1998 through 2009 and has also served as Editor for Technical Notes and Correspondence and Associate Editor. He is currently an Editor of Automatica. He was the 2012 President of the IEEE Control Systems Society (CSS). He has also served as Vice President for Publications and on the Board of Governors of the CSS, as well as on several IEEE committees, and has chaired several conferences. He has been a plenary/keynote speaker at numerous international conferences, including the American Control Conference in 2001 and the IEEE Conference on Decision and Control in 2002 and 2016, and has also been an IEEE Distinguished Lecturer.

He is the recipient of several awards, including the 2011 IEEE Control Systems Technology Award, the Distinguished Member Award of the IEEE Control Systems Society (2006), the 1999 Harold Chestnut Prize (IFAC Best Control Engineering Textbook) for Discrete Event Systems: Modeling and Performance Analysis, a 2011 prize and a 2014 prize for the IBM/IEEE Smarter Planet Challenge competition (for a “Smart Parking” system and for the analytical engine of the Street Bump system respectively), the 2014 Engineering Distinguished Scholar Award at Boston University, several honorary professorships, a 1991 Lilly Fellowship and a 2012 Kern Fellowship. He is a member of Phi Beta Kappa and Tau Beta Pi. He is also a Fellow of the IEEE and a Fellow of the IFAC.

Title - Resource equivalences in Petri nets

Prof. Irina Lomazova
Laboratory of Process-Aware Information Systems (PAIS Lab), and
Faculty of Computer Science
National Research University Higher School of Economics, Moscow, Russia

Details on this invited talk can be found here

Biography

Irina A. Lomazova is a Professor at the Faculty of Computer Science of National Research University Higher School of Economics , Moscow, Russia. She is also the Head of Laboratory of Process-Aware Information Systems (PAIS Lab). She holds a Diploma and a PhD in Mathematics from Novosibirsk State University, Russia, under the supervision of Prof. B.A. Trakhtenbrot .Then she was Associate Professor at Krasnoyarsk State University, Russia, Senior Researcher in Program Systems Institute of Russian Academy of Science. She is author of two books and over 100 refereed papers concerning program semantics and analysis, formal methods, concurrent and distributed systems, process modeling and analysis. Her current interests focus on formal methods for modeling and analysis of distributed multi-agent systems and process mining. She is a member of IEEE Task Force on Process Mining . She was a Visiting Professor/Researcher at Humboldt-Universität zu Berlin, Germany, École normale supérieure de Cachan, France, Eindhoven University of Technology, Netherlands, University of Turku, Finland, University of Siegen, Germany.

Title - Property-Preserving Generation of Tailored Benchmark Petri Nets

Prof. Bernhard Steffen
Fakultät für Informatik
Technisque Universität Dortmund, Germany

Details on this invited talk can be found here

Biography

Bernhard Steffen graduated in Mathematics (1983) and obtained a PhD in Computer Science (1987) from the Christian-Albrechts Universität Kiel (D), then he was Research Fellow at the Laboratory for Foundations of Computer Science (LFCS) in Edinburgh and Researcher at the University of Aarhus (Denmark). 1990 he became Associate Professor for Distributed Systems at RWTH Aachen, and 1993 Full Professor for Programming Systems at the University of Passau. Since 1997 he holds the Chair of Programming Systems and Compiler Construction at the University of Dortmund, where he was Dean of Computer Science between 2002 and 2006 and member of the Senate 2006/07. He is author of over 300 internationally refereed papers concerning various aspects of formal (verification) methods and tools for program analysis, compiler optimization, model generation, testing, and service-oriented software development (h-number 55). He has served on more than 120 Program Committees, over 15 times as chair, on numerous Steering Committees, and in the Editorial Boards of the ACM Transactions on Programming Languages and Systems (TOPLAS), Kluwer ́s Formal Methods in System Design, as well as Springer ́s Software: Concepts and Tools and Innovations in Software and Systems Engineering: A NASA Journal. Since 2004 he is editor of LNCS (Lecture Notes in Computer Science) for the sub-libraries `Theoretical Computer Science ́, `Programming Techniques and Software Engineering ́and `Advanced Research in Computing and Software Science ́, He has broad experience in the use of formal methods to support state of the art industrial software development of distributed cooperative systems through major academic and industrial projects (where he won the European IT Award in 1996, and a start-up competition in 2001) and consulting (he was founder and member of the Advisory Board of various start-up companies), as well as through his activity as an Advisory Board Member of ASTEC, a Swedish technology transfer initiative for Advanced Software TEChnology, and as a member of the International Scientific Advisory Board of the UK strategic research & training initiative in Large-Scale Complex IT Systems (LSCITS). He is founder and Editor in Chief of Software Tools for Technology Transfer (STTT), Springer Verlag, and co- founder and Steering Committee Member of TACAS, the Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems. In 2004 he co-founded ISoLA (Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation). Most recently he founded the LNCS Transaction on The Foundations for Mastering Change whose first issue appeared in October 2016. In 1989 he co-developed the Concurrency Workbench, one of the earliest formal analysis tools for distributed and parallel systems, 1991 he set the scene for Software Model Checking with his paper Data Flow Analysis as Model Checking, 1992 he presented the first functioning Model Checker for infinite-state systems with Model Checking for Context-Free Processes, in 2002 he obtained the Most Influential PLDI Paper Award for Lazy Code Motion, which is given 10 years later in retrospective, and in 2014 he received the CAV Artifact Award for the Open-Source LearnLib. Currently, his research focuses on technology to continuously support business process modelling and service-oriented development of complex, heterogeneous, evolving systems. Conceptual backbone for the envisaged Continuous Model Driven Engineering (CMDE) is the eXtreme Model-Driven Development (XMDD) paradigm, which aims at continuously involving the customer/application expert throughout the whole systems' life cycle including software maintenance and evolution. XMDD combines service and aspect orientation, model driven design and ideas from eXtreme programming in order to achieve scalable Scrum-like agility. Continuous quality assurance is guaranteed via model-checking-based verification and the combination of model-based testing and automata learning. This combination has, in particular, proved to be very effective for enterprise- scale applications. Characteristic is here the test-based modeling approach where active automata learning is applied to compensate lacking specification which he pioneered in the context of a large industrial telecommunication system.

Title - Modelling & Mining Event-based Concurrent Declarative Processes as Dynamic Condition Response Graphs

Prof. Thomas Hildebrandt
Process Intelligence, Modelling and Optimisation Group
University of Copenhagen, Denmark

Details on this invited talk can be found here

Biography

Thomas Hildebrandt is Associate professor at IT University of Copenhagen and head of the Process Intelligence, Modelling and Optimisation Group. He obtained a PhD in Computer Science in 1999 from BRICS, Aarhus University and has published more than 60 peer-reviewed papers in the areas of formal models for concurrent, distributed and mobile systems and applications to security, business and workflow management systems. He has been the principal investigator of several interdisciplinary research projects with industry partners and member of the management committee for the EU COST action on behavioural types for complex distributed systems. In particular, he initiated and lead the development of the declarative DCR Graphs process technology for flexible and adaptable processes jointly with his research group and the danish company Exformatics. Currently he is co-investigator on the Computational Artefacts (CompArt) project supported by the Velux foundation and facilitates three industry interest groups in the area of processes and IT in two innovation networks (infinit.dk and cfir.dk) and the private knowledge network VidenDanmark.dk.