IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
ISoLA 2022 : 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
ISoLA 2022 : 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

ISoLA 2022 : 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

RHODES, GREECE
Event Date: October 24, 2022 - October 28, 2022
Submission Deadline: April 30, 2022
Notification of Acceptance: April 30, 2022
Camera Ready Version Due: June 12, 2022




Call for Papers



The ISoLA Symposium is a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. To bridge the gap between designers and developers of (formal methods based) rigorous tools, and users in engineering and in other disciplines, it fosters and exploits synergetic relationships among scientists, engineers, software developers, decision makers, and other critical thinkers.

In particular, by providing a venue for the discussion of common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility and efficiency of tools for building systems and users in their search of adequate solutions to their problems. Applications and case studies with a conceptual message and experience papers with a clear link to tool construction are all encouraged.

The Symposium features invited Thematic tracks and sessions containing Research, Survey, Experience, Panel and Tool contributions on the:
Use of Techniques

Deduction and model-checking
System construction and transformation
Program analysis and verification
Composition and refinement
Testing and test-case generation
Hybrid and safety-critical systems
Model-based testing and automata learning

For Application Areas

Automotive and mechanical engineering
Biomechanics, biocomputing
Electrical engineering, embedded systems, and controllers
Healthcare and ambient assisted living
Telecommunications, Internet applications, mobile computing
Transportation and aviation
Transformation & processing-oriented industries
Machine Automation

Track Themes and Thematic Sessions

Engineering of Digital Twins for Cyber-Physical Systems
Verification and Validation of Concurrent and Distributed Systems (VVCDS)
Modularity and (De-)composition in Verification
Software Verification Tools
X- by-Construction: Correctness meets Probability
Rigorous Engineering of Collective Adaptive Systems

Automated Verification of Embedded Control Software
Automating Software Re-Engineering
30 years of Statistical Model Checking!
From Verification to Explanation
Distributed Computing in Future Railway Systems (DiscoRail 2020)
Programming: What is Next?
ISoLA 2020 Doctoral Symposium



Summary

ISoLA 2022 : 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation will take place in RHODES, GREECE. It’s a 5 days event starting on Oct 24, 2022 (Monday) and will be winded up on Oct 28, 2022 (Friday).

ISoLA 2022 falls under the following areas: FORMAL METHODS, SOFTWARE TESTING, COMPUTATIONAL BIOLOGY, TRANSPORTATION, etc. Submissions for this Symposium can be made by Apr 30, 2022. Authors can expect the result of submission by Apr 30, 2022. Upon acceptance, authors should submit the final version of the manuscript on or before Jun 12, 2022 to the official website of the Symposium.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the ISoLA 2022

  • Short Name: ISoLA 2022
  • Full Name: 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of ISoLA 2022
  • Event Type: Symposium
  • Website Link: http://isola-conference.org/isola2022/
  • Location/Address: RHODES, GREECE


Credits and Sources

[1] ISoLA 2022 : 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation


Check other Conferences, Workshops, Seminars, and Events


OTHER FORMAL METHODS EVENTS

OVERLAY 2022: 4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
Udine (Italy)
Nov 28, 2022
F-IDE 2022: 7th Workshop on Formal Integrated Development Environment
Berlin, Germany
Sep 26, 2022
RL-CONFORM 2022: 2nd RL-CONFORM Workshop: Reinforcement Learning meets HRI, Control, and Formal Methods
Kyoto, Japan
Oct 23, 2022
SOFTPA 2022: International Conference on Emerging Practices in Software Process & Architecture
Sydney, Australia
Jun 18, 2022
TIME 2022: 29th International Symposium on Temporal Representation and Reasoning
online
Nov 7, 2022
SHOW ALL

OTHER SOFTWARE TESTING EVENTS

A-TEST 2022: 13th Workshop on Automating Test Case Design, Selection and Evaluation
Singapore
Nov 17, 2022
SOEN 2022: 7th International Conference on Software Engineering
London, United Kingdom
Jul 30, 2022
SBMF 2022: 25th Brazilian Symposium on Formal Methods
Aracaju, Brazil
Dec 5, 2022
AITest 2022: The IEEE Fourth International Conference On Artificial Intelligence Testing
San Francisco, USA
Aug 15, 2022
IEEE AITEST 2022: THE 4TH IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE TESTING
San Francisco Bay Area
Aug 15, 2022
SHOW ALL

OTHER COMPUTATIONAL BIOLOGY EVENTS

IEEE CIBCB 2022: 19th IEEE International Conference on Computational Intelligence in Bioinformatics and Computational Biology ***Short Papers and Workshop***
Ottawa, Canada
Aug 15, 2022
ICIBM 2022: 10th International Conference on Intelligent Biology and Medicine (ICIBM 2022)
Philadelphia, PA, USA
Aug 7, 2022
BECB 2022: [ Scopus, EI compendex, CPCI] -- 2022 2nd International Symposium on Biomedical Engineering and Computational Biology (BECB 2022)
Nanchang, China (Virtual)
Aug 13, 2022
ACM-BCB 2022: 13th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics
Chicago, IL
Aug 7, 2022
PACBB 2022: 16th International Conference on Practical Applications of Computational Biology & Bioinformatics
L'Aquila, Italy
Jul 13, 2022
SHOW ALL

OTHER TRANSPORTATION EVENTS

XA2ITS 2022: Edited Book: Explainable AI for Intelligent Transportation Systems
Taylor & Francis Group
Dec 31, 2022
ATT 2022: 12th International Workshop on Agents in Traffic and Transportation
Vienna, Austria
Jul 23, 2022
[email protected] 2022: Artificial Intelligence in Transportation Systems (Thematic Track at EPIA2022)
Lisbon, Portugal
Aug 31, 2022
ICTTE--Ei Compendex, Scopus 2022: 2022 11th International Conference on Transportation and Traffic Engineering (ICTTE 2022)--Ei Compendex, Scopus
Wuhan, China
Dec 27, 2022
IEEE--ICITE--Ei Compendex, Scopus 2022: IEEE--2022 7th International Conference on Intelligent Transportation Engineering (ICITE 2022)--Ei Compendex, Scopus
Beijing, China
Oct 28, 2022
SHOW ALL