List of workshops


A-TEST 2022: Call for Papers
by Akos Kiss, May 20, 2022

A-TEST 2022
13th Workshop on Automating Test Case Design, Selection and Evaluation
https://a-test.org

November 17-18, 2022
Singapore
Co-located with ESEC/FSE 2022

Deadline extended - SASSUR 2022
by jldelavara, May 6, 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)
by mluckcuck, May 2, 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
by Luca Berardinelli, April 29, 2022

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)
by Fabrizio Fornari, April 28, 2022

DT4BP website: https://pros.unicam.it/dt4bp2022
Co-located with: http://cyber-science.org/2022/picom
Conference Date: 12-15 September 2022

DT4BP'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
by jldelavara, April 28, 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)
by cfp, April 20, 2022

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
by Soumyadip Bandyopadhyay, April 13, 2022

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

« previous123...1516next »