List of workshops
- SOAP 2021 @ PLDI 2021 - Call for Participation
Registration is open! The deadline for early registration is May 31st, 2021.
- Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021)
FMAS 2021 is a one-day workshop that brings together researchers working on a range of techniques for the formal verification of autonomous systems, to present recent work in the area, discuss key challenges, and stimulate collaboration between autonomous systems and formal methods researchers.
- BASS 2021: 3rd International Workshop on Behavioral Authentication for System Security
BASS 2021 : 3rd International Workshop on Behavioral Authentication for System Security
Link: https://www.ares-conference.eu/workshops/bass-2021/
co-located with ARES2021,
the 16th International Conference on Availability, Reliability and Security (https://www.ares-conference.eu/)- 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 - Workshop on Type-Driven Development (TyDe 2021) at ICFP 2021
The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development.
- 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.
- Bx 2021: FIRST CALL FOR PAPERS
9th International Workshop on Bidirectional Transformations (Bx 2021)
as part of the STAF conference (21-25 June 2021),
Western Norway University of Applied Sciences, Bergen, Norway
http://bx-community.wikidot.com/bx2021:home- 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.
