Active Learning Sheets for A Beginner's Course on Reasoning about Imperative Programs Kung-Kiu Lau School of Computer Science The University of Manchester Manchester M13 9PL United Kingdom kung-kiu@cs.man.ac.uk Abstract: We decided to support active learning on a beginner's course on Reasoning about Imperative Programs because our students find the material challenging. Because of the large class size and resource implications, we opted for a simple approach: the modified lecture format. We devised active learning sheets for use during lectures. Each sheet consisted of short questions which covered the main points of the lecture. Students had to answer the questions during the lectures as they listened. In this paper we describe how we designed the active learning sheets for this particular course, and the students' (positive) response to them.