University of Cambridge > Talks.cam > Trinity Mathematical Society > [TMS Symposium] Semantics

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

[TMS Symposium] Semantics

Download to your calendar using vCal

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:

Note that ex-directory lists are not shown.

Other lists

Seminar Room FG5, level 5 in the F & G wards, Addenbrooke's Hospital Quality Spares Centre Queen's Lecture Theatre, Emmanuel College, Cambridge

Other talks

CodeScaler: Scaling Code LLM Training and Test-Time Inference via Execution-Free Reward Models Title to be confirmed Group Work Rothschild Public Lecture | Forty years of causal inference: Report of a great-grandfather Title to be confirmed Online Causal Inference Seminar
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity