Languages* in Formal Reasoning: Accessibility vs. Formality

Add to your list(s) Download to your calendar using vCal

• Zohreh Shams, AI Group, University of Cambridge
• Friday 03 May 2019, 12:00-13:00
• FW26, Computer Laboratory.

If you have a question about this talk, please contact Andrew Caines.

(* 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.

This talk is part of the NLIP Seminar Series series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge Big Data
• Cambridge Forum of Science and Humanities
• Cambridge Language Sciences
• Chris Davis' list
• Computer Laboratory talks
• FW26, Computer Laboratory
• Graduate-Seminars
• Guy Emerson's list
• Language Sciences for Graduate Students
• NLIP Seminar Series
• PMRFPS's
• Simon Baker's List
• Trust & Technology Initiative - interesting events
• bld31
• ndk22's list
• rp587

Note that ex-directory lists are not shown.