List of workshops


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/
**

Workshop on Dafny at POPL 24 (Call for Papers)
by Stefan Zetzsche, Aug. 31, 2023

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

« previous123...1617next »