University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Nondeterminism: many questions and (maybe) some answers

  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

Nondeterminism: many questions and (maybe) some answers

Download to your calendar using vCal

If you have a question about this talk, please contact Sam Staton .

Denotational semantics of nondeterminism is an old subject, but many fundamental problems remain, such as modelling bisimulation and fairness. This talk is a survey of the state of the art in these problems.

On the one hand, we see counterexamples that pinpoint the difficulties. On the other, I will indicate some lines of investigation that appear promising, using recent technology such as game semantics and operational reasoning methods.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Zoom (Meeting ID 916 7928 3736, passcode 844306) Online (link provided closer to the date if you register here: https://forms.office.com/e/S5fUnGBgjj) Stephen Roskill Memorial Lecture

Other talks

A novel hereditary encephalopathy in four related Labrador Retrievers associated with a missense variant in the ALDH5A1 gene’ Disentangling preventative & ejective AGN feedback on a population basis with simulations, observations & machine learning Discovery Investigations: Science, Empire and the Making of the British South Atlantic Title to follow Cambridge RNA Club - IN PERSON Optimal metric and approximation of free boundary minimal surfaces
 

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