Conference Information

FoSSaCS 2027: International Conference on Foundations of Software Science and Computation Structures

Please Login to view website of conference

Submission Date:
2026-10-15
Notification Date:
2026-12-22
Conference Date:
2027-04-10
Location:
Copenhagen, Denmark
Years:
30
CORE: a   QUALIS: a2   Viewed: 39163   Tracked: 7   Attend: 0

Call For Papers

FoSSaCS 2027 (International Conference on Foundations of Software Science and Computation Structures) is a CORE A / QUALIS A2 conference held in Copenhagen, Denmark on 2027-04-10. The paper submission deadline is 2026-10-15. Acceptance notifications are sent on 2026-12-22.

Scope of Interest The scope of FoSSaCS is broad. The specific topics covered by the conference include, but are not limited to, the following list. Categorical models and logics. Language theory, automata, and games. Modal, spatial, and temporal logics. Type theory and proof theory. Concurrency theory and process calculi. Rewriting theory. Semantics of programming languages. Program analysis, correctness, transformation, and verification. Logics of programming. Software specification and refinement. Models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems. Emerging models of computation. Logical aspects of computational complexity. Models of software security. Logical foundations of data-bases.
Last updated by Dou Sun in

Acceptance Ratio

Average acceptance rate: 31.1% over 23 years (1999–2021).

YearSubmittedAcceptedAccepted(%)
2021882831.8%
2020983131.6%
2019852934.1%
20181033130.1%
20171013231.7%
2016853136.5%
2015932830.1%
20141062826.4%
20131092825.7%
20121002929%
20111003030%
2010862529.1%
20091023029.4%
20081032524.3%
20071032524.3%
20061072826.2%
20051083027.8%
20041303426.2%
2003962627.1%
2002672841.8%
2001632539.7%
2000682536.8%
1999401845%

Related Conferences

CCFCOREQUALISShortFull NameSubmissionNotificationConference
aa*a1AAAIAAAI Conference on Artificial Intelligence2025-07-252025-11-032026-01-20
aa*a1SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
aa*a1CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-02-202026-06-03
bba1ICRAInternational Conference on Robotics and Automation2025-09-152026-06-01
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
aa*a1STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
cba2ICCInternational Conference on Communications2025-10-132026-01-122026-05-24
caa2IJCNNInternational Joint Conference on Neural Networks2025-01-152025-03-312025-06-30
bba1ICASSPInternational Conference on Acoustics, Speech and Signal Processing2025-09-172026-01-162026-05-04
ba*a1PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-03-012027-06-13

Related Journals

CCFFull NameImpact FactorPublisherISSN
Computers & Structures4.8Elsevier0045-7949
Foundations of Computational Mathematics2.7Springer1615-3375
Applied Categorical Structures0.600Springer0927-2852
ComputationMDPI2079-3197
bIEEE Transactions on Multimedia9.7IEEE1520-9210
cKnowledge-Based Systems7.2Elsevier0950-7051
bSoftware & Systems Modeling3.2Springer1619-1366
aIEEE Transactions on Computers3.8IEEE0018-9340
cFuture Generation Computer Systems6.1Elsevier0167-739X
cNeurocomputing6.5Elsevier0925-2312