BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY: Languages* in Formal Reasoning: Accessibility vs. Formality - Zoh
 reh Shams\, AI Group\, University of Cambridge
DTSTART:20190503T110000Z
DTEND:20190503T120000Z
UID:TALK120559@talks.cam.ac.uk
CONTACT:Andrew Caines
DESCRIPTION:(* Symbolic\, natural\, diagrammatic\, mathematical\, etc.)\n\
 nModelling modern high-technology systems is complex and involves multiple
  stakeholders. As these systems increasingly underpin our everyday lives\,
  and are often safety or security critical\, reasoning about correctness i
 s paramount. Thus\, modelling and formal reasoning is required in order to
  convey knowledge unambiguously and correctly. Whilst mathematical modelli
 ng adds great rigour\, it is opaque to many of the stakeholders. In this t
 alk I discuss alternative languages that in combination can offer both for
 mality and accessibility.\n
LOCATION:FW26\, Computer Laboratory
END:VEVENT
END:VCALENDAR