CSE 331 Summer 2026 Schedule

June
Monday	Tuesday	Wednesday	Thursday	Friday
Lecture: 10:50-11:50 Lecture HRC 155 Welcome! Whole-program behavior and specification; Assertions Office hour: 14:30-15:30 OH (James) Allen 440 and Zoom	Office hour: 11:00-12:00 OH (Emily) Allen 3rd floor Office hour: 13:30-14:30 OH (Ethan) Gates 150 Office hour: 14:30-15:30 OH (Kyle) Zoom	Lecture: 10:50-11:50 Lecture HRC 155 Procedural abstraction; Local specifications Office hour: 12:30-13:30 OH (Jonathan) Allen 4th floor Office hour: 14:45-15:45 OH (Kyle) Gates 151 Office hour: 18:00-19:00 OH (Raio) Zoom	Section: Section Method Specifications	Lecture: 10:50-11:50 Lecture HRC 155 Testing Homework: 23:59 HW0 due
Lecture: 10:50-11:50 Lecture HRC 155 More Testing Office hour: 14:30-15:30 OH (James) Allen 440 and Zoom	Office hour: 11:00-12:00 OH (Emily) Allen 3rd floor Office hour: 13:30-14:30 OH (Ethan) Gates 150 Office hour: 14:30-15:30 OH (Kyle) Zoom	Lecture: 10:50-11:50 Lecture HRC 155 Error Handling; Interactive Programs Office hour: 12:30-13:30 OH (Jonathan) Allen 4th floor Office hour: 14:45-15:45 OH (Kyle) Gates 151 Office hour: 18:00-19:00 OH (Raio) Zoom Homework: 23:59 HW1 due	Section: Section Testing	Holiday: Independence Day (observed)

July
Monday	Tuesday	Wednesday	Thursday	Friday
Lecture: 10:50-11:50 Lecture HRC 155 Reasoning; Digression on Type Checking Office hour: 14:30-15:30 OH (James) Allen 440 and Zoom	Office hour: 11:00-12:00 OH (Emily) Allen 3rd floor Office hour: 13:30-14:30 OH (Ethan) Gates 150 Office hour: 14:30-15:30 OH (Kyle) Zoom	Lecture: 10:50-11:50 Lecture HRC 155 Floyd-Hoare Logic Office hour: 12:30-13:30 OH (Jonathan) Allen 4th floor Office hour: 14:45-15:45 OH (Kyle) Gates 151 Office hour: 18:00-19:00 OH (Raio) Zoom	Section: Section Floyd Logic	Lecture: 10:50-11:50 Lecture HRC 155 Loop Invariants
Holiday: Instructor travel	Office hour: 11:00-12:00 OH (Emily) Allen 3rd floor Office hour: 13:30-14:30 OH (Ethan) Gates 150 Office hour: 14:30-15:30 OH (Kyle) Zoom	Lecture: 10:50-11:50 Lecture HRC 155 Abstract Data Types (ADTs) Office hour: 12:30-13:30 OH (Jonathan) Allen 4th floor Office hour: 14:45-15:45 OH (Kyle) Gates 151 Office hour: 18:00-19:00 OH (Raio) Zoom	Section: Section Loops and ADTs	Lecture: 10:50-11:50 Lecture HRC 155 More ADTs
Lecture: 10:50-11:50 Lecture HRC 155 Midterm practice Office hour: 14:30-15:30 OH (James) Allen 440 and Zoom	Office hour: 11:00-12:00 OH (Emily) Allen 3rd floor Office hour: 13:30-14:30 OH (Ethan) Gates 150 Office hour: 14:30-15:30 OH (Kyle) Zoom	Lecture: 10:50-11:50 Lecture HRC 155 More midterm practice Office hour: 12:30-13:30 OH (Jonathan) Allen 4th floor Office hour: 14:45-15:45 OH (Kyle) Gates 151 Office hour: 18:00-19:00 OH (Raio) Zoom	Section: Section Midterm review	Exam: 10:50-11:50 Midterm exam (in class)
Lecture: 10:50-11:50 Lecture HRC 155 Subtyping Office hour: 14:30-15:30 OH (James) Allen 440 and Zoom	Office hour: 11:00-12:00 OH (Emily) Allen 3rd floor Office hour: 13:30-14:30 OH (Ethan) Gates 150 Office hour: 14:30-15:30 OH (Kyle) Zoom	Lecture: 10:50-11:50 Lecture HRC 155 Equality Office hour: 12:30-13:30 OH (Jonathan) Allen 4th floor Office hour: 14:45-15:45 OH (Kyle) Gates 151 Office hour: 18:00-19:00 OH (Raio) Zoom	Section: Section Subtyping and Equality	Lecture: 10:50-11:50 Lecture HRC 155 Generics

August
Monday	Tuesday	Wednesday	Thursday	Friday
Lecture: 10:50-11:50 Lecture HRC 155 Web development circa 1995 Office hour: 14:30-15:30 OH (James) Allen 440 and Zoom	Office hour: 11:00-12:00 OH (Emily) Allen 3rd floor Office hour: 13:30-14:30 OH (Ethan) Gates 150 Office hour: 14:30-15:30 OH (Kyle) Zoom	Lecture: 10:50-11:50 Lecture HRC 155 Catch up; Intro to Design Patterns Office hour: 12:30-13:30 OH (Jonathan) Allen 4th floor Office hour: 14:45-15:45 OH (Kyle) Gates 151 Office hour: 18:00-19:00 OH (Raio) Zoom	Section: Section Generics	Lecture: 10:50-11:50 Lecture HRC 155 Dafny Homework: 23:59 HW Inventory due
Lecture: 10:50-11:50 Lecture HRC 155 Design Patterns (2) Office hour: 14:30-15:30 OH (James) Allen 440 and Zoom	Office hour: 11:00-12:00 OH (Emily) Allen 3rd floor Office hour: 13:30-14:30 OH (Ethan) Gates 150 Office hour: 14:30-15:30 OH (Kyle) Zoom	Lecture: 10:50-11:50 Lecture HRC 155 Web development with Javascript Office hour: 12:30-13:30 OH (Jonathan) Allen 4th floor Office hour: 14:45-15:45 OH (Kyle) Gates 151 Office hour: 18:00-19:00 OH (Raio) Zoom	Section: Section TBD	Lecture: 10:50-11:50 Lecture HRC 155 More web development Homework: 23:59 HW Inventory++ due
Lecture: 10:50-11:50 Lecture HRC 155 Design Patterns (3) Office hour: 14:30-15:30 OH (James) Allen 440 and Zoom	Office hour: 11:00-12:00 OH (Emily) Allen 3rd floor Office hour: 13:30-14:30 OH (Ethan) Gates 150 Office hour: 14:30-15:30 OH (Kyle) Zoom	Lecture: 10:50-11:50 Lecture HRC 155 Victory Lap + Final exam review Office hour: 12:30-13:30 OH (Jonathan) Allen 4th floor Office hour: 14:45-15:45 OH (Kyle) Gates 151 Office hour: 18:00-19:00 OH (Raio) Zoom	Section: Section Final exam review	Exam: 10:50-11:50 Final exam (in class)