Sections are held on:
 Thursdays, 2pm3pm in Cruft 403.
 Fridays, 1pm2pm in MD 223.
The following is a list of the sections that were held, and the topic/problems covered. Practice problems will be released a day or two before the first section.
Videos of the lecture and Thursday's section are available here. The same site also provides live streams for lecture.
Date  Topic  Practice problems 

2/112/12  Lectures 15: Induction Smallstep operational semantics Largestep operational semantics IMP 

2/182/19  Lectures 67: Denotational semantics Lambdacalc basics 
PDF and solutions 
2/252/26  Lectures 89: Lambda calculus encodings and Recursion Definitional translations Midterm review 
PDF and solutions 
3/33/4  Lectures 1011: References and continuations Simplytyped lambda calculus Type soundness 
PDF and solutions 
3/103/11  Lecture 13: More types 
PDF and solutions 
3/243/25  Lectures 1415: Type inference Parameteric Polymorphism Records and Subtyping 
PDF and solutions 
3/314/1  Lectures 1617: CurryHoward isomorphism Existential types Substructural type systems 
PDF and solutions 
4/74/8  Lectures 1819: Algebraic structures Logic programming Environment semantics 
PDF and solutions haskellexamples.hs, Prolog code, Datalog code. 
4/144/15  Lectures 2021: Concurrency 
PDF and solutions 
4/214/22  Lectures 2223: Dynamic types Lambda calculus machines 
PDF and solutions 
4/284/29  Lecture 24: Controlflow analysis Final exam review 
PDF and solutions 