BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Behaviour and Reasoning Description Language - Professor Antonio C
 erone\, University of Pisa
DTSTART:20190620T140000Z
DTEND:20190620T150000Z
UID:TALK126376@talks.cam.ac.uk
CONTACT:Mari Huhtala
DESCRIPTION:Although a large number of cognitive architectures have been d
 eveloped over the last decades\, such comprehensive\, computational models
  of the human mind are short of being integrated in the system and softwar
 e verification process. Moreover\, cognitive architecture are very complex
  and require a deep understanding of the notation and its semantics to be 
 used successfully.\nIn this seminar we first illustrate a basic language f
 or describing human behaviour and reasoning and present the cognitive arch
 itecture underlying the semantics of the language.\nThen we show how the h
 uman behaviour description can be combined with the model of the system wi
 th which the human interacts in order to analyse properties of the interac
 tive system.\n\n
LOCATION:Sir Arthur Marshall Room\, Engineering Design Centre\, CUED
END:VEVENT
END:VCALENDAR