List of workshops
- 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- CFP: Workshop on Hardware Acceleration of Functional and Declarative Languages
The 1st Workshop on Hardware Acceleration of Functional and Declarative Languages (HAFDAL) will be co-located with HPCA, Edinburgh on March 2nd or 3rd 2024. This workshop will bring together computer architects and programming language implementers to explore software/hardware co-designs of high level execution models. We invite two forms of participation: (1) full paper submissions for 30 minute talks, (2) 5-10 minute lightning talks about related projects and early results. Deadline 20 November.
- (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/
**- Workshop on Dafny at POPL 24 (Call for Papers)
Dafny is a verification-aware programming language that has native support for specifications and proofs, and is equipped with an auto-active static program verifier. The workshop aims to provide a platform for reports about applications of Dafny in industry, research on programming-language concepts that are relevant to Dafny, and talks about Dafny’s role in teaching.
Submission: Wednesday, October 11, 2023 (AoE)
Notification: Wednesday, November 15, 2023
Workshop: Sunday, January 14, 2024- 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)
