Differences

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

--- calendar [2016/03/16 02:01] – franck
+++ calendar [2016/03/30 02:27] (current) – franck
@@ Line 171: / Line 171: @@
 //Reading material:// pages 373-379 of the textbook\\
 //Slides:// {{:public:lecture20.pdf|lecture20.pdf}}\\
-//Code:// {{:public:MaggieDogPoisonProblem.txt|MaggieDogPoisonProblem.java}}
+//Code:// {{:public:MaggieDogPoissonProblem.txt|MaggieDogPoisonProblem.java}}
 ===== March 17 =====
@@ Line 177: / Line 177: @@
 //Lab:// work on your project and quiz on Computation Tree Logic
+===== March 21 =====
+//Title:// Software for Dependable Systems\\
+//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}}
+===== March 22 =====
+Course evaluations (please bring a pencil)
+//Title:// Structured Proofs\\
+//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 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