Differences

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

--- calendar [2007/11/01 20:30] – franck
+++ calendar [2007/11/23 13:50] (current) – franck
@@ Line 83: / Line 83: @@
 A solution to the readers-writers problem in Java can be found
 [[readers-writers|here]].
 ===== October 9 =====
-[[ns1:presentations|Presentations]]
+[[presentations:start|Presentations]]
 ===== October 11 =====
-[[ns1:presentations|Presentations]]
+[[presentations:start|Presentations]]
 ===== October 16 =====
-[[ns1:presentations|Presentations]]
+[[presentations:start|Presentations]]
 ===== October 18 =====
-[[ns1:presentations|Presentations]]
+[[presentations:start|Presentations]]
 ===== October 23 =====
-[[presentations|Presentations]]
+[[presentations:start|Presentations]]
 The sleeping barber problem can be found in Section 4.2
@@ Line 130: / Line 131: @@
 [[http://stwww.weizmann.ac.il/g-cs/benari/articles/santa-claus-problem.pdf|How to Solve the Santa Claus Problem]].
 //Concurrency: Practice & Experience//, 10(6):485-496, May 1998.
@@ Line 135: / Line 137: @@
 ===== November 1 =====
 Edmund M. Clarke and Jeannette M. Wing.
 [[http://dx.doi.org/10.1145/242223.242257|Formal methods: state of the art and future directions]].
@@ Line 148: / Line 150: @@
 ===== November 6 =====
-[[ns1:presentations|Presentations]]
+[[presentations:start|Presentations]]
 ===== November 8 =====
-[[ns1:presentations|Presentations]]
+Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park and Flavio Lerda. [[http://dx.doi.org/10.1023/A:1022920129859|Model Checking Programs]]. //Automated Software Engineering//, 10(2): 203-232, April 2003.
+More information about Java PathFinder can be found
+[[http://javapathfinder.sourceforge.net|here]].
 ===== November 13 =====
-[[ns1:presentations|Presentations]]
+[[presentations:start|Presentations]]
+===== November 15 =====
+[[presentations:start|Presentations]]
+===== November 20 =====
+[[presentations:start|Presentations]]
+===== November 22 =====
+More information about JPF can be found
+[[jpf:start|here]].  Students are encouraged
+to add information.
 ===== November 27 =====
-[[ns1:presentations|Presentations]]
+[[presentations:start|Presentations]]
 ===== November 29 =====
-[[ns1:presentations|Presentations]]
+[[presentations:start|Presentations]]
 ===== December 4 =====
-[[ns1:presentations|Presentations]]
+[[presentations:start|Presentations]]
+===== December 6 =====
+[[presentations:start|Presentations]]