Date and Time:Wednesday, 14 November 2007, 15:30-ca. 16:30

Speaker:Murdoch James Gabbay (Heriot-Watt University)

Title: Nominal techniques: present and future prospects.

Abstract:

I'll talk about the present state of research into nominal techniques - or at least that part which I'm pursuing myself - and the future prospects I see for it. See also my homepage.