BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Reasoning about Linear Systems - Rob Arthan (Lemma 1)
DTSTART:20071113T130000Z
DTEND:20071113T140000Z
UID:TALK8509@talks.cam.ac.uk
CONTACT:Thomas Tuerk
DESCRIPTION:Speaker: Rob Arthan\n\nWe consider reasoning about linear syst
 ems expressed as block diagrams in a general relational setting. Using the
  notion of additive relation borrowed from homological algebra\, the theor
 y of weakest pre-conditions for these systems turns out to be very tractab
 le and gives simple Hoare-style rules for the block diagram constructors. 
 Many natural choices for the logical language used to express properties o
 f linear systems admit a high degree of automation.
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR