List of workshops - page 3


Transformational Leadership Experience with Informatics Europe
by Kit Wan Chui, Jan. 16, 2023

Visit our new academic leadership development courses webpages featuring new course details and materials to advance your leadership skills to the next level!

7th International Workshop on Modern Language Runtimes, Ecosystems, and VMs: Deadline Jan 22 AoE
by smarr, Jan. 14, 2023

The 7th 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.

1st CFP - 10th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
by José F. Morales, Dec. 19, 2022

10th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
Co-located with ETAPS 2023

23rd April 2023 - Paris, France

2nd CfP - 6th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science
by Georgiana Caltais, Dec. 18, 2022

6th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology - CREST 2023
Paris, France
April 23
co-located with ETAPS 2023

CREST 2023 website: https://crest-etaps.github.io

3rd Rust Verification Workshop: Call for Talk and Demo Proposals
by Peter Mueller, Dec. 6, 2022

The goal of this ETAPS workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the verification of Rust programs and exploring avenues for collaboration.

6th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology - CREST 2023
by Georgiana Caltais, Oct. 24, 2022

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

NWPT 2022 - Call for papers
by Crystal Chang Din, Sept. 20, 2022

NWPT is a series of annual regional-scope workshops on programming theory, targeted especially at younger researchers. In 2022, the workshop will take place in Bergen, Norway. We hope this will be a nice opportunity to present recent results and/or work-in-progress, and to meet colleagues from the Nordic and Baltic countries. We encourage PhD students and postdocs to contribute.

CfP: HAPi DevOps 2022 (co-located with VL/HCC)​
by Jácome Cunha, June 6, 2022

HAPi DevOps 2022 - https://hapidevops.github.io/2022/
1st International Workshop on Human-Centric Approaches and Practices for DevOps
Co-located with VL/HCC 2022.