List of workshops

[Call for Participation] LCTES 2023
by Anders Miltner, June 1, 2023

Co-located with PLDI and FCRC 2023
Orlando, Florida
June 18, 2023

LCTES provides a link between the programming languages and embedded systems engineering communities. Researchers and developers in these areas are addressing many similar problems but with different backgrounds and approaches. LCTES is intended to expose researchers and developers from either area to relevant work and interesting problems in the other area and provide a forum where they can interact.

CfP: 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems
by Peter Olveczky, May 26, 2023

The aim of this workshop is to bring together researchers and engineers
who are interested in the application of formal and semi-formal methods
to improve the quality of safety-critical computer systems. FTSCS
strives to promote research and development of formal methods and
tools for industrial applications, and is particularly interested in
industrial applications of formal methods.

ASYDE 2023: 5th International Workshop on Automated and verifiable Software sYstem DEvelopment: Call for Papers
by Farnaz Fotrousi, May 10, 2023

Call for papers: ASYDE 2023: 5th International Workshop on Automated and verifiable Software sYstem DEvelopment takes place in Kirchberg, Luxembourg.

SASSUR 2023 - Deadline extended
by jldelavara, May 2, 2023

Deadline extension for the 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems – SASSUR 2023

SETS 2023: Call for Papers
by Fritz Henglein, May 1, 2023

The 4th International Workshop about Sets and Tools (SETS 2023) takes place September 4th, 2023, in Cambridge (UK), affiliated to the 16th Conference on Intelligent Computer Mathematics (CICM 2023).

New submission deadline: May 29th, 2023

For more information see

Fifth Workshop on Formal Methods for Autonomous Systems (FMAS 2023)
by mluckcuck, April 25, 2023

FMAS 2023 is a two-day peer-reviewed international 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. Previous editions are listed on DBLP:

More details can be found on our website:

29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023): Call for Workshop Papers
by George Angelos Papadopoulos, April 12, 2023

Euro-Par is the prime European conference covering all aspects of parallel and distributed
processing, ranging from theory to practice, from small to the largest parallel and distributed
systems and infrastructures, from fundamental computational problems to applications, from
architecture, compiler, language and interface design and implementation, to tools, support
infrastructures, and application performance aspects. To provide a meeting point for
researchers to discuss and exchange new ideas and hot topics related to parallel and
distributed computing and their applications, Euro-Par 2023 will co-locate workshops that will
be held on August 28 - August 29, 2023, the first two days of the conference. Accepted papers
are published by Springer in LNCS.

CfP: HEDA 2023 - 3rd International Health Data Workshop
by Violet Ka I Pun, April 11, 2023

HEDA 2023 - 3rd International Health Data Workshop
Co-located with STAF 2023, Leicester, UK

« previous123...1617next »