From bu Wed Oct 7 15:11:44 1992 Date: Wed, 7 Oct 92 15:11:39 +0100 From: bu (Burkhart Wolff) To: bernd, bkb, det, ejs, ewk, hof, jvh, liu, mawe, mfr, qian, ric, shi, wang@pc-labor.uni-Bremen.de Subject: next EXTRA-talks Cc: bu Status: RO Content-Length: 657 X-Lines: 34 Dear Extrafans, the following talks will be given in the next time: 1) 9.10. 15.00 Bu: Report from the STOP-Summerschool on Ameland. New Squiggols, Relational Calculi and Monads. 2) 16.10. 14.00-15.00 Richard: Termination-Proofs for TRS. Integration of RPO's and pol. Interpretations. 3) 16.10. 15.00-16.00 Liu: Timed Process Algebras. 4) 23.10. 15.00 Guest Liu Zhiming (Warwick): Fault Tolerance in tranformational developments 30.10. No meeting because of COMPASS. 5) 6.11. 15.00 Joern: Monads and Inheritance: Differences. 6) 13.11. 15.00 Liu: Refinement Calculus in HOL.