[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science"></meta><meta name="description" content="Website for the Department of Computer Science at the heart of computing and related interdisciplinary activity at Oxford."></meta><title>Computer-Aided Formal Verification</title>[an error occurred while processing this directive]<div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/ourstudents/index.html">Student Space</a></li><li><a href="/teaching/courses/">Courses</a></li><li><span class="youarehere">Computer-Aided Formal Verification</span></li></ol></div><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent"><h1>Computer-Aided Formal Verification: 
        2025-2026</h1><h2>Timetables</h2><table><tr><td class="personInfo"><p><b>Lecturer</b></p></td><td><p class="listedlinks"><a href="/people/David.Parker">David Parker</a></p></td></tr><tr><td class="personInfo"><p><b>Term</b></p></td><td><p class="listedlinks">Michaelmas Term 2025
       (16 lectures)
    </p></td></tr><tr><td class="personInfo" style="vertical-align: top; padding-top: 11px; padding-right: 1em"><p><strong>Classes</strong></p></td><td><div style="margin-bottom: 18px"><h4>Michaelmas Term 2025</h4><div><p class="listedlinks">Group 1 - Thursday,
  13:00 - 14:00
  
  
  ( 
  Weeks 3-8 )
  <em>Tony Hoare Room, RHB</em></p></div><div><p class="listedlinks">Group 2 - Thursday,
  14:00 - 15:00
  
  
  ( 
  Weeks 3-8 )
  <em>Tony Hoare Room, RHB</em></p></div><div><p class="listedlinks">Group 3 - Friday,
  16:00 - 17:00
  
  
  ( 
  Weeks 3-8 )
  <em>Tony Hoare Room, RHB</em></p></div></div></td></tr><tr><td class="personInfo" style="vertical-align: top; padding-top: 11px; padding-right: 1em"><p><strong>Lectures</strong></p></td><td><div style="margin-bottom: 18px"><h4>Michaelmas Term 2025</h4><div><p class="listedlinks">Monday,
  11:00 - 12:00
  
  
  ( 
  Weeks 1-8 )
  <em>LTA</em></p></div><div><p class="listedlinks">Wednesday,
  11:00 - 12:00
  
  
  ( 
  Weeks 1-8 )
  <em>LTA</em></p></div></div></td></tr></table></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col"><h2 class="side-menu-title text-uppercase"><a href="/ourstudents/index.html">Student Space</a></h2><ul class="side-menu"><li class="active mobile-menu-source"><a href="/teaching/courses/">Course A-Z</a><ul><li class="side-menu-heading mobile-menu-source">Computer-Aided Formal Verification</li><ul class="subnav"><li><a href="/teaching/courses/2025-2026/computeraidedverification/index.html" class="menu">Information</a></li><li><a href="/teaching/courses/2025-2026/computeraidedverification/timetable.html" class="menu"><strong>Timetables</strong></a></li><li><a href="https://courses.cs.ox.ac.uk/course/view.php?name=computeraidedverification_2025_2026" class="menu">Course materials</a></li><li><a href="https://courses.cs.ox.ac.uk/course/view.php?name=past_papers" class="menu">Past Exam Papers and Solutions</a></li><li><a href="/teaching/internal/courses/2025-2026/computeraidedverification/pastmaterials.html" class="menu">Previous course materials</a></li></ul></ul></li><li><a href="/ourstudents/degrees.html">Degrees</a></li><li><a href="/teaching/handbooks.html">Online Resources, Handbooks &amp; Library</a></li><li><a href="https://www.cs.ox.ac.uk/minerva/">Minerva</a></li><li><a href="/teaching/examinations/">Examinations</a></li><li><a href="/teaching/timetables/">Timetables</a></li></ul></div></div></div>[an error occurred while processing this directive]