Schedule for CSC 530, Spring 2017

Date		Topic	Readings	Lab	Assignment due	Other
M	Apr 3	Hello, overview of LC semantics
W	5	Quick intro to the SAT problem
M	10	Intuitionistic Propositional Logic I
W	12	Intuitionistic Propositional Logic II
F	14				Assignment 1 due
M	17	Max Zinkus, Kyle Piddington
W	19	Andrew, Ryan Gelston, Alanna Buss, Andrew Gilbert
M	24	TBA
W	26	TBA
F	28				Assignment 2 due
M	May 1	TBA
W	3	TBA
M	8	TBA
W	10	TBA
M	15	TBA
W	17	TBA
M	22	TBA
W	24	TBA
M	29	TBA
W	31	TBA
M	Jun 5	TBA
W	7	TBA