Full Papers
Original research contributions with substantial results and analysis, typically up to 15 pages.
AI/CORE Unranked
SICOGG28 2026
The 28th Seoul International Conference on Generative Grammar
SICOGG 28 2026 is the 28th International Conference on Software Engineering and Formal Methods, focusing on the intersection of software engineering and formal methods. It aims to bring together researchers and practitioners to present and discuss innovative approaches, tools, and applications in formal techniques for software development and analysis.
Key deadlines
Verified September 9, 2026Abstract registration
May 16, 2026
AoE
Full paper
August 1, 2026
AoE
Conference timeline
Submission and decisions
Abstract registrationKey deadline
May 16, 2026 · AoE
Full paperKey deadline
August 1, 2026 · AoE
Paper fit
Contribution paths
A strong submission should clearly identify its contribution and evaluate it appropriately.
Short Papers
Work-in-progress, tool demonstrations, or preliminary results, typically up to 8 pages.
Journal-First Papers
Extended versions of papers recently published in reputable journals, submitted for presentation at the conference.
Research areas in scope
01
Topics of Interest
Formal specification and verificationModel checking and theorem provingStatic and dynamic analysisProgram synthesis and transformationFormal methods for security and privacyFormal methods for AI and machine learning systemsIntegration of formal methods in software development processesTool support and automationCase studies and industrial applicationsEmpirical studies of formal methodsFormal methods for concurrent, distributed, and embedded systemsFormal methods for software evolution and maintenanceFormal methods for software testing and debuggingFormal methods for requirements engineeringFormal methods for software architectureFormal methods for human-computer interactionFormal methods for software safety and reliabilityFormal methods for blockchain and distributed ledger technologiesFormal methods for cyber-physical systemsFormal methods for software certification and standards
Policies worth checking twice
- Submissions must be anonymous for double-blind review.
- Papers must not be under review elsewhere during the review period.
- Dual submission to other conferences or journals is not permitted.
- All submissions must include an AI-use statement if artificial intelligence tools were used in the preparation of the paper.
- Page limits are strictly enforced: full papers up to 15 pages, short papers up to 8 pages (including references).
- Author lists and affiliations may not be changed after the submission deadline.
Official sources
Compiled from the official call for papers. The organizers’ pages remain authoritative.
Last verified September 9, 2026