BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Algebra of Parameterised Graphs - Andrey Mokhov\, Newcastle Univer
 sity
DTSTART:20140523T100000Z
DTEND:20140523T110000Z
UID:TALK52574@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:What happens if you spill a bucket of predicates over a graph?
  You get what I call a parameterised graph -- a mathematical beauty with i
 nteresting properties and applications. In this talk I will define paramet
 erised graphs algebraically and will show you how to use them for succinct
  specification\, verification and synthesis of concurrent systems\, with e
 xamples coming from hardware and software engineering. I will conclude by 
 highlighting several questions about parameterised graphs that I don't hav
 e an answer for\, hopefully getting fresh insights from the audience.
LOCATION:Small Lecture Theatre\, Microsoft Research Ltd\, 21 Station Road\
 , Cambridge\, CB1 2FB
END:VEVENT
END:VCALENDAR