From July 8-14, MIRI will host its 3rd Workshop on Logic, Probability, and Reflection. The focus of this workshop will be the Löbian obstacle to self-modifying systems. Participants confirmed so far include: Andrew Critch (just finished his math PhD at...
