Sat 22 Apr 2023, St. Petersburg, Russia
Due to the pandemic situation, the conference will be held in online
mode: all speakers will present their work remotely over Zoom.
The Third 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 IEEE
Andrey Terekhov (Chair), SPbU
Alexandre Bergel, University of Chile
Laura M. Castro, Universidade da Coruña
Stephen Chang, UMass Boston
Daniele Cono D’Elia, Sapienza University of Rome
Pierre Donat-Bouillud, Czech Technical University
Bernhard Egger, Seoul National University
Sebastian Erdweg, Johannes Gutenberg University Mainz
Samir Genaim, Universidad Complutense de Madrid
Shachar Itzhaky, Technion
Yusuke Izawa, Tokyo Institute of Technology
Ranjit Jhala, University of California, San Diego
Tetsuo Kamina, Oita University
Christoph Kirsch, University of Salzburg
Yu David Liu, Binghamton University
Wolfgang de Meuter, Vrije Universiteit Brussel
Antoine Miné, Sorbonne Université
Guillermo Polito, CRIStAL
Xuehai Qian, University of Southern California
Junqiao Qiu, Michigan Technological University
Yann Régis-Gianas, Nomadic Labs
Yudai Tanabe, Tokyo Institute of Technology
Tachio Terauchi, Waseda University
Didier Verna, EPITA
David West, New Mexico Highlands University
Guannan Wei, Purdue University
Vadim Zaytsev, University of Twente
Paper/abstract submission: 18 Dec 2022 (anywhere on Earth)
Author notification: 1 Mar 2023
Camera-ready submissions: 25 Mar 2023
Conference: 22 Apr 2023
Call for Papers
Papers will be published in the Proceedings of ICCQ and submitted for
inclusion into IEEE Xplore subject to meeting their scope and quality
requirements; to be indexed by Web of Science, Scopus, Google Scholar,
DBLP, and others.
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
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).
Compile it with this header:
Submitted papers must be at least 4 and at most 16 pages long, including
bibliographical references and appendices.
Submissions that do not meet the above requirements will be rejected
Resistance is futile. You will be jazzimilated.
Lisp, Jazz, Aïkido: http://www.didierverna.info