List of workshops - page 2


KES 2024 -- Invited Session on Interdisciplinary Approaches in Data Science Practice (IADSP 2024)
by Ivan Lukovic, Feb. 14, 2024

The main goal of the session is to attract researchers from all over the world who will present their contributions, interdisciplinary approaches or case studies in the area of Data Science. The focus in Data Science may be set to various aspects, such as: data warehousing, reporting, online analytical processing, data analytics, data mining, process mining, text mining, predictive analytics and prescriptive analytics, as well as various aspects of machine learning, big data and time series analysis. We express an interest in gathering scientists and practitioners interested in applying Data Science approaches in public and government sectors, such as healthcare, education, or security services, as well as in industry sectors and Industry 4.0 approaches. Experts from all other sectors are also welcomed.

MARS 2024 - Call for papers (deadline extension January 25) - Luxembourg City (Luxembourg)
by Matthias Volk, Jan. 15, 2024

Submission deadline extended to January 25, 2024.

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: Thursday, 25 January 2024 (extended)
* Notification: Wednesday, 28 February 2024 (extended)
* Final version: Monday, 11 March 2024
* Workshop: Saturday, 6 April, 2024

MARS 2024 - 2nd Call for Papers - Luxembourg City (Luxembourg) - April 6th, 2024
by Matthias Volk, Jan. 9, 2024

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

Call for Abstracts and Talks for the International Workshop on Modern Language Runtimes, Ecosystems, and VMs
by smarr, Dec. 20, 2023

The 8th MoreVMs workshop aims to bring together industrial and academic
programmers to discuss the design, implementation, and usage of modern
languages and runtimes. This includes aspects such as reuse of language
runtimes, modular implementation, language design, compilation strategies, as
well as the interaction of modern languages and runtimes with operating systems
and modern hardware architectures.

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

(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.