List of workshops
- [Call for Participation] LCTES 2023
Co-located with PLDI and FCRC 2023
Orlando, Florida
June 18, 2023
https://pldi23.sigplan.org/home/LCTES-2023LCTES 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
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
Call for papers: ASYDE 2023: 5th International Workshop on Automated and verifiable Software sYstem DEvelopment takes place in Kirchberg, Luxembourg.
https://asyde-series.github.io/asyde2023/- SASSUR 2023 - Deadline extended
Deadline extension for the 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems – SASSUR 2023
- SETS 2023: Call for Papers
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 https://www.lirmm.fr/sets2023/.
- Fifth Workshop on Formal Methods for Autonomous Systems (FMAS 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: https://dblp.dagstuhl.de/db/conf/fmas/index.html.
More details can be found on our website: https://fmasworkshop.github.io/FMAS2023/
- 29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023): Call for Workshop Papers
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
HEDA 2023 - 3rd International Health Data Workshop
Co-located with STAF 2023, Leicester, UK
(https://conf.researchr.org/home/staf-2023/heda-2023)