List of workshops - page 2


Call for Workshop Papers
by Clara Ayora, May 27, 2024

QUAMES aims to attract research on methods, procedures, techniques, and tools for measuring and evaluating the quality of conceptual models that can be used in any phase of the software development cycle. Its primary goal is to enable the development of high-quality software systems by promoting quality assurance from a modeling-based perspective. Furthermore, considering the growing use of AI to streamline software development or as
an essential element within software products, we advocate that it is important to conceptualize the models used for the training and operation of these systems and evaluate their quality. Thus, this year QUAMES is also aimed to discuss about the challenges, benefits, and lessons of using conceptual modeling and AI approaches looking for how their synergy can impact the quality of the systems.

CALL FOR PAPERS EXPRESS/SOS@CONFEST2024
by Cinzia DI GIUSTO, May 21, 2024

Combined
31st International Workshop on Expressiveness in Concurrency
and 21st Workshop on Structural Operational Semantics
(EXPRESS/SOS 2024)

https://express-sos.github.io/

VORTEX 2024: Call for Papers
by Davide Ancona, May 20, 2024

VORTEX 2024, Workshop co-located with ECOOP/ISSTA 2024, Vienna, Austria
International Workshop on Verification and Monitoring at Runtime Execution
(https://2024.ecoop.org/home/vortex-2024)

Important Dates
---------------
* Submission deadline: June 24, 2024 AoE
* Author notification: July 24, 2024
* Early registration deadline: July 31, 2024
* VORTEX workshop: September 19, 2024
* ECOOP/ISSTA conference: September 16-20, 2024

CFP: NSAD 2024 (Deadline: July 7th, 2024)
by Vincenzo Arceri, May 6, 2024

Call For Papers:
10th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2024)
Co-located with SAS 2024 as part of SPLASH 2024
Pasadena, USA
October 22, 2024

Web: https://2024.splashcon.org/home/nsad-2024

SASSUR 2024 - Deadline extended
by jldelavara, May 3, 2024

Deadline extension for the 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems

SASSUR 2024 - Deadline approaching
by jldelavara, April 25, 2024

Call for papers for the 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems – SASSUR 2024

PLMW@PLDI 2024: Call for Scholarship Applications
by Anitha Gollamudi, March 24, 2024

The application for attending the Programming Language Mentoring Workshop (PLMW) @PLDI 2024 is open. The deadline is March 25th AOE for full consideration but we'll continue on a rolling basis after that as long as we have funding.

SASSUR 2024 - Call for papers
by jldelavara, March 20, 2024

Call for papers for the 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems