List of workshops - page 3
- MARS 2024 - Call for Papers
Models for Formal Analysis of Real Systems (MARS 2024) @ETAPS 2024
April 6th, 2024, Luxembourg City, Luxembourg
http://mars-workshop.org/mars2024/The MARS workshops bring together researchers from different communities who are developing formal models of real systems in areas where complex models occur, such as networks, cyber-physical systems, hardware/software codesign, biology, etc.
The MARS workshops invite papers that present formal models of real systems, which may lay the basis for future analysis and comparison.IMPORTANT DATES (AoE)
* Submission: Monday, 15 January 2024
* Notification: Saturday, 24 February 2024
* Final version: Monday, 11 March 2024
* Workshop: Saturday, 6 April, 2024- (Deadline Extension) Dafny Workshop at POPL 24
----------------------------------------------------------------------------------------------------------
**
** Update: Extended Deadline
**
----------------------------------------------------------------------------------------------------------
**
** 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 18, 2023
**
** https://popl24.sigplan.org/home/dafny-2024
** https://dafny24.hotcrp.com/
**
------------------------------------------------------------------------------------------------------------ 36th International Conference on Advanced Information Systems Engineering (CAiSE 2024): Last Call for Workshop Proposals
CAiSE is a well-established, highly visible conference series on Advanced Information Systems
(IS) Engineering. It covers all relevant topics in the area, including methodologies and
approaches for IS engineering, innovative platforms, architectures and technologies, and
engineering of specific kinds of IS. CAiSE conferences also have the tradition of hosting
workshops in related fields. Workshops are intended to focus on particular topics and provide
ample room for discussions of new ideas and developments.CAiSE 2024, the 36th edition of the CAiSE series, invites proposals for workshops to be held in
conjunction with the main conference, related to the CAiSE topics, covering new emerging
topics and targeting innovative papers in special focus areas.- (2nd CfP) Dafny Workshop at POPL 24
**
** 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
Deadline extension of the 4th International Workshop on Quality and Measurement of Model-Driven Software Development (QUAMES 2023)
- QUAMES 2023 - Deadline approaching
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)
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
CFP of the 4th International Workshop on Quality and Measurement of Model-Driven Software Development (QUAMES 2023)
