List of workshops


Call for Workshops - BPM 2022
by Manuel Resinas, Nov. 23, 2021

Call for Workshops for the 20th International Conference on Business Process Management (BPM 2022), which will take place in Münster, Germany

PLACES 2022 - First Call for Papers
by Marco Carbone, Nov. 16, 2021

The 13th edition of PLACES (Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software) will be co-located with ETAPS 2022 in Munich, Germany on 3rd April 2022.

CfP for [email protected]'22: 5th Workshop on Models for Formal Analysis of Real Systems
by Clemens Dubslaff, Nov. 14, 2021

The MARS workshop brings together researchers from different communities who are developing formal models of real systems. Challenging complex models often occur in formal methods, such as networks, cyber-physical systems, hardware/software codesign, biology, etc. but their thorough discussion is usually not in the scope of conference submissions. MARS emphasizes modeling over verification, so as to retain lessons learnt from formal modeling for complex and real-world systems.

CfP for [email protected]'22: 3rd Workshop on Quantitative Aspects of Variant-rich Systems
by Clemens Dubslaff, Nov. 14, 2021

Families of systems arise naturally due to parameters, configurations, features, versions, etc. The often huge number of system variants render their design, modeling, and analysis challenging tasks. Due to the rising impact of cyber-physical systems, quantitative aspects such as probability of failure, energy consumption, or numerical parameter values become more and more important.

QAVS targets researchers that are active in these areas to discuss challenges, work in progress, and results. The workshop solicits regular paper, short paper, and presentation-only submissions.

STEADINESS: System Engineering and Dependability in Cyber-Physical Systems
by David Pereira, Nov. 9, 2021

The complexity of Cyber-Physical Systems (CPS) has significantly increased. Originally executed on small microcontrollers with few interactions among them, current CPS implement complex functionalities that can benefit from the parallel capabilities of advanced heterogeneous processor architectures featuring accelerator devices, such as GPUs or FPGAs. Unfortunately, these high-performance requirements are challenging the development processes of CPSs. This is largely due to the fact that CPS rely on model-driven engineering (MDE) techniques, like Domain Specific Modelling Languages (DSMLs), to preserve the dependability , composability and extensibility properties of the system. MDE methodologies, in turn, lack the necessary features to express the parallelism inherent in the software and the hardware systems. In this context, parallel programming models (PPMs) (e.g., OpenMP, CUDA) commonly used in the HPC domain, are a fundamental brick to leverage the potential of these architectures, and so cope with the performance requirements of current and future cyber-physical system functionalities.

Overall, the use of complex processor architectures to cope performance requirements of CPS presents two main research challenges in the life cycle of CPS: First, PPMs are not compatible with current MDE approaches, creating a gap between the MDE used to develop CPS and the parallel programming models supported by novel and future embedded platforms. Second, the cyber-physical interactions impose dependability requirements not supported by PPMs.

FORECAST: Functional Properties and Dependability in Cyber-Physical Systems
by David Pereira, Nov. 9, 2021

Safety-relevant applications have been traditionally built upon the KISS (Keep it simple stupid) principle as a way to ensure the dependability of those systems and at the same time control the costs of functional and dependabiliy properties verification. However, the traditional safety assessment approach that relies on system’s simplicity is being challenged these days by the increase in complexity and functionality requirements of new Cyber Physical Systems (CPS) applications (e.g autonomous transportation systems).

ENHANCE: Enabling Technologies and Dependability in Cyber-Physical Systems
by David Pereira, Nov. 9, 2021

The complexity of Cyber-Physical Systems (CPS) has significantly increased. Originally executed on small microcontrollers with few interactions among them, current CPS implement complex functionalities that can benefit from the parallel capabilities of advanced heterogeneous processor architectures featuring accelerator devices, such as GPUs or FPGAs. Unfortunately, these high-performance requirements are challenging the development processes of CPSs. This is largely due to the fact that CPS rely on model-driven engineering (MDE) techniques, like Domain Specific Modelling Languages (DSMLs), to preserve the dependability , composability and extensibility properties of the system. MDE methodologies, in turn, lack the necessary features to express the parallelism inherent in the software and the hardware systems. In this context, parallel programming models (PPMs) (e.g., OpenMP, CUDA) commonly used in the HPC domain, are a fundamental brick to leverage the potential of these architectures, and so cope with the performance requirements of current and future cyber-physical system functionalities.

Overall, the use of complex processor architectures to cope performance requirements of CPS presents two main research challenges in the life cycle of CPS: First, PPMs are not compatible with current MDE approaches, creating a gap between the MDE used to develop CPS and the parallel programming models supported by novel and future embedded platforms. Second, the cyber-physical interactions impose dependability requirements not supported by PPMs.

Call for Presentations: PriSC 2022 @ POPL 2022 -- Deadline extension
by Marco Guarnieri, Nov. 5, 2021

The Workshop on Principles of Secure Compilation (PriSC) is a relatively new, informal 1-day workshop without any proceedings. The goal is to bring together researchers interested in secure compilation and to identify interesting research directions and open challenges. The 6th edition of PriSC will be held on January 22, together with the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2022.

« previous123...1415next »