[TMS Symposium] Semantics

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

• Jean Pichon
• Sunday 21 February 2016, 12:45-13:15
• Winstanley Lecture Theatre, Trinity College.

If you have a question about this talk, please contact Jason Kwong.

Programs never do what you want them to do. To figure out what a program means, if you are lucky, you just have to wade through long, tedious, imprecise, and ambiguous prose documents. If you’re unlucky, the meaning is left as an exercise to the reader. In this talk, I will discuss how to formally give meaning to programs using elementary mathematics: sets, functions, and inductive relations. I will show how this makes it possible to actually make sure programs do what we want them to do.”

This talk is part of the Trinity Mathematical Society series.

This talk is included in these lists:

• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge talks
• Chris Davis' list
• Guy Emerson's list
• Interested Talks
• Trinity Mathematical Society
• Trust & Technology Initiative - interesting events
• Winstanley Lecture Theatre, Trinity College
• bld31
• ndk22's list
• ob366-ai4er
• rp587

Note that ex-directory lists are not shown.