This invite is about MIRIx, a set of local events affiliated to the Machine Intelligence Research Institute (based in California) – one of the worlds best known research organisations of “Friendly AI“. I am the volunteer organiser for “MIRIx Bristol”, and I’d like to get our first meeting off the ground. MIRIx will be held at the University of Bristol in South West of the United Kingdom.
We are planning to have our first meeting in October 2014 (date to be confirmed), and if the reader is interested in attending, then please do send an email to me. We will have to vet applications for attendence. This is partly due to security, as the event will be held on university premises, and partly because numbers will be limited.
Although the event is likely to be made up largely of University of Bristol staff and students, we may well have visitors from outside of the university – particularly those who are involved in Friendly AI research / MIRI / “Less Wrong” Community.
We will be talking about the combination of Probability and Logic, in particular we will discuss the paper:
“Definability of Truth in Probabilistic Logic” by Christiano, Yudkowsky, Herreshoff, Barasz
We will also discuss work on Bayesian Logic Networks by the famous Stuart Russell.
We are hoping to have snacks and drink available (for free, thanks to sponsorship). However, this is to be confirmed.
This blog post will be updated when the date is confirmed and when the food & drink sponsorship is confirmed. Thank you for your patience.