We will be holding a MIRIx workshop on July 18th, 2014, at the Tel-Aviv Makers Insurgence. If you've been reading the invites to regular Tel-Aviv meetups and wondering when we're finally going to teach you to build a Friendly AI that runs on cold fusion... we're sorry, but there is not yet any such thing as cold fusion.

We will, however, be investigating how to take probabilities over sentences in expressive logics (logical probability) for use in Updateless Decision Theory (and its associated Updateless Intelligence Metrics).