Winter Semester 2022

• EPL 412: Logic in Computer Science. Undergraduate elective.

Past semesters

• EPL 664: System Validation and Verification, Spring Semesters 2003, 2004, 2006, 2009-2018, 2020; Postgraduate course.
• EPL 412: Logic in Computer Science, Spring Semesters 2009-2011 and Fall Semesters 2011-2020; Undergraduate elective.
• EPL 211: Theory of Computation, Spring Semesters 2012-2020; Undergraduate core.
• EPL 231: Data Structures and Algorithms, Fall Semesters 1998-1999 and 2001-2010, and Spring Semester 2006; Undergraduate core.
• EPL 232: Algorithms and Complexity, Spring Semesters 1999-2005; Undergraduate core.
• EPL 132: Programming Concepts, Spring Semester 2000; Undergraduate core.