The 1st International Workshop on Intelligent Regulatory Systems (IRS 2019)

Workshop Overview

Regulatory systems (RSs) span across a broad range of industries, activities and behaviors governing how businesses should be operated. It is increasingly large and can encompass or connect with other systems ranging from traditional software systems to social networks, clouds, cyber-physical and safety-critical systems. Apart from the intrinsic complexity of integrated systems, the variability and dynamicity of surrounding environments also make it extremely challenging to ensure the correctness of such systems.

Given many decades of research and development in RSs, various approaches and techniques have been developed and removed some of the barriers. However, less attention has been drawn to the analysis of system at runtime. Besides, the current practices also emphasis on the use of artificial intelligence (AI) to automate processes — through the addition of more contexts and analytics — in a more advanced and intelligent ways. The IRS workshop aims at raising the awareness of approaches that can be used in providing intelligent support to regulatory systems, including both functional and non-functional properties, before and after executions. It is intended to be a venue to researchers and practitioners who are interested in methods and techniques for runtime verification and compliance checking, quantitative analysis (e.g. prediction and optimization of temporal performance) and their applications in experimental and industrial settings. While EDOC conference solicits conceptual and pure applied research and industrial case studies covering a full range of systems, models, techniques and engineering technologies contributing to the success of intra/interenterprise systems, the topics covered by the IRS workshop will supplement the wider coverage of the topics relevant to enterprise systems that are subject to regulatory and legislative provisions, frameworks and standards.

Topics of Interest

Below is the list of topics of interests, but not limited to:

• Blockchain technologies and applications
• Smart contracts verifications
• Verification techniques for compliance checking of business process at runtime
• Regulatory compliance in IoT and cyber-physical systems
• Issues and challenges in cyber-physical systems
• Semantic compliance in software systems
• Data and privacy compliance in cloud
• Regulatory intelligence systems
• Services and tools for compliance management in specific domains (such as financial, healthcare, security etc.).
• Analysis of legal informatics systems
• Mathematical foundations, languages and specifications for legal knowledge representation
• Methods and techniques for automated workflows generation using natural language processing (NLP).

Important Dates

• Paper submission: June 14, 2019 July 25, 2019
• Acceptance notification: July 26, 2019 August 3, 2019
• Camera-ready papers due: August 16, 2019
• Workshops sessions: October 28, 2019

Given the workshop is to co-occur with EDOC 2019, the deadlines for submission are firm and no further extension might be possible.

Submission

Prospective authors are invited to submit original, previously unpublished papers for presentation in any of the areas listed above. Two types of paper submissions are solicited: (a) scientific research papers, and (b) industry experience report or case studies.

Scientific research papers should describe original results not been accepted or submitted for publication elsewhere.These papers will be evaluated based on their scientific and technical contributions, originality, and relevance.

Industry experience reports or case studies should provide new insights gained in case studies or when applying enterprise computing technologies in practice, and should provide further important feedback about the state of practice and pose challenges for researchers. These papers will be evaluated based on their appropriateness, significance, and clarity.

Only papers in English will be accepted. Manuscripts should be no longer than 10 pages for long papers and 6 for short papers including references, figures and tables . All submissions must be made in PDF format and comply with the IEEE Computer Society Conference Proceedings Format Guidelines. Please use the following link to submit your paper easychair.org/conferences/?conf=irs20190

Each accepted paper must have one of its authors registered to the conference before the camera ready deadline. The conference organizers reserve the right of removing a paper from the proceedings if no author is officially registered by the camera ready deadline. Moreover, only papers that have been registered and presented by their authors during the conference will be published in IEEE Proceedings.

People

Organizing Committee

• Mustafa Hashmi, Data61, CSIRO and Federation University, Austalia
• Ho-Pum Lam, Data61,CSIRO, Sydney, Australia

Program Committee

(The list of Program committee is to be updated)

• Pompeu Casanovs, La Trobe University, Australia
• Hai Dong, RMIT University, Australia
• Michael Fellmann, University of Rostock, Germany
• Mustafa Hashmi, Data61, CSIRO, Australia
• Christian Kopp, Federation University, Australia
• Akhil Kumar, Pennsylvania State University, United States
• Ho-Pun Lam, Data61, CSIRO, Australia
• Paul Rimba, Data61, CSIRO, Australia
• Regis Riveret, Data61, CSIRO, Australia

Program

To be announced