[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>Introduction to Proof Systems</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">Introduction to Proof Systems</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>Introduction to Proof Systems: 
        2025-2026</h1><h2>Timetables</h2><table><tr><td class="personInfo"><p><b>Lecturer</b></p></td><td><p class="listedlinks"><a href="/people/Christoph.Haase">Christoph Haase</a></p></td></tr><tr><td class="personInfo"><p><b>Term</b></p></td><td><p class="listedlinks">Trinity Term 2026
       (12 lectures)
    </p></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>Trinity Term 2026</h4><div><p class="listedlinks">Monday,
  10:00 - 11:00
  
  
  ( 
  Weeks 1-4 )
  <em>LTA</em></p></div><div><p class="listedlinks">Tuesday,
  10:00 - 11:00
  
  
  ( 
  Weeks 1-4 )
  <em>LTA</em></p></div><div><p class="listedlinks">Thursday,
  10:00 - 11:00
  
  
  ( 
  Weeks 1-4 )
  <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">Introduction to Proof Systems</li><ul class="subnav"><li><a href="/teaching/courses/2025-2026/IPS/index.html" class="menu">Information</a></li><li><a href="/teaching/courses/2025-2026/IPS/timetable.html" class="menu"><strong>Timetables</strong></a></li><li><a href="https://courses.cs.ox.ac.uk/course/view.php?name=IPS_2025_2026" class="menu">Course materials</a></li><li><a href="/teaching/internal/courses/2025-2026/IPS/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]