posted by user: sadegh_rk || 343 views || tracked by 1 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

TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ICCQ 2022   2nd International Conference on Code Quality
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
CGO 2023   ACM/IEEE International Symposium on Code Generation and Optimization
FTSCS 2022   8th International Workshop on Formal Techniques for Safety-Critical Systems
CGO 2022   IEEE/ACM International Symposium on Code Generation and Optimization
FM 2023   Formal Methods
ICQIS 2023   ICQIS 2023 - 4th International Conference on Quality Innovation and Sustainability
SecDev 2022   IEEE Secure Development Conference
EAI TRIDENTCOM 2022   17th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies