Major Conferences(2) Related Logic in Computer Science(LICS Computer aided Verification (CAV)Major Conferences (2) • Related: – Logic in Computer Science (LICS) – Computer Aided Verification (CAV)