Important: please arrive before 7pm, which is when the front door locks! If you arrive after 7pm, use the keypad beside the outside door and buzz 8882 to be let in.
Suhail Shergill will be presenting Semantics of Probabilistic Programs (https://www.cs.cornell.edu/~kozen/papers/ProbSem.pdf) by Dexter Kozen.
The paper defines semantics for probabilistic programs via two means. One, which is more operational and the other which is closer to the denotational semantics. The paper establishes their equivalence and makes a case that the denotational semantics expresses properties at a more "appropriate level of abstraction. The talk will work to illustrate some of these properties and hopefully make them more understandable.
Paper Link: https://www.cs.cornell.edu/~kozen/papers/ProbSem.pdf
Doors open at 6:30 pm, presentation will begin at 7:00 pm. There will be food and refreshments provided by Shopify.
Suhail Shergill is an R&D and innovation lead and active in the meetup and startup community here in Toronto. He organizes the Probabilistic Programming meetup ( http://www.meetup.com/Toronto-Probabilistic-Programming-Meetup/ ) and the Differential Privacy meetup ( http://www.meetup.com/Toronto-Differential-Privacy-Meetup/ ) and is active as a technical adviser.