posted by user: sadegh_rk || 2177 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

HICSS 2026   Hawaii International Conference on System Sciences Mini Track: AI-Driven Program Analysis and Software Synthesis: Transforming Modern Software Engineering
RV 2025   25th International Conference on Runtime Verification
CODE AI 2025   2nd International Conference on Data Science & Exploration in Artificial Intelligence
CMSB 2025   23rd international conference on Computational Methods in Systems Biology (CMSB 2025)
EVALSUP & CIMQUSEF 2025   The 7th International Conference on Evaluation in Higher Education and the 22th International Conference on the Quality of Education
SLATE 2025   Symposium on Languages, Applications and Technologies
SOFT 2025   11th International Conference on Software Engineering
QEST+FORMATS 2025   Joint International Conferences on Quantitative Evaluation of SysTems (QEST) and on Formal Modeling and Analysis of Timed Systems (FORMATS)
QoMEX 2025   17th International Conference on Quality of Multimedia Experience
NLPA 2025   6th International Conference on Natural Language Processing and Applications