International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Also known as: ISoLA
Indexed in CORE Rankings with rank C (ICORE2026).
Prestige Metrics & Badges
Submission Deadlines & Live Countdown
11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • RHODES GREECE(24 – 28 Oct, 2022)
Submission Deadline Has Passed
Please check notifications or wait for the next conference edition.
| Track / Round | Format | Abstract Due | Paper Submission | Rebuttal Period | Notification Date | Camera-Ready Due | Time Remaining |
|---|---|---|---|---|---|---|---|
Main Track | conference | TBA | Apr 30, 2022 | — | TBA | TBA | Passed |
Multi-Source Prestige Rankings
Comparative classification across international academic evaluation bodies
| Ranking System | Evaluation Body | Classification | Edition / Year | Field / Scope | Prestige Significance |
|---|---|---|---|---|---|
| CORE Ranking | Computing Research and Education Association of Australasia | C | Year 2026 | Software engineering | Indexed conference in CORE database |
| CCF Ranking | China Computer Federation (CCF) | N/A | CCF 2022 Catalog | Computer Science | Important international conference |
| TH-CPL | Tsinghua University | N/A | TH-CPL List | CS & Engineering | Tsinghua Recommended Conference Publishing List |
| Qualis CAPES | CAPES (Brazilian Ministry of Education) | N/A | Sucupira / Qualis | Ciência da Computação | South American academic evaluation standard |
| CORE | Academic Association | C | ICORE2026 | General | International prestige ranking |
Conference Editions Timeline
Locations, dates, proceedings, and historical tracks of past & future editions
11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Past8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Past7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Past4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
PastAcademic Resources & External Links
Access DBLP archives, Papers With Code, and official conference portals
DBLP Computer Science
Comprehensive open bibliographic database tracking full papers across editions.
Papers With Code
Explore trending papers, open-source code repositories, and leaderboards.
CORE Ranking Portal
Official evaluation catalog from Computing Research and Education Association.