List of workshops - page 3
- KES 2024 -- Invited Session on Interdisciplinary Approaches in Digital Transformation (IADT 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)
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)
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
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
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
----------------------------------------------------------------------------------------------------------
**
** 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/
**
------------------------------------------------------------------------------------------------------------ (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/
**- QUAMES 2023 - Deadline extended
Deadline extension of the 4th International Workshop on Quality and Measurement of Model-Driven Software Development (QUAMES 2023)