List of workshops


SOAP 2021 @ PLDI 2021 - Call for Participation
by Caterina Urban, May 14, 2021

Registration is open! The deadline for early registration is May 31st, 2021.

Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021)
by mluckcuck, April 6, 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
by Alessandro Aldini, April 1, 2021

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
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 - Workshop on Type-Driven Development (TyDe 2021) at ICFP 2021
by Hsiang-Shang Ko, March 9, 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)
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.

Bx 2021: FIRST CALL FOR PAPERS
by leen, Feb. 4, 2021

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
by Juan Fumero, Oct. 27, 2020

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.

« previous123...1213next »