List of workshops
- RCRA 2022 last call for paper (-5 days to deadline)
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)
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
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
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
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)
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
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
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
