|
|
-
Helen Treharne gave an Overview of CSP||B at Aberystwyth University on 12 November 2007. Here are the slides from the seminar.
-
Helen Treharne and Steve Schneider participated in a Dagstuhl seminar on Rigorous Methods for Software Construction and Analysis organised by J-R. Abrial and Uwe Glaesser in May 2006. Here are the slides from their presentations: Chunks in CSP||B and Extending CSP||B.
-
N. Evans, H. Treharne and S. Schneider participated in the May, 2006 Refinement Network meeting held at Southampton. Here are the slides from their presentations: Future Plans for CSP||B and Consistency Checking using PVS.
-
Neil Evans gave a seminar in the Department of Computing, University of Surrey, December 2004. Slides from seminar.
-
Helen Treharne gave a seminar in the Department of Computing, University of Surrey, May 2004.
-
TCS-SOUP course on Combining B and CSP, Royal Holloway, University of London, March 2004. The following is a case study presented at the TCS-SOUP training course, March 2004: slides
-
A B workshop was held at Royal Holloway to promote the use of the B-Method and disseminate the current work on an CSP||B EPSRC funded project.
-
Steve Schneider gave a seminar on Communicating B machines at the University of Southampton, March 2003.
|
