List of conferences - page 12
- ETAPS 2023 Call For Participation
ETAPS 2023 registration is open.
Early registration is until 28 February 2023. After 22 March, late
registration rates apply.- FORTE'23 first CfP
First Call-for-Papers of the 43nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems
- 2nd CfP - 29th International Symposium on Model Checking of Software - SPIN 2023
29th International Symposium on Model Checking of Software - SPIN 2023
Paris, France
April 26-27
co-located with ETAPS 2023SPIN 2023 website: https://spin-web.github.io/SPIN2023/
- CfP ICGT 2023 – 16th International Conference on Graph Transformation
Call for Papers – ICGT 2023 – 16th International Conference on Graph Transformation
https://conf.researchr.org/home/icgt-2023
- PLDI 2023 Artifact Evaluation Committee Nominations
We are looking for motivated students and researchers to be members of the PLDI 2023 Artifact Evaluation Committee (AEC). This year, we are accepting (self-)nominations for the AEC. The artifact evaluation process aims to promote, share and catalog the research artifacts of papers accepted to the PLDI research track.
- ETAPS 2023 Final joint call for papers
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of four annual conferences
accompanied by satellite workshops. ETAPS 2023 is the twenty-sixth
event in the series.- 38th Annual ACM/SIGAPP Symposium on Applied Computing - Software Verification and Testing Track
Call for Papers
- ESOP 2023 - Call for Papers
ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. ESOP seeks contributions on all aspects of programming language research including, but not limited to, the following areas: programming paradigms and styles, methods and tools to specify and reason about programs and languages, programming language foundations, methods and tools for implementation, concurrency and distribution, applications and emerging topics.
Contributions bridging the gap between theory and practice are particularly welcome.