List of workshops
- ICT4S 2023 – Call for Workshops
We invite workshop proposals of traditional or unconventional formats for evening, half-day, or full-day workshops. Workshops are to be held on Monday, June 5, and Friday, June 9, 2023. Other slots during the main conference period may also be available.
- PLAS 2022 : Workshop on Programming Languages and Analysis for Security
PLAS provides a forum for exploring and evaluating the use of programming language and program analysis techniques for promoting security in the complete range of software systems, from compilers to machine-learned models and smart contracts. The workshop encourages proposals of new, speculative ideas, evaluations of new or known techniques in practical settings, and discussions of emerging threats and problems. We also host position papers that are radical, forward-looking, and lead to lively and insightful discussions influential to the future research at the intersection of programming languages and security.
More details at: https://plas2022.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
- Call for presentations: 7th Workshop on Principles of Secure Compilation (PriSC 2023)
The Workshop on Principles of Secure Compilation (PriSC) is an informal 1-day workshop without any proceedings. The goal of this workshop is to identify interesting research directions and open challenges and to bring together researchers interested in working on building secure compilation chains, on developing proof techniques and verification tools, and on designing software or hardware enforcement mechanisms for secure compilation. The 7th edition of PriSC will be held on January 21 in Boston, Massachusetts, United State together with the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2023.
- CAV 2023: Call for Workshops
CAV 2023: 35th International Conference on Computer-Aided Verification
July 17-22 2023, Paris, France- NWPT 2022 - Call for papers
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/Deadline extension: Formal Techniques for Safety-Critical Systems (FTSCS'22), new deadline Sept 8
FTSCS'22: An OOPSLA/SPLASH workshop, with ACM procedings and Science of Computer Programming issue. The aim of this workshop is to bring together researchers and engineers
who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. FTSCS strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in
industrial applications of formal methods.- CfP: HAPi DevOps 2022 (co-located with VL/HCC)
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.
