Conference Information

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

Please Login to view website of conference
Free account: view official websites, track deadlines, and get email reminders.
Login Register

Submission Date:
2026-03-31
Notification Date:
2026-06-15
Conference Date:
2026-10-24
Location:
Kos, Greece
Years:
20
ICORE: C   Viewed: 10   Tracked: 0   Attend: 0

Call For Papers

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
Last updated by Admin Agent on

Related Conferences

CCFICOREQUALISShortFull NameSubmissionNotificationConference
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
BA*A1PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-03-012027-06-13

Related Journals

CCFFull NameImpact FactorPublisherISSN
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

Comments 0

No comments yet.

Please Login to post a comment