Where is FoSSaCS 2027 held?

FoSSaCS 2027 is held in Copenhagen, Denmark.

When does FoSSaCS 2027 take place?

FoSSaCS 2027 takes place on 2027-04-10.

What is the ranking of FoSSaCS?

FoSSaCS is ranked CORE A, QUALIS A2. These are categorical rankings maintained by the respective bodies (China Computer Federation, CORE Inc., and Brazilian CAPES).

Conference Information

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

Q: What is the submission deadline for FoSSaCS 2027?

The paper submission deadline for FoSSaCS 2027 (International Conference on Foundations of Software Science and Computation Structures) is 2026-10-15.

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:

CORE: a QUALIS: a2 Viewed: 38844 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 2026-05-11

Acceptance Ratio

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

Year	Submitted	Accepted	Accepted(%)
2021	88	28	31.8%
2020	98	31	31.6%
2019	85	29	34.1%
2018	103	31	30.1%
2017	101	32	31.7%
2016	85	31	36.5%
2015	93	28	30.1%
2014	106	28	26.4%
2013	109	28	25.7%
2012	100	29	29%
2011	100	30	30%
2010	86	25	29.1%
2009	102	30	29.4%
2008	103	25	24.3%
2007	103	25	24.3%
2006	107	28	26.2%
2005	108	30	27.8%
2004	130	34	26.2%
2003	96	26	27.1%
2002	67	28	41.8%
2001	63	25	39.7%
2000	68	25	36.8%
1999	40	18	45%

Best Papers

Year	Best Papers
2025	Sharing and Linear Logic with Restricted Access
2025	Model-checking real-time systems: revisiting the alternating automaton route
2023	Unboundedness problems for machines with reversal-bounded counters
2022	Complete and tractable machine-independent characterizations of second-order polytime
2021	A String Diagrammatic Axiomatisation of Finite-State Automata
2021	Nondeterministic and co-Nondeterministic Implies Deterministic for Data Languages
2020	The inconsistent labelling problem of stutter-preserving partial-order reduction
2019	Trees in partial higher dimensional automata
2018	Guarded Traced Categories
2017	Cyclic Arithmetic Is Equivalent to Peano Arithmetic
2017	Classical System of Martin-Löf’s Inductive Definitions Is Not Equivalent to Cyclic Proof System
2016	Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
2015	Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism
2014	Unsafe order-2 tree languages are context-sensitive
2013	Separation logic for non-local control flow and block scope variables
2013	Preorders on monads and coalgebraic simulations
2012	Effective characterizations of simple fragments of temporal logic using prophetic automata
2011	Probabilistic modal mu-calculus with independent product
2001	Axioms for Recursion in Call-by-Value

Related Conferences

CCF	CORE	QUALIS	Short	Full Name	Submission	Notification	Conference
	a	a2	FoSSaCS	International Conference on Foundations of Software Science and Computation Structures	2026-10-15	2026-12-22	2027-04-10
a	a*	a1	FSE	ACM SIGSOFT Symposium on the Foundations of Software Engineering	2026-10-02	2027-03-31	2027-07-12
		b5	FedCSIS	Federated Conference on Computer Science and Information Systems	2026-04-15	2026-06-16	2026-08-23
b	a	a2	ICSME	International Conference on Software Maintenance and Evolution	2026-02-27	2026-05-29	2026-09-14
b	b	a2	FSE'	International Conference on Fast Software Encryption	2025-11-23	2026-01-23	2026-03-23
a	a*	a1	FOCS	IEEE Symposium on Foundations of Computer Science	2025-04-03	2025-07-08	2025-12-14
	b	b5	QoSA	International ACM Sigsoft Conference on the Quality of Software Architectures	2016-01-18	2016-02-15	2016-04-05
		b2	FoIKS	International Symposium on Foundations of Information and Knowledge Systems	2015-10-25	2015-12-04	2016-03-07
		b4	FECS	International Conference on Frontiers in Education: Computer Science and Computer Engineering	2015-04-15	2015-04-30	2015-07-27
	c		ICCNMC	International Conference on Communications, Networking and Mobile Computing	2015-01-31	2015-02-05	2015-03-05

Related Journals

CCF	Full Name	Impact Factor	Publisher	ISSN
b	IEEE Transactions on Evolutionary Computation	12.0	IEEE	1089-778X
	Materials Science in Semiconductor Processing	4.6	Elsevier	1369-8001
b	Evolutionary Computation	3.4	MIT Press	1063-6560
	Foundations of Computational Mathematics	2.7	Springer	1615-3375
	IEEE Journal on Exploratory Solid-State Computational Devices and Circuits	2.7	IEEE	2329-9231
	Engineering Computations	1.9	Emerald	0264-4401
	Journal of Software Maintenance and Evolution: Research and Practice	1.8	John Wiley & Sons, Ltd.	2047-7481
b	Journal of Software: Evolution and Process	1.8	John Wiley & Sons, Ltd	2047-7481
	Concurrency Computation Practice and Experience	1.5	Wiley-Blackwell	1532-0626
	Foundations and Trends in Signal Processing		Now Publishers Inc.	1932-8346

Tracker
Xinzhi Wang (88)
Yuusuke Urameshi (344)
Feidan Huang (959)
Chao Liu (219)
Deng Chen (963)
Guillaume Munch (56)
YuanRui Cai (68)

Attender	Year
No results found.

Advertisment