UpcomingCCF ACORE A*
CAV
International Conference on Computer-Aided Verification
Dates
19.07.2027 – 23.07.2027
Venue
Karlsruhe
Germany
Paper submission deadline
20.01.2027
Detailed information
- Scientific field
- Computer Science
- Subfield
- Computer Science Theory
- Country
- Germany
- CCF ranking
- A
- CORE ranking
- A*
- Prestige
- Top-tier
Contact information
- Official website
- conferences.i-cav.org/2027
International Conference on Computer-Aided Verification (CAV) — an international scientific conference in the field of Computer Science. One of the most prestigious conferences in the field.
CORE ranking: A* — top 5% globally. CCF ranking: A — leading conference.
The 2027 edition takes place in Karlsruhe, Germany. Paper submission deadline: 20.01.2027.
Similar conferences
Web3D 2026: International Conference on 3D Web Technology
Web3D 2026Qatar13.10.2026
8th Conference on Blockchain Research & Applications for Innovative Networks and Services
BRAINSItaly13.10.2026
International Conference on Automated Software Engineering
ASECORE A*CCF AGermany13.10.2026
18th International Conference on Security of Information and Networks
SINCONF 2026Turkey14.10.2026
International Conference on Machine Vision
ICMVCORE CHungary15.10.2026
International Conference on Intelligent Infrastructure and Smart Technologies
ICIST-2026Uzbekistan16.10.2026