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 methods for software development and verification.
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 analysis and abstract interpretationProgram synthesis and transformationFormal methods for security and privacyFormal methods for AI and machine learning systemsIndustrial applications of formal methodsTool support and integrationEducation and training in formal methodsEmpirical studies of formal methodsFormal methods for concurrent, distributed, and embedded systemsFormal methods for software evolution and maintenanceFormal methods for software testing and validationFormal methods for requirements engineeringFormal methods for software architectureFormal methods for human-computer interactionFormal methods for software reliability and safetyFormal methods for blockchain and distributed ledger technologiesFormal methods for cyber-physical systemsFormal methods for cloud and edge computing
Policies worth checking twice
- Submissions must be anonymous for double-blind review.
- All submissions must be in PDF format and conform to the provided LaTeX or Word templates.
- Papers must not be under review at any other conference or journal during the SICOGG 28 review period.
- Authors must declare any use of AI-assisted tools in the submission, including the type and extent of use.
- Author lists and affiliations cannot be changed after the submission deadline without explicit approval from the program chairs.
- Papers must not exceed the page limits specified for each category (15 pages for full, 8 pages for short).
Official sources
Compiled from the official call for papers. The organizers’ pages remain authoritative.
Last verified September 9, 2026