Schedule for CSC 530, Spring 2021

Date		Topic	Readings	Lab	Assignment due	Other
M	Mar 29	Hello, overview of LC semantics
W	31	No Class, Cesar Chavez Day
M	Apr 5	Paper discussion, LC semantics II			A1 due
W	7	QUIZ, Intuitionistic Propositional Logic II
M	12	Project Discussion, Sets & Induction			A2 due
W	14	QUIZ, Version Space Algebras
M	19	Project Discussion			A3 due
W	21	QUIZ, TBA
M	26	TBA			A4 due
W	28	TBA
M	May 3	TBA
W	5	QUIZ, TBA
M	10	TBA
W	12	TBA
M	17	TBA
W	19	QUIZ, TBA
M	24	TBA
W	26	TBA
M	31	TBA
W	Jun 2	TBA