List of workshops - page 5
- 16th Workshop on Programming Languages and Analysis for Security (PLAS 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
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)
8th Workshop on Advances in Programming Languages (WAPL'21)
https://fedcsis.org/2021/waplOrganized 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)
8th Workshop on Advances in Programming Languages (WAPL'21)
https://www.fedcsis.org/2021/sew-iwcpsOrganized within 2021 Federated Conference on Computer Science and
Intelligence Systems (FedCSIS'21; IEEE #52320)- DEADLINE EXTENSION: CfP: HEDA'201 - The International Health Data Workshop
----------------------------------------------------------------------------------------
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, 2021https://heda.isp.uni-luebeck.de
- Call for papers: 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP'21)
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.
- Virtual Machines and Language Implementations (VMIL) 2020: Call For Participation
The concept of Virtual Machines is pervasive in the design and implementation of programming systems. Virtual Machines and the languages they implement are crucial in the specification, implementation and/or user-facing deployment of most programming technologies.
The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues.
- VMIL 2020 Deadline Extension
The concept of Virtual Machines is pervasive in the design and implementation of programming systems. Virtual Machines and the languages they implement are crucial in the specification, implementation and/or user-facing deployment of most programming technologies.
The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues.
