List of workshops


RCRA 2022 last call for paper (-5 days to deadline)
by cfp, July 5, 2022

29th RCRA workshop on Experimental evaluation of algorithms for solving
problems with combinatorial explosion (RCRA 2022)

Call for papers: Formal Techniques for Safety-Critical Systems (FTSCS'22)
by Peter Olveczky, July 1, 2022

FTSCS'22: An OOPSLA/SPLASH workshop, with ACM procedings and Science of Computer Programming issue (tbc). 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.

CfP HAPi DevOps 2022 (co-located with VL/HCC) - new deadline
by Jácome Cunha, June 27, 2022

1st Int. Workshop on Human-Centric Approaches and Practices for DevOps
Co-located with VL/HCC 2022.
HAPi DevOps 2022 - https://hapidevops.github.io/2022/

Datalog 2.0 2022 - Third Call for Papers
by cfp, June 27, 2022

Third Call for Papers of Datalog 2.0 2022 - 4th International Workshop on the Resurgence of Datalog in Academia and Industry - LPNRM workshop

Call for Participation - Workshop on Parallel and Distributed Automated Reasoning 2022 at FLoC
by Anton Wijs, June 15, 2022

The 2nd workshop on Parallel and Distributed Automated Reasoning (PDAR 2022) is colocated with FLoC, and will take place on 11 August, the first day of the post-FLoC workshops. This is a call for participation.

CfP: HAPi DevOps 2022 (co-located with VL/HCC)​
by Jácome Cunha, June 6, 2022

HAPi DevOps 2022 - https://hapidevops.github.io/2022/
1st International Workshop on Human-Centric Approaches and Practices for DevOps
Co-located with VL/HCC 2022.

Informatics Europe's "Gender Equality in Informatics" Webinar Series Debut in June
by Kit Wan Chui, May 31, 2022

In collaboration with EUGAIN, we proudly present a *new live “Gender Equality in Informatics” webinar series* from June until the end of the year!

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

« previous123...1516next »