ICCQ 2026 — это однодневное мероприятие, сфокусированное на статическом и динамическом анализе, верификации программ, дизайне языков программирования, обнаружении ошибок и сопровождении программного обеспечения.
Ключевым докладчиком конференции станет Патрик Кузо (Patrick Cousot) — профессор Курантовского института математических наук Нью-Йоркского университета, один из создателей фундаментальной теории абстрактной интерпретации. Профессор Кузо является обладателем премии ACM SIGPLAN за достижения в области языков программирования (2013), медали Джона фон Неймана от IEEE (2018), а также состоит в ACM Fellow. В своем выступлении он представит доклад на тему «Более абстрактный абстрактный интерпретатор».
Председателем программного комитета выступает Владимир Иванов (Университет Иннополис). В состав комитета вошли ведущие специалисты из ведущих университетов и исследовательских центров мира, включая:
• Анастасиос Антониадис (Афинский университет)
• Александр Бергель (Чилийский университет)
• Жером Фере (Inria)
• Бьорн Франке (Эдинбургский университет)
• Раджив Гупта (Калифорнийский университет в Риверсайде)
• Бенджамин К. Пирс (Пенсильванский университет)
• Филип Уодлер (Эдинбургский университет)
• и другие признанные эксперты в области анализа программ и качества кода.
Оргкомитет конференции объявил следующие ключевые даты:
Подача тезисов и статей: 17 августа 2026 года
Уведомление авторов: 1 ноября 2026 года
Сдача финальных версий: 25 ноября 2026 года
Конференция: 12 декабря 2026 года
Все материалы проходят двойное слепое рецензирование — каждая работа оценивается как минимум тремя членами программного комитета. При оценке статей учитываются такие критерии, как новизна, важность для развития области, достаточность доказательной базы и ясность изложения.
Конференция проводится при поддержке IEEE, Института систем информатики имени А.П. Ершова, Высшей школы экономики и Университета Иннополис. Публикация трудов запланирована в IEEE Xplore.
Источник: https://www.iccq.ru/2026.html.
6-я Международная конференция по качеству кода ICCQ 2026: подача заявок до 17 августа
12 декабря 2026 года в Новосибирске состоится 6-я Международная конференция по качеству кода (ICCQ — International Conference on Code Quality). Мероприятие пройдет на базе Института систем информатики имени А.П. Ершова Сибирского отделения РАН и будет организовано в гибридном формате — участники смогут присутствовать лично или выступить дистанционно через Zoom.
Конференция ICCQ проводится уже в шестой раз и традиционно посвящена проблемам качества исходного кода, сопровождения программного обеспечения и обнаружения дефектов. Как и в предыдущие годы, ожидается поддержка со стороны IEEE Computer Society, а все принятые статьи будут индексироваться в Scopus. Публикация для авторов бесплатна.
Новости
7 сентября 2026
Правительство Швейцарии заменит Microsoft 365 на свободное ПО
3 сентября 2026
Разработчики Debian проголосовали за использование ИИ: сообщество разделилось
31 августа 2026
Свободный игровой движок Luanti ошибочно удалён из Google Play из-за ложной ИИ-жалобы от имени Microsoft
27 августа 2026
Официальная документация Python впервые доступна на русском языке
24 августа 2026
GIMP готовит замену 30-летнему формату XCF
19 августа 2026
Firefox 154: управление ИИ и защита WebSocket-соединения
17 августа 2026
Релиз ядра Linux 7.2: новая эра производительности и безопасности
10 августа 2026
Cloudflare открыла исходный код платформы Cloudflare OS
6 августа 2026
6-я Международная конференция по качеству кода ICCQ 2026: подача заявок до 17 августа
5 августа 2026
Осталось чуть больше недели на подачу заявки для конкурса «Код логики»
3 августа 2026
Выпущена NetBSD 11.0
30 июля 2026
США усиливает давление на китайский ИИ, а глава Nvidia пишет коллективное письмо
28 июля 2026
Совместимы ли разработка свободного ПО и AI?
22 июля 2026
ИИ-модели OpenAI «взломали» Hugging Face
20 июля 2026
Hugging Face и alphaXiv запускают конкурс по воспроизведению результатов ICML 2026
15 июля 2026
Анализ VPN-приложений для Android: миллиарды пользователей под угрозой
13 июля 2026
PhotoGIMP 3.1 — надстройка, превращающая GIMP в Photoshop