List of workshops - page 4


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.

A-TEST 2022: Call for Papers
by Akos Kiss, May 20, 2022

A-TEST 2022
13th Workshop on Automating Test Case Design, Selection and Evaluation
https://a-test.org

November 17-18, 2022
Singapore
Co-located with ESEC/FSE 2022

Deadline approaching: SASSUR 2022
by jldelavara, April 28, 2022

The deadline for paper submission to the SASSUR 2022 workshop is approaching!

2nd CfP: 15th Interaction and Concurrency Experience (ICE 2022)
by Cinzia DI GIUSTO, March 22, 2022

Interaction and Concurrency Experience (ICE) is a series of
international scientific meetings oriented to theoretical computer
science researchers with special interest in models, verification,
tools, and programming primitives for complex interactions.

CfP: 15th Interaction and Concurrency Experience (ICE 2022)
by Cinzia DI GIUSTO, Feb. 14, 2022

Interaction and Concurrency Experience (ICE) is a series of
international scientific meetings oriented to theoretical computer
science researchers with special interest in models, verification,
tools, and programming primitives for complex interactions.

PLAS 2021 Call for Participation - 16th Workshop on Programming Languages and Analysis for Security
by Marco Guarnieri, Dec. 2, 2021

PLAS 2021 will be held online on December 7. Participation will be free without any preregistration.

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.

Call for Presentations: PriSC 2022 @ POPL 2022 -- Deadline extension
by Marco Guarnieri, Nov. 5, 2021

The Workshop on Principles of Secure Compilation (PriSC) is a relatively new, informal 1-day workshop without any proceedings. The goal is to bring together researchers interested in secure compilation and to identify interesting research directions and open challenges. The 6th edition of PriSC will be held on January 22, together with the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2022.

Second and Final Call for Presentations: PriSC 2022 @ POPL 2022
by Marco Guarnieri, Oct. 5, 2021

The Workshop on Principles of Secure Compilation (PriSC) is a relatively
new, informal 1-day workshop without any proceedings. The goal is to
bring together researchers interested in secure compilation and to
identify interesting research directions and open challenges. The 6th
edition of PriSC will be held on January 22, together with the ACM
SIGPLAN Symposium on Principles of Programming Languages (POPL), 2022.
We hope to hold the workshop in person with support for dial-in
attendees.