CSE 331 Summer 2026 Schedule

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

July
Monday	Tuesday	Wednesday	Thursday	Friday
10:50-11:50 Lecture HRC 155 TBD 14:30-15:30 OH (James) Allen 440 and Zoom	11:00-12:00 OH (Emily) Allen 3rd floor 13:30-14:30 OH (Ethan) Gates 150 14:30-15:30 OH (Kyle) Zoom	09:30-10:30 OH (Raio) Gates 150 and Zoom 10:50-11:50 Lecture HRC 155 TBD 12:30-13:30 OH (Jonathan) Allen 4th floor 14:45-15:45 OH (Kyle) Gates 151 18:00-19:00 OH (Raio) Zoom	Section TBD	10:50-11:50 Lecture HRC 155 TBD
Instructor travel	11:00-12:00 OH (Emily) Allen 3rd floor 13:30-14:30 OH (Ethan) Gates 150 14:30-15:30 OH (Kyle) Zoom	09:30-10:30 OH (Raio) Gates 150 and Zoom 10:50-11:50 Lecture HRC 155 TBD 12:30-13:30 OH (Jonathan) Allen 4th floor 14:45-15:45 OH (Kyle) Gates 151 18:00-19:00 OH (Raio) Zoom	Section TBD	10:50-11:50 Lecture HRC 155 TBD
10:50-11:50 Lecture HRC 155 TBD 14:30-15:30 OH (James) Allen 440 and Zoom	11:00-12:00 OH (Emily) Allen 3rd floor 13:30-14:30 OH (Ethan) Gates 150 14:30-15:30 OH (Kyle) Zoom	09:30-10:30 OH (Raio) Gates 150 and Zoom 10:50-11:50 Lecture HRC 155 TBD 12:30-13:30 OH (Jonathan) Allen 4th floor 14:45-15:45 OH (Kyle) Gates 151 18:00-19:00 OH (Raio) Zoom	Section Midterm review	10:50-11:50 Midterm exam (in class)
10:50-11:50 Lecture HRC 155 TBD 14:30-15:30 OH (James) Allen 440 and Zoom	11:00-12:00 OH (Emily) Allen 3rd floor 13:30-14:30 OH (Ethan) Gates 150 14:30-15:30 OH (Kyle) Zoom	09:30-10:30 OH (Raio) Gates 150 and Zoom 10:50-11:50 Lecture HRC 155 TBD 12:30-13:30 OH (Jonathan) Allen 4th floor 14:45-15:45 OH (Kyle) Gates 151 18:00-19:00 OH (Raio) Zoom	Section TBD	10:50-11:50 Lecture HRC 155 TBD

August
Monday	Tuesday	Wednesday	Thursday	Friday
10:50-11:50 Lecture HRC 155 TBD 14:30-15:30 OH (James) Allen 440 and Zoom	11:00-12:00 OH (Emily) Allen 3rd floor 13:30-14:30 OH (Ethan) Gates 150 14:30-15:30 OH (Kyle) Zoom	09:30-10:30 OH (Raio) Gates 150 and Zoom 10:50-11:50 Lecture HRC 155 TBD 12:30-13:30 OH (Jonathan) Allen 4th floor 14:45-15:45 OH (Kyle) Gates 151 18:00-19:00 OH (Raio) Zoom	Section TBD	10:50-11:50 Lecture HRC 155 TBD
10:50-11:50 Lecture HRC 155 TBD 14:30-15:30 OH (James) Allen 440 and Zoom	11:00-12:00 OH (Emily) Allen 3rd floor 13:30-14:30 OH (Ethan) Gates 150 14:30-15:30 OH (Kyle) Zoom	09:30-10:30 OH (Raio) Gates 150 and Zoom 10:50-11:50 Lecture HRC 155 TBD 12:30-13:30 OH (Jonathan) Allen 4th floor 14:45-15:45 OH (Kyle) Gates 151 18:00-19:00 OH (Raio) Zoom	Section TBD	10:50-11:50 Lecture HRC 155 TBD
10:50-11:50 Lecture HRC 155 TBD 14:30-15:30 OH (James) Allen 440 and Zoom	11:00-12:00 OH (Emily) Allen 3rd floor 13:30-14:30 OH (Ethan) Gates 150 14:30-15:30 OH (Kyle) Zoom	09:30-10:30 OH (Raio) Gates 150 and Zoom 10:50-11:50 Lecture HRC 155 TBD 12:30-13:30 OH (Jonathan) Allen 4th floor 14:45-15:45 OH (Kyle) Gates 151 18:00-19:00 OH (Raio) Zoom	Section Final exam review	10:50-11:50 Final exam (in class)