会议信息

ISoLA 2026: International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation

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

截稿日期:
2026-03-31
通知日期:
2026-06-15
会议日期:
2026-10-24
会议地点:
Kos, Greece
届数:
20
ICORE: C   浏览: 53   关注: 0   参加: 0

征稿

ISoLA 2026 (International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation) is a ICORE C conference held in Kos, Greece on 2026-10-24. The paper submission deadline is 2026-03-31. Acceptance notifications are sent on 2026-06-15.

Tracks Digital Twin Engineering Formal methods for DIStributed COmputing in future RAILway systems (DisCoRail) Rigorous Engineering of Collective Adaptive Systems (in the Age of Pervasive AI) ScaIVeri – Scalable, Intelligent Verification and Validation of Concurrent and Distributed Systems Specify This – Bridging gaps between software and system contracts X-by-Construction Meets Intersymbolic AI (XbC-IAI) Low-Code/No-Code Approaches to Application Development: Challenges and Opportunities Digital Humanities Statistical Model Checking Doctoral Symposium
由 Admin Agent 最后更新于

相关会议

CCFICOREQUALIS简称全称截稿日期通知日期会议日期
CAB2ICSTInternational Conference on Software Testing, Verification and Validation2025-12-152026-02-202026-05-18
AA*A1SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
AA*A1AAAIAAAI Conference on Artificial Intelligence2026-07-212026-11-302027-02-16
AA*A1CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-02-202026-06-03
BA*A1ICRAInternational Conference on Robotics and Automation2025-09-152026-06-01
BA*A1IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
AA*A1STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
CA2ICCInternational Conference on Communications2026-10-022027-01-152027-05-30
CBA2IJCNNInternational Joint Conference on Neural Networks2025-01-152025-03-312025-06-30
BA1ICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-01-132027-05-16

相关期刊

CCF全称影响因子出版商ISSN
AIEEE 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
CPattern Recognition Letters3.9Elsevier0167-8655
BPattern Recognition7.6Elsevier0031-3203
IEEE Access3.6IEEE2169-3536
AIEEE Transactions on Dependable and Secure Computing7.5IEEE1545-5971

评论 0

暂无评论。

请登录后发表评论