- Venues
- Conferences
- ISOLA
ISOLA
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Metrics
- CORE rank
- C CORE / ICORE
- Editions tracked
- 4
- Running since
- 2010
About ISOLA
- Full name
- International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
- Subfields
- Software Engineering, Theory
- Field of research
- Software engineering (FoR 4612)
- Latest edition
- RHODES, GREECE, 2022
DeadlinesSubmission dates change every year. Find the current call for papers on WikiCFP or the conference site, and check the time zone (most use Anywhere on Earth, UTC-12).
Similar conferences
- CCORE
SERAACIS Conference on Software Engineering Research, Management and Applications
h5-index 12 - CCORE
DESEDevelopments in eSystems Engineering
- CCORE
CFPConference on Computers, Freedom, and Privacy
- CCORE
CHILIPLOPSouthwestern Conference on Pattern Languages of Programs
- CCORE
NACLPNorth American Conference on Logic Programming
- CCORE
IPYTHCInternational Python Conference
Figures as of the last import; ranks are a guide, not a verdict. Back to all conferences