Sat 28 June 2025
Ekaterinburg, Russia
It’s a hybrid event, all speakers are welcome to either attend it in person or present their work remotely over Zoom.
The 5th International Conference on Code Quality (ICCQ) is a one-day computer science event focused on static and dynamic analysis, program verification, programming languages design, software bug detection, and software maintenance. ICCQ is organized in cooperation with Ural Federal University.
Keynote
To be determined…
Program Committee
Alexander K. Petrenko (Chair)
ISP RAS
And in alphabetical order:
Sara Abbaspour
Mälardalen University
Rabe Abdalkareem
Omar al-Mukhtar University
Mohammad Alshayeb
King Fahd University of Petroleum and Minerals
Thomas Ball
Microsoft Research
ACM Fellow
William J. Bowman
University of British Columbia
Jacques Carette
McMaster University
Bernhard Egger
Seoul National University
Umar Farooq
Louisiana State University
Eduardo Fernandes
University of Southern Denmark
Javier Luis Cánovas Izquierdo
Universitat Oberta de Catalunya
Ranjit Jhala
University of California, San Diego
ACM Fellow
Antoine Miné
Sorbonne Université
Murali Krishna Ramanathan
Amazon Web Services
Francis Palma
University of New Brunswick
Bjorn De Sutter
Ghent University
G. Gary Tan
Pennsylvania State University
Guowei Yang
University of Queensland
Vadim Zaytsev
University of Twente
Jian Zhang
Nanyang Technological University
We are forming the PC right now. If you are interested in joining, please email us.
Important Dates
Paper/abstract submission:
18 Feb 2025
(anywhere on Earth)
Author notification:
1 May 2025
Camera-ready submissions:
25 May 2025
Conference:
28 Jun 2025
Call for Papers
Papers will be published in the Proceedings of ICCQ.
Publishing is free of charge.
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.
Instructions for Authors
Submissions must be in PDF, printable in black and white on US Letter sized paper. All submissions must adhere to the acmart sigplan template (two columns, 11pt font size).
In LaTeX, compile it with this header:
\documentclass[sigplan,11pt,nonacm=true]{acmart}
\settopmatter{printfolios=false,printccs=false,printacmref=false}
Submitted papers must be at least 6 and at most 20 pages long, including bibliographical references and appendices.
All digital artifacts, like datasets, source code, and CSV spreadsheets with data, must be deployed to Zenodo.
Submissions that do not meet the above requirements will be rejected without review.
Partners
Interested in joining and helping us make ICCQ even better? Click here.
Organizers
These people are making ICCQ 2025:
Yegor
Bugayenko (Chair)
Ksenia
Gyrdimova
If you are interested in helping us and joining the team of organizers, please email team@iccq.ru.
Registration
The conference will be streamed live on our YouTube channel and you will be able to watch it without registration. However, registration is mandatory if you want to attend the event and enjoy a tasty lunch with some of our speakers.
Registration is free of charge.