Diary Entry: 2006-11-30 00:00:00 - 2006-11-30 00:00:00

Group Meeting: Holger gives the presentation "Introduction to Temporal Logic".

Temesghen gives a presentation in the Swansea Algebraic Specification Seminar on MSc thesis. Title: "Towards Semi Automated Equivalence Checking of Spi Calculus Processes".