Call for Papers in text format
Submissions are expected to be in English and to belong to one of the following two categories:
- regular paper, page limit 8 in
acmart
style: unpublished self-contained work - extended abstract, page limit 4 in
acmart
style: original contribution, not yet fully developed
Topics of interest include, but are not limited to, the following ones:
- monitor construction and synthesis techniques
- program adaptation
- monitoring oriented programming
- runtime enforcement, fault detection, recovery and repair
- combination of static and dynamic analyses
- specification formalisms for RM
- specification mining
- monitoring concurrent/distributed systems
- RM for safety and security
- RM for the Internet of Things
- industrial applications
- integrating RM, formal verification, and testing
- tool development
- instrumentation techniques for RM
- surveys on different RM tools, formal frameworks or methodologies
- presentations of RM tools
Papers must be submitted electronically via EasyChair; the submission deadline is April 30 AoE. Authors should use the official ACM Master article template, which can be obtained from the ACM Proceedings Template pages.
Latex users should use the sigconf
option, as well as review
to produce line numbers for easy reference by the reviewers, as indicated by the following command:
\documentclass[sigconf,review]{acmart}