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 ICORE B, QUALIS A2. These are categorical rankings maintained by the respective bodies (China Computer Federation, ICORE Inc., and Brazilian CAPES).

会议信息

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.

请登录查看会议网址

免费注册：查看官网链接、跟踪截稿日期，并接收邮件提醒。

注册登录

截稿日期:

2026-10-15 已截稿

通知日期:

2026-12-22

会议日期:

2027-04-10

会议地点:

Copenhagen, Denmark

届数:

30

ICORE: B QUALIS: A2 浏览: 44589 关注: 7 参加: 0

这一页信息有误？告诉我们

嵌入截止倒计时徽章

用 API 获取这条数据

搜索与榜单列表完全无需凭证；本页的完整详情需要一把免费 API 密钥。详见开发者接入页。

会伴指数 (CP-I)

81.7 / 100

全站第 178 名 / 共 5,770 个会议 · 前 4%

软件工程第 25 / 249

学术认可 (35%)		92
投稿选择性 (20%)		76
会议传承 (20%)		92
社区关注 (10%)		38
资料公开度 (15%)		80

用到的输入: 收录等级：ICORE B, QUALIS A2 · 录用率：31.9%（有记录的 5 届的均值） · 有据可查的届次：30 · 在会伴关注它的研究者：7 人 · 过去 24 个月打开过本页的研究者：10 人

公开资料里还缺: 历届信息 (+3.0)
主办方认领本会议后，可直接在这一页补上；分数每晚重算。如何提升这个分数

置信度 100% —— 分数中有多大比例来自实际观测到的数据，而不是中性基准。这个分数是怎么算出来的 · 查看完整榜单 · 算法版本 1.2 · 算于 2026-11-07

下一届开放征稿时通知我

本届已结束。注册免费账号，下一届征稿一发布我们就发邮件通知你。
按上一届推算，下届截稿预计在 2027-10 前后。

有新征稿时通知我已有账号？登录

账号免费。每天最多一封邮件，每封信都带一键退订链接。

征稿

FoSSaCS 2027 (International Conference on Foundations of Software Science and Computation Structures) is a ICORE B / 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.

由 Dou Sun 最后更新于 2026-05-11

录用率

平均录用率: 31.1% 23 年间 (1999–2021).

年份	提交数	录用数	录用率(%)
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%

最佳论文

年份	最佳论文
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

看过这个的人也在看

CCF	ICORE	CP-I	简称	全称	截稿日期	会议日期
	A	83.9	ESOP	European Symposium on Programming	2026-10-15	2027-04-10
B	A	91.2	AAMAS	International Joint Conference on Autonomous Agents and Multi-agent Systems	2026-10-01	2027-05-03
C	B	80.6	ALT	International Conference on Algorithmic Learning Theory	2026-10-12	2027-03-09
C	A	80.9	MSR	Working Conference on Mining Software Repositories	2026-10-20	2027-04-26
B		61.2	ETAPS	European Joint Conferences on Theory and Practice of Software	2026-10-15	2027-04-10
	B	63.4	CHASE'	International Conference on Cooperative and Human Aspects of Software Engineering	2026-10-23	2027-04-26
		44.5	iFS	International Conference on Foundations and Formal Methods for Software and Systems	2026-10-15	2027-04-10

CCF	ICORE	CP-I	简称	全称	截稿日期	会议日期
A	A*	95.9	SIGIR	International Conference on Research and Development in Information Retrieval	2027-01-14	2027-07-18
A	A*	97.8	AAAI	AAAI Conference on Artificial Intelligence	2026-07-21	2027-02-16
A	A*	94.9	CVPR	IEEE Conference on Computer Vision and Pattern Recognition	2026-11-10	2027-06-20
B	A*	89.8	ICRA	International Conference on Robotics and Automation	2026-09-15	2027-05-24
B	A*	97.7	IJCAI	International Joint Conference on Artificial Intelligence	2027-01-04	2027-08-07
A	A*	93.1	STOC	ACM Symposium on Theory of Computing	2026-11-02	2027-06-06
C		87.6	ICC	International Conference on Communications	2026-10-02	2027-05-30
C	B	63.0	IJCNN	International Joint Conference on Neural Networks	2027-01-31	2027-06-14
B		91.2	ICASSP	International Conference on Acoustics, Speech and Signal Processing	2026-09-16	2027-05-16
B	A*	79.9	PODS	ACM SIGMOD Conference on Principles of DB Systems	2026-12-03	2027-06-13

CCF	全称	影响因子	出版商	ISSN
	Computers & Structures	4.8	Elsevier	0045-7949
	Foundations of Computational Mathematics	2.7	Springer	1615-3375
	Applied Categorical Structures	0.6	Springer	0927-2852
	Random Structures & Algorithms	0.900	Wiley	1042-9832
	Computation		MDPI	2079-3197
A	IEEE Transactions on Multimedia	9.7	IEEE	1520-9210
C	Knowledge-Based Systems	7.2	Elsevier	0950-7051
B	Software & Systems Modeling	3.2	Springer	1619-1366
A	IEEE Transactions on Computers	3.8	IEEE	0018-9340
C	Future Generation Computer Systems	5.9	Elsevier	0167-739X

评论 0

暂无评论。

请登录后发表评论