posted by user: sadegh_rk || 1979 views || tracked by 2 users: [display]

iccq 2023 : The Third International Conference on Code Quality

FacebookTwitterLinkedInGoogle

Link: https://www.iccq.ru/2023.html
 
When Apr 22, 2023 - Apr 22, 2023
Where St. Petersburg, Russia
Submission Deadline Dec 18, 2022
Notification Due Mar 1, 2023
Final Version Due Mar 25, 2023
Categories    formal methods   verification   programming languages
 

Call For Papers

The Third International Conference on Code Quality (ICCQ) is a one-day computer science event focused on static analysis, program verification, bug detection, and software maintenance.

***********
Call for Papers
***********

Publishing fee is $699 free (thanks to our sponsors).

We consider the following criteria when evaluating papers:

* Novelty: The paper presents new ideas and results and places them appropriately within the context established by previous research.

* Importance: The paper contributes to the advancement of knowledge in the field. We also welcome papers that diverge from the dominant trajectory of the field.

* Evidence: The paper presents sufficient evidence supporting its claims, such as proofs, implemented systems, experimental results, statistical analyses, case studies, and anecdotes.

* Clarity: The paper presents its contributions, methodology and results clearly.

Papers will be reviewed by at least three PC members using a double-blind review process.

Related Resources

SCA 2024   Source Code Analysis
CAV 2025   37th International Conference on Computer Aided Verification
IPM-LLMDQKG 2025   Special issue of Information Processing & Management on Large Language Models and Data Quality for Knowledge Graphs
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
CTRQ 2025   The Eighteenth International Conference on Communication Theory, Reliability, and Quality of Service
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
ITEQS 2025   9th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems
IJDMS 2024   International Journal of Database Management Systems
Exploring Data Ecosystems and Markets 2024   Special Issue on Exploring Data Ecosystems and Markets: Trends and Insights in VLDB Journal
SIMULTECH 2025   15th International Conference on Simulation and Modeling Methodologies, Technologies and Applications