Implementing Modular SOS ***TALK CANCELLED***

Christiano Braga

(Universidad Complutense de Madrid)

---see announcement in the PCV seminar series---
Thursday 2nd November 2006, 14:00
Board Room - in cooperation with the PCV Seminar
Department of Computer Science