List of workshops - page 3


(2nd CfP) Dafny Workshop at POPL 24
by Stefan Zetzsche, Sept. 28, 2023

**
** CALL FOR EXTENDED ABSTRACTS
**
** Dafny at POPL 2024
** 1st Workshop on the Dafny Programming and Verification Language
** 14th of January 2024, London, United Kingdom
**
** Submission Deadline:
** October 11, 2023
**
** https://popl24.sigplan.org/home/dafny-2024
** https://dafny24.hotcrp.com/
**

QUAMES 2023 - Deadline extended
by jldelavara, July 31, 2023

Deadline extension of the 4th International Workshop on Quality and Measurement of Model-Driven Software Development (QUAMES 2023)

QUAMES 2023 - Deadline approaching
by jldelavara, July 19, 2023

Call for papers of the 4th International Workshop on Quality and Measurement of Model-Driven Software Development (QUAMES 2023)

CfP: 5th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2023)
by Farnaz Fotrousi, July 3, 2023

Are you working on automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms?

Submit your work at the 5th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) co-located with ASE 2023 (https://conf.researchr.org/home/ase-2023).

QUAMES 2023 - Call for papers
by jldelavara, June 16, 2023

CFP of the 4th International Workshop on Quality and Measurement of Model-Driven Software Development (QUAMES 2023)

SASSUR 2023 - Deadline extended
by jldelavara, May 2, 2023

Deadline extension for the 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems – SASSUR 2023

SASSUR 2023 - Call for papers
by jldelavara, April 5, 2023

Call for papers for the 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (www.sassur.org)

2nd International Workshop on Digital Twins for Business Processes
by Fabrizio Fornari, April 1, 2023

The objective of the DT4BP workshop is to attract researchers and industry practitioners to discuss the continuous enhancement of business processes including IoT aspects, up to the concept of Digital Process Twin, and present open challenges, state of the art, in-progress research, and practical experiences, including case studies.