[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>Categories, Proofs and Processes</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">Categories, Proofs and Processes</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>Categories, Proofs and Processes: 
        2023-2024</h1><h2>Timetables</h2><table><tr><td class="personInfo"><p><b>Lecturer</b></p></td><td><p class="listedlinks"><a href="/people/Matty.Hoban">Matty Hoban</a> | <a href="/people/Aleks.Kissinger">Aleks Kissinger</a></p></td></tr><tr><td class="personInfo"><p><b>Term</b></p></td><td><p class="listedlinks">Hilary Term 2024
       (20 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>Hilary Term 2024</h4><div><p class="listedlinks">Group 1 - Friday,
  9:00 - 10:00
  
  
  ( 
  Weeks 3-8 )
  <em>Strachey Room (RHB)</em></p></div><div><p class="listedlinks">Group 2 - Friday,
  12:00 - 13:00
  
  
  ( 
  Weeks 3-8 )
  <em>Room 051</em></p></div><div><p class="listedlinks">Group 3 - Friday,
  13:00 - 14:00
  
  
  ( 
  Weeks 2-8 )
  <em>Room 051</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>Hilary Term 2024</h4><div><p class="listedlinks">Tuesday,
  15:00 - 16:00
  
  
  ( 
  Weeks 1-8 )
  <em>LTB</em></p></div><div><p class="listedlinks">Thursday,
  15:00 - 16:00
  
  
  ( 
  Weeks 1-8 )
  <em>LTB</em></p></div><div><p class="listedlinks">Friday,
  15:00 - 16:00
  
  
  ( 
  Weeks 1-4 )
  <em>LTB</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">Categories, Proofs and Processes</li><ul class="subnav"><li><a href="/teaching/courses/2023-2024/catsproofsprocs/index.html" class="menu">Information</a></li><li><a href="/teaching/courses/2023-2024/catsproofsprocs/timetable.html" class="menu"><strong>Timetables</strong></a></li><li><a href="https://courses.cs.ox.ac.uk/course/view.php?name=catsproofsprocs_2023_2024" 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/2023-2024/catsproofsprocs/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]