List of workshops - page 3


First Call for Papers: VPT 2022 - International Workshop on Verification and Program Transformation
by Geoffrey Hamilton, Nov. 2, 2021

The aim of the workshop is to bring together researchers working in the fields of Program Verification and Program Transformation.

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.

16th Workshop on Programming Languages and Analysis for Security (PLAS 2021)
by Marco Guarnieri, Sept. 30, 2021

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
by Marco Guarnieri, Sept. 16, 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.

Link Correction - CFP: 8th Workshop on Advances in Programming Languages (WAPL'21)
by Hossein HAERI, May 23, 2021

8th Workshop on Advances in Programming Languages (WAPL'21)
https://fedcsis.org/2021/wapl

Organized within 2021 Federated Conference on Computer Science and
Intelligence Systems (FedCSIS'21; IEEE #52320)

Call for Papers: 8th Workshop on Advances in Programming Languages (WAPL'21)
by Hossein HAERI, May 20, 2021

8th Workshop on Advances in Programming Languages (WAPL'21)
https://www.fedcsis.org/2021/sew-iwcps

Organized within 2021 Federated Conference on Computer Science and
Intelligence Systems (FedCSIS'21; IEEE #52320)

DEADLINE EXTENSION: CfP: HEDA'201 - The International Health Data Workshop
by Martin Leucker, March 23, 2021

----------------------------------------------------------------------------------------

SUBMISSION DEADLINE EXTENSION: APRIL 11, 2021

----------------------------------------------------------------------------------------

Call for Papers

HEDA2021: The International Health Data Workshop 2021

in conjunction with 10th International Conference on Model and Data Engineering (MEDI 2021)
TalTech (Tallinn University of Technology)
Tallinn, Estonia, June 21st, 2021

https://heda.isp.uni-luebeck.de

Call for papers: 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP'21)
by Lisa Nguyen Quang Do, Feb. 19, 2021

The 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP'21) calls for papers. It
will be co-located with PLDI'21 and take place virtually.

Call for papers: https://pldi21.sigplan.org/home/SOAP-2021#Call-for-Papers.

Paper submission deadline: 22nd March 2021.