<div dir="ltr">The deadline was extended until the 28th of December!<div><br></div><div>Name: 3nd International Conference on Code Quality (ICCQ)<br>Date: April 22, 2023<br>Venue: St. Petersburg State University, Russia<br>Website: <a href="https://urldefense.com/v3/__https://www.iccq.ru/2023.html__;!!IBzWLUs!VOn3MqJ0I_Mt9qudHts_qXWgFBQiukfKBaGWlPe09MoRbCa4bjTeBY5QAlgCQB4TjUIqniZJjah8LgbteJxjnSTedzTEKQ0$">https://www.iccq.ru/2023.html</a><br>Published by: IEEE Xplore (in cooperation with IEEE Computer Society)<br><br>We believe that the quality of the source code that millions of programmers write every day could be much higher than it is now. We believe that the contribution computer science can make to improve this situation is greatly undervalued. We aim to solve this problem by gathering together cutting-edge researchers and letting them share their most recent ideas on static analysis, program verification, bug detection, and software maintenance.<br><br>Due to the pandemic situation, the conference will be held in online mode: all speakers will present their work remotely over Zoom.<br><br>IMPORTANT DATES<br><br>Paper/abstract submission: 28 Dec 2022 (anywhere on Earth)<br>Author notification: 1 Mar 2023<br>Camera-ready submissions: 25 Mar 2023<br>Conference: 22 Apr 2023<br><br>PROGRAM COMMITTEE<br><br>Andrey Terekhov (Chair), SPbU<br>Alexandre Bergel, University of Chile<br>Laura M. Castro, Universidade da Coruña<br>Stephen Chang, UMass Boston<br>Daniele Cono D'Elia, Sapienza University of Rome<br>Pierre Donat-Bouillud, Czech Technical University<br>Bernhard Egger, Seoul National University<br>Samir Genaim, Universidad Complutense de Madrid<br>Shachar Itzhaky, Technion<br>Yusuke Izawa, Tokyo Institute of Technology<br>Ranjit Jhala, University of California, San Diego<br>Tetsuo Kamina, Oita University<br>Christoph Kirsch, University of Salzburg<br>Yu David Liu, Binghamton University<br>Wolfgang de Meuter, Vrije Universiteit Brussel<br>Antoine Miné, Sorbonne Université<br>Guillermo Polito, CRIStAL<br>Xuehai Qian, University of Southern California<br>Junqiao Qiu, Michigan Technological University<br>Yudai Tanabe, Tokyo Institute of Technology<br>Tachio Terauchi, Waseda University<br>Didier Verna, EPITA<br>David West, New Mexico Highlands University<br>Guannan Wei, Purdue University<br>Vadim Zaytsev, University of Twente<br><br>PUBLICATIONS<br><br>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.<br><br>Papers will be reviewed by three PC members using a double-blind review process.<br><br>Submissions must be in PDF, printable in black and white on US Letter sized paper. All submissions must adhere to the ACM Small template (sigplan, two columns, 11pt font size). Submitted papers must be at least 4 and at most 16 pages long, including bibliographical references and appendices. Please, submit via EasyChair: <a href="https://urldefense.com/v3/__https://easychair.org/cfp/iccq23__;!!IBzWLUs!VOn3MqJ0I_Mt9qudHts_qXWgFBQiukfKBaGWlPe09MoRbCa4bjTeBY5QAlgCQB4TjUIqniZJjah8LgbteJxjnSTeMJVhy7g$">https://easychair.org/cfp/iccq23</a><br><br>SPONSORS<br><br>ICCQ is sponsored by St. Petersburg University, Innopolis University, HSE, MIPT, MSU, Yandex, Kaspersky, SberCloud, Huawei and others.<br><br>QUESTIONS?<br><br>If any questions, please email to <a href="mailto:team@iccq.ru">team@iccq.ru</a><br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><br></div></div></div></div></div>