posted by user: vates || 5093 views || tracked by 16 users: [display]

ISOLA 2010 : 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

FacebookTwitterLinkedInGoogle


Conference Series : Leveraging Applications of Formal Methods
 
Link: http://isola-conference.org/isola2010/
 
When Oct 18, 2010 - Oct 20, 2010
Where Heraclion, Crete
Submission Deadline Mar 28, 2010
Notification Due May 16, 2010
Final Version Due Jun 27, 2010
Categories    formal methods   verification
 

Call For Papers

ISoLA 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.

Papers submission (electronic):
March 28th, 2010

Notification of acceptance:
May 16th, 2010

Final version:
June 27th, 2010

Early Registration:
September 5th, 2010

Related Resources

ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
SEFM 2020   Software Engineering and Formal Methods
FMICS 2020   25th International Conference on Formal Methods for Industrial Critical Systems
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
SETTA 2020   Symposium on Dependable Software Engineering Theories, Tools and Applications
SAS 2020   Static Analysis Symposium, SAS 2020
FORMATS 2020   Formal Modeling and Analysis of Timed Systems
EXPRESS/SOS 2020   Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics