List of workshops - page 2


HCVS24 - 11th Workshop on Horn Clauses for Verification and Synthesis
by jcailler, Dec. 20, 2023

11th Workshop on Horn Clauses for Verification and Synthesis (HCVS)

Co-located with ETAPS 2024

Call For Papers

7 April 2024 - Luxembourg

https://www.sci.unich.it/hcvs24/

MARS 2024 - Call for Papers
by Matthias Volk, Nov. 15, 2023

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
by Rob Stewart, Oct. 17, 2023

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
by Stefan Zetzsche, Oct. 16, 2023

----------------------------------------------------------------------------------------------------------
**
** 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
by George Angelos Papadopoulos, Oct. 2, 2023

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
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)