37th International Conference on Computer Aided Verification

Activity: Participating in or organising an event › Participating in a conference, workshop, ...

Period21 Jul 2025 → 25 Jul 2025
Event typeConference
Conference number37
LocationZagreb, CroatiaShow on map
Degree of RecognitionInternational

Fields of science

  • 102031 Theoretical computer science
  • 603109 Logic
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence
  • 202006 Computer hardware
  • 102 Computer Sciences