CS 3234 - Logic and Formal Systems, Semester 1 2010-2011 Module Calendar News Brief Description Material Assignments Labs, Coq Homework and Quizzes More Module Information Calendar For lecture, tutorial, lab, office hour, quiz, exam times, and assignment and homework submission deadlines, see the calendar below. News Notes on Traditional Logic, second set of slides, first assignment and first Coq