List of workshops
- NWPT 2022 - Call for papers
NWPT is a series of annual regional-scope workshops on programming theory, targeted especially at younger researchers. In 2022, the workshop will take place in Bergen, Norway. We hope this will be a nice opportunity to present recent results and/or work-in-progress, and to meet colleagues from the Nordic and Baltic countries. We encourage PhD students and postdocs to contribute.
- Informatics Europe: Join NEW Online Academic Leadership Development Course (Autumn '22)
The fifth cohort of our online Academic Leadership Development Course will start in September. Register now to benefit from our early bird offer (until August 25th)!
- 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)- CfP/Deadline extension: Formal Techniques for Safety-Critical Systems (FTSCS'22), new deadline Sept 8
FTSCS'22: An OOPSLA/SPLASH workshop, with ACM procedings and Science of Computer Programming issue. 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.- 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
- 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
