List of workshops - page 3
- SASSUR 2023 - Deadline extended
Deadline extension for the 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems – SASSUR 2023
- SASSUR 2023 - Call for papers
Call for papers for the 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (www.sassur.org)
- 2nd International Workshop on Digital Twins for Business Processes
The objective of the DT4BP workshop is to attract researchers and industry practitioners to discuss the continuous enhancement of business processes including IoT aspects, up to the concept of Digital Process Twin, and present open challenges, state of the art, in-progress research, and practical experiences, including case studies.
- 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!
- Transformational Leadership Experience with Informatics Europe
Visit our new academic leadership development courses webpages featuring new course details and materials to advance your leadership skills to the next level!
- 1st CFP - 10th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
10th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
Co-located with ETAPS 202323rd April 2023 - Paris, France
- 2nd CfP - 6th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science
6th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology - CREST 2023
Paris, France
April 23
co-located with ETAPS 2023CREST 2023 website: https://crest-etaps.github.io
- 6th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology - CREST 2023
The CREST workshop series center around the development of formal approaches to reasoning about causation in software and systems. The topics of formally identifying the cause(s) of specific events - usually some form of failures -, explaining why they occurred, and predicting certain outcomes are increasing in the focus of several, disjoint communities.
The main objective of CREST is to bring together researchers and practitioners from industry and academia in order to enable discussions on how causal inference and causal prediction is performed. A further objective is to link to the foundations of causal reasoning in the philosophy of sciences and to causal reasoning performed in computer science and engineering.
More details about topics, submission guidelines and PC can be found on the CREST website: https://crest-etaps.github.io
