List of workshops
- A-TEST 2022: Call for Papers
A-TEST 2022
13th Workshop on Automating Test Case Design, Selection and Evaluation
https://a-test.orgNovember 17-18, 2022
Singapore
Co-located with ESEC/FSE 2022- Deadline extended - SASSUR 2022
The deadline for paper submission of the SASSUR 2022 workshop has been extended to **May 13th**
- Fourth Workshop on Formal Methods for Autonomous Systems (FMAS 2022)
FMAS 2022 is a two-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.
- Automated and verifiable Software sYstem DEvelopment (ASYDE) 2022 Call for Papers
Are you working on automated software development methods and
techniques, compositional verification theories, integration
architectures, flexible and dynamic composition, and automated planning mechanisms?Submit your work at the 4th International Workshop on
Automated and verifiable Software sYstem DEvelopment (ASYDE) co-located
with SEFM 2022 (https://sefm-conference.github.io/2022/).Paper Submission deadline: 14th August, 2022.
Author Notification: 1st September, 2022.ASYDE 2022 is supported by GFaI (https://www.gfai.de/)
More information can be found at the official website: https://asyde-series.github.io/asyde2022/
#softwareengineering #asyde #SEFM- 1st International Workshop on Digital Twins for Business Processes (DT4BP)
DT4BP website: https://pros.unicam.it/dt4bp2022
Co-located with: http://cyber-science.org/2022/picom
Conference Date: 12-15 September 2022DT4BP's objective is to attract researchers and industry practitioners to discuss the continuous enhancement of business processes including IoT aspects, up to the concept of Digital Process Twin, and present open challenges, state of the art, in progress research, and practical experiences, including case studies.
- Deadline approaching: SASSUR 2022
The deadline for paper submission to the SASSUR 2022 workshop is approaching!
- Datalog 2.0 2022 - Second Call for Papers (opportunity for TPLP rapid publication)
Second call for papers of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry - A workshop of LPNMR 2022 - opportunity for TPLP rapid publication
- PERR
5th Workshop on Program Equivalence and Relational Reasoning
August 11, 2022 at Technion, Haifa, Israel
associated with CAV 2022 at FLOC 2022
https://perr-workshop.github.io/2022======================================================================
Submission Deadline: Friday, 28 May, 2022 (AoE)
Submit at: https://easychair.org/conferences/?conf=perr2022