Date	Description
April 8	HW1 Due Classical Model Theory and Zero-One Law
April 22	HW2 Due Games and Expressibility
May 6	HW3 Due Logic and Complexity
May 13	HW4 Due Query Containment
May 20	HW5 Due Algorithmic FMT