We invite contributions focused on time-centric reactive software and supporting technologies.

Topics

Contributions may overlap with any of the following areas:

Automotive systems
Compiler construction
Computer architecture
Cyber-physical systems
Digital twins
Dataflow models
Discrete-event systems
Distributed systems
Design automation
Embedded systems
Formal verification
Industrial automation
Programming languages
Model-based Design
Modeling languages
Middleware
Networking
Operating systems
Real-time systems
Simulation
System-level design
Time-predictable hardware


Motivation

Concurrent, distributed, and cyber-physical software systems all have behaviors that depend on timing. Aspects of time are of interest to the broad CPS/IoT community, but they rarely play an explicit role in the semantics of software systems. Instead, timing is usually an emergent property of an implementation. This workshop will focus on several bodies of work at various institutions worldwide that put time front-and-center in programming models and languages. Recently, there has been a flurry of activity introducing new programming languages and models, such as Timed C, Lingua Franca, the Sparse Synchronous Model, PRET-C, and SCCharts. The goal of the workshop is to exchange experiences and ideas, to compare the variety of approaches, and to identify the most promising opportunities and the most challenging obstacles.

Technical issues of interest include models of time (total and partial orders, dense, superdense, etc.), programming language constructs representing time, time in distributed systems, analysis and verification of temporal properties of programs, logical vs. physical time, clock synchronization, time and concurrency, scheduling, time in resource-constrained embedded systems, application studies, etc. More generally, we hope to build a community around a long-term vision, which is that modern computing needs abstractions for time in all layers of our technology stacks, ranging from programming languages and compilers all the way down to networks and microprocessor architectures. This workshop is meant to attract contributors broadly interested in exploring models, languages, tools and design methodologies for time-centric reactive systems.

Format and Logistics

The workshop is planned to be a full-day event. The program is expected to consist of about a dozen presented papers and one or two invited/keynote talks. Since this is the first iteration of this workshop, it will be hard to predict how many submissions we will receive. We solicit both invited papers and regular uninvited submissions; all will be subject to peer-review. The proceedings will be published by the ACM.


Important Dates

February 10, 2023: Submission deadline
March 3, 2023: Author notification
March 17, 2023: Camera-ready submission

Submissions

All submissions must be in English. Only original papers that have not been submitted or published in other conferences or journals will be considered. Submitted papers must be formatted using the ACM sigconf format (see authors.acm.org) and not exceed 6 pages. The page limit includes title page, references, and appendices. The review process is blind (not double-blind); please do not submit anonymized manuscripts.
Guidelines from the ACM

By submitting your article to an ACM Publication, you are hereby acknowledging that you and your co-authors are subject to all ACM Publications Policies, including ACM’s new Publications Policy on Research Involving Human Participants and Subjects. Alleged violations of this policy or any ACM Publications Policy will be investigated by ACM and may result in a full retraction of your paper, in addition to other potential penalties, as per ACM Publications Policy. For more information, visit acm.org.

Please ensure that you and your co-authors obtain an ORCID ID, so you can complete the publishing process for your accepted paper. ACM has been involved in ORCID from the start and we have recently made a commitment to collect ORCID IDs from all of our published authors. The collection process has started and will roll out as a requirement throughout 2022. We are committed to improving author discoverability, ensuring proper attribution, and contributing to ongoing community efforts around name normalization; your ORCID ID will help in these efforts.