List of workshops
- 2nd CfP: VERDI 2023 - 1st International Workshop on Verification & Validation of Dependable Cyber-Physical Systems
The VERDI workshop aims at serving as a discussion forum focused on the area of V&V as a means to guarantee dependability of complex, potentially automated/autonomous CPS. This workshop covers all aspects related to the dependability evaluation (with special focus on *safety* and *security*) of safety-critical CPS using techniques such as fault/attack-injection, runtime verification, formal verification, semi-formal analysis, simulation, and testing.
- EXPRESS/SOS 2023
Combined
30th International Workshop on Expressiveness in Concurrency
and 20th Workshop on Structural Operational Semantics(EXPRESS/SOS 2023)- 5th MADEISD Workshop 2023 – Modern Approaches in Data Engineering and Information System Design
The main goal of this 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. We express an interest in gathering scientists and practitioners interested in applying these disciplines in industry sector, as well as public and government sectors, such as healthcare, education, public administration, or security services. Experts from all sectors and application domains are welcomed.
- KES 2023: Invited Session on Interdisciplinary Approaches in Digital Transformation (IADT 2023)
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 2023: Invited Session on Interdisciplinary Approaches in Data Science Practice (IADSP 2023)
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.
- VORTEX 2023: Call for Papers
VORTEX 2023, Workshop co-located with ECOOP/ISSTA 2023, Seattle, USA
International Workshop on Verification and Monitoring at Runtime Execution
(https://2023.ecoop.org/home/vortex-2023)- SOAP 2023 extended deadline (March 15th)
The deadline of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis has been extended to March 15th!
- UNIF 2023 Call for Papers
UNIF 2023 is the 37th event in a series of international meetings devoted to unification theory and its applications. It will be held in Rome, Italy, July 2, 2023, as a satellite workshop of CADE/FSCD.
Submission deadline: April 21, 2023.
