![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Zohreh Shams, AI Group, University of Cambridge
Friday 03 May 2019, 12:00-13:00
Languages* in Formal Reasoning: Accessibility vs. Formality
- đ¤ Speaker: Zohreh Shams, AI Group, University of Cambridge
- đ Date & Time: Friday 03 May 2019, 12:00 - 13:00
- đ Venue: FW26, Computer Laboratory
Questions? Contact
Andrew Caines
Abstract
(* Symbolic, natural, diagrammatic, mathematical, etc.)
Modelling 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 is paramount. Thus, modelling and formal reasoning is required in order to convey knowledge unambiguously and correctly. Whilst mathematical modelling adds great rigour, it is opaque to many of the stakeholders. In this talk I discuss alternative languages that in combination can offer both formality and accessibility.
Series This talk is part of the NLIP Seminar Series series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge Centre for Data-Driven Discovery (C2D3)
- Cambridge Forum of Science and Humanities
- Cambridge Language Sciences
- Cambridge talks
- Chris Davis' list
- Computer Education Research
- Computing Education Research
- Department of Computer Science and Technology talks and seminars
- FW26, Computer Laboratory
- Graduate-Seminars
- Guy Emerson's list
- Interested Talks
- Language Sciences for Graduate Students
- ndk22's list
- NLIP Seminar Series
- ob366-ai4er
- PMRFPS's
- rp587
- School of Technology
- Simon Baker's List
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.