List of workshops - page 3


BASS 2024 - 4th International Workshop on Behavioral Authentication for System Security
by Alessandro Aldini, March 13, 2024

co-located with the 19th International Conference on Availability, Reliability and Security (ARES)
July 30 – August 02, 2024

https://www.ares-conference.eu/workshops/bass/

6th MADEISD Workshop 2024 – Modern Approaches in Data Engineering and Information System Design
by Ivan Lukovic, March 12, 2024

The main goal of the workshop is to address open questions and real potentials for various applications of modern approaches and technologies in data engineering and information system design so as to develop and implement effective software services in a support of information management in various organization systems. We intend to address interdisciplinary character of a set of theories, methodologies, processes, architectures, and technologies in disciplines such as Data Engineering, Information System Design, Big Data, NoSQL Systems, Data Streams, Internet of Things, Cloud Systems, and Model Driven Approaches in a development of effective software services. We invite researchers from all over the world who will present their contributions, interdisciplinary approaches or case studies related to modern approaches in Data Engineering and Information System Design.

KES 2024 -- Invited Session on Interdisciplinary Approaches in Digital Transformation (IADT 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 Digital Transformation. We express an interest in gathering scientists and practitioners interested in applying Digital Transformation 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.

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

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