Hans Zantema: Making a MOOC

Event Details

To make my lectures Automated Reasoning more accessible worldwide, I started developing a series of MOOCs (massive open online course). Professional facilities are provided by EIT Digital and Coursera. At the moment 21 lectures have been recorded, each covering around 10 minutes, by which the first MOOC on satisfiability is nearly finished. Roughly this MOOC covers the same material on SAT/SMT as in my course Automated Reasoning, being around 40% of the course. In the talk this experience will be discussed, in particular comparing this format with usual teaching. Also one or two of the lectures will be shown.