Differences

This shows you the differences between two versions of the page.

--- calendar [2016/03/22 00:21] – franck
+++ calendar [2016/03/30 02:27] (current) – franck
@@ Line 180: / Line 180: @@
 //Title:// Software for Dependable Systems\\
-//Reading material:// \\
+//Reading material:// [[http://www.nap.edu/catalog/11923/software-for-dependable-systems-sufficient-evidence|Software for Dependable Systems: Sufficient Evidence?]]\\
 //Slides:// {{:public:lecture21.pdf|lecture21.pdf}}
@@ Line 187: / Line 187: @@
 Course evaluations (please bring a pencil)
-//Title:// \\
+//Title:// Structured Proofs\\
-//Reading material:// \\
+//Reading material:// [[http://dx.doi.org.ezproxy.library.yorku.ca/10.1007/s11784-012-0071-6|How to write a 21st century proof]]\\
 //Slides:// {{:public:lecture22.pdf|lecture22.pdf}}
 ===== March 24 =====
-//Lab:// work on your project and quiz on ??
+Lab cancelled due to weather.
+===== March 28 =====
+Quiz
+//Title:// Binary Decision Diagrams\\
+//Reading material:// pages 382-386, 392-405 of the textbook\\
+//Slides:// {{:public:lecture23.pdf|lecture23.pdf}}
+===== March 29 =====
+//Title:// Binary Decision Diagrams\\
+//Reading material:// pages 387-391 of the textbook\\
+//Slides:// {{:public:lecture24.pdf|lecture24.pdf}}
+===== March 31 =====
+//Lab:// work on your project and quiz
+===== April 4 =====
+Make up lab at 14:30.
+===== April 11 =====
+Final exam at 14:00-16:00 in ACE 006
+===== April 15 =====
+Last day to hand in your project