MEDI has never been organized in the north of Europe;
for the 10th edition MEDI will specially be hosted by Estonia:
a nordic gem where modern meets medieval
The Tenth International Conference on Model & Data Engineering (MEDI) will be held from 20 to 23 June 2021 in Tallinn, Estonia. Its main objective is to provide a forum for the dissemination of research accomplishments and to promote the interaction and collaboration between the models and data research communities. MEDI’2021 provides an international platform for the presentation of research on models and data theory, development of advanced technologies related to models and data and their advanced applications. This international scientific event, initiated by researchers from Euro-Mediterranean countries, aims also at promoting the creation of north-south scientific networks, projects and faculty/student exchanges.
Best papers will be invited for submission in special issues of well ranked Journals:
The Journal on Software and Systems Modeling (SoSyM), Q2 with an IF: 1.876 (2019) has accepted to organize a special issue for selected papers of MEDI.
Another special issue is planned to come in the International Journal of General Systems (IF=2.931, Q1).
Specific areas of interest to MEDI 2021 include but are not limited to:
Title. "Extreme-Scale Model-Based Time Series Management with ModelarDB"
Short Bio. Torben Bach Pedersen is a Professor of Computer Science at Aalborg University, Denmark. His research interests include Extreme-Scale Data Analytics, Data warehouses and Data Lakes, Predictive and Prescriptive Analytics, with a focus on technologies for "Big Multidimensional Data" - the integration and analysis of large amounts of complex and highly dynamic multidimensional data. His major application domain is Digital Energy, where he focuses on energy flexibility and analytics on extreme-scale energy time series. He is an ACM Distinguished Scientist, and a member of the Danish Academy of Technical Sciences, the SSTD Endowment, and the SSDBM Steering Committee. He has served as Area Editor for IEEE Transactions on Big Data, Information Systems and Springer EDBS, PC (Co-)Chair for DaWaK, DOLAP, SSDBM, and DASFAA, and regularly serves on the PCs of the major database conferences like SIGMOD, PVLDB, ICDE and EDBT. He received Best Paper/Demo awards from ACM e-Energy and WWW. He is co-founder of the spin-out companies FlexShape and ModelarData.
Title. "From Process Mining to Automated Process Improvement"
Marlon Dumas is Professor of Information Systems Software Engineering & Information Systems Group in
Institute of Computer Science of University of Tartu in Estonia.
He conducts research in the field of information systems engineering. The problems he examines generally revolve around the following question: How to build and maintain information systems that are aligned with business operations? His efforts are currently focused on two approaches:
He is also Strategic Area Leader at the Software Technologies and Applications Competence Centre (STACC), where he oversees all activities related to data analytics for software and systems optimization.
Title. "Assume(), Capture(), Verify(), Establish(): Ingredients for Scalable Program Analysis"
Abstract. Despite more than half a century of research and development, the routine correctness verification of software remains an elusive goal, and software is often delivered with known failures but undiagnosed / unrepaired faults. Some of the reasons for this shortcoming include: inadequate training, lack of effective and efficient tools, lack of valid formal specifications, and the usual obstacles of scale and complexity. In this talk we discuss the foundations and design of a programming environment that helps the programmer analyze her/his program by querying it through four orthogonal functions: Assume(), which enables the user to make assumptions about program states or program functions; Capture(), which enables the user to retrieve properties of program states or program functions; Verify(), which enables the user to verify some properties of program states or program functions; and Establish(), which enables the user to alter the code to satisfy a requirement about program states or program functions. We envision that a user may start a session with vague/ incomplete specifications and an incorrect program, and conclude, through successive iterations, with a valid specification and a correct program.
Short Bio. Ali Mili is Professor and Associate Dean at the Ying College of Computing, New Jersey Institute of Technology, and a member of the Tunisian Academy of Sciences, Letters and Arts. He holds a Doctorat de Troisieme Cycle from the Institut Polytechnique de Grenoble, a PhD from the University of Illinois in Urbana Champaign, and a Doctorat es-Sciences d’Etat from the University of Grenoble. His research interests lie in software engineering.
Title. "New Developments in the IEC 61131-3 and 61499 Standards for Industry 4.0"
Abstract. This is an especially appropriate time, since new editions of both IEC 61131-3 and the IEC 61499 series will be in development this year, which should make them even more suitable for applications in Industry 4.0.
Short Bio. James Christensen is an internationally recognized expert in the standardization and application of advanced software technologies to the automation and control of manufacturing processes. He was recognized for his achievements in pioneering applications of object-oriented programming in Smalltalk with the Rockwell International Engineer of the Year and Lynde Bradley Innovation Awards in 1991, and in 2007, he was awarded the IEC 1906 Award and membership in the Process Automation Hall of Fame in recognition of his accomplishments in international standardization of programming languages and architectures for industrial automation.
Title. "Facilitating Security and Trust among Multiple Parties through Blockchain Techniques"
Abstract. A blockchain consists of a list of blocks that are linked based on cryptography hash and maintained by distributed network nodes, so that the information recorded in these blocks is non-repudiated. After its first conceptualization by Nakamoto in 2008, blockchain has attracted broad attention. Bitcoin, the first blockchain based cryptocurrency, has its blockchain file size exceed 200 GiB by early 2020 . According to Gartner, 5% of CIOs believed that blockchain technology was a “game-changer” for their business . In academia, researchers are also actively exploring emerging applications that can benefit from adoptions of blockchain. In this talk, we will discuss some key characteristics of blockchain and a few promising applications of blockchain that can facilitate security and trust among multiple parties. Some examples include applying blockchain to secure software updates for resource-constrained IoT networks , and designing a secure and efficient multi-signature scheme to facilitate multiple party approval process on Fabric, an enterprise blockchain platform .
Yuhong Liu, Associate Professor at Department of Computer Engineering Santa Clara University, received her B.S. and M.S. degree from Beijing University of Posts and Telecommunications in 2004 and 2007 respectively, and the Ph.D. degree from University of Rhode Island in 2012. She is the recipient of the 2019 Researcher of the Year Award at School of Engineering, Santa Clara University, and the 2013 University of Rhode Island Graduate School Excellence in Doctoral Research Award.
Her research interests include trustworthy computing and cyber security of emerging applications, such as Internet-of-things, Blockchain and online social media. She has published over 60 papers on prestigious journals and peer reviewed conferences. Her papers have been selected as the best paper at the IEEE International Conference on Social Computing 2010 (acceptance rate = 13%) and the 9th International Conference on Ubi-Media Computing (UMEDIA 2016).
She is actively contributing to professional societies including IEEE and Asia-Pacific Signal and Information Processing Association (APSIPA). She has contributed as an organizing committee member for over 10 international conferences and a TPC member for over 20 conferences. She is currently serving as the IEEE Computer Society Region 6 Area 4 coordinator, a member of the IEEE Computer Society Technical Meeting Request Committee, a member of the Multimedia Security and Forensics (MSF) TC for APSIPA, and an APSIPA Distinguished Lecturer (2021-2022).
Authors are invited to submit English-language research and application papers representing original, previously unpublished work. Duplicate submissions are not allowed. Papers must be submitted as a single PDF document, via the Easychair system.
Submissions must conform to Springer's LNCS style (Latex style only for camera-ready papers) and should not exceed 14 pages. Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of exposition.
By the way Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made.
The program committee may decide to accept a submission as a short paper if it reports interesting results, but does not justify a publication as a full paper.
As for the previous edition of MEDI, all accepted papers including short papers will be published in Springer LNCS series. The book metrics available on SpringerLink to previous MEDI proceedings, https://link.springer.com/conference/medi give details on the number of citations, downloads, and readers at paper level and at book level.
One author of an accepted paper must register to MEDI 2021 in order to have the paper published. Each accepted paper must be presented at the conference by one of the authors.
If any of the authors contributing to MEDI 2021 are interested in Open Access or Open Choice, please refer to Springer webpage for prices and additional information. In such case the invoicing address and the CC-BY Consent-to-Publish forms will be needed at the same time as the files for the publication.
All questions about organization and submissions should be emailed to: