The notes which follow reflect the content of a two day tutorial which took place at the Fields Institute on 5/29 and 5/30 in 2009. Most of the content has existed in the literature for some time (primarily in the original edition of [10]) but has proved difficult to read and digest for various reasons. The only new material contained in these lectures concerns the notion of a fusion scheme presented in Sections 6 and 7 and even this has more to do with style than with mathematics. Our presentation of the iteration theorems follows [4]. The k-iterability condition is a natural extrapolation of what appears in [4] and [5], where the iteration theorem for the ℵ0-iterability condition is presented (with a weakening of < ω1-properness). The formulation of complete properness is taken from [8]. We stress, however, these definitions and theorems are really technical and/or stylistic modifications of the theorems and definitions of Shelah presented in [10]. Those interested in further reading on the topic of the workshop should consult: [1], [4], [5], [8], [10], and [12]. We would like to thank Ilijas Farah, Miguel Angel Mota, Paul Shafer, and the anonymous referee for their careful reading and suggesting a number of improvements.