We'll go over the new research guide http://intelligence.org/research-guide/ which discusses which mathematical knowledge is necessary for doing FAI research, and goes over the major lines of research done at MIRI.

We will also look at a new line of research called corrigibility. From the research guide: "As artificially intelligent systems grow in intelligence and capability, some of their available options may allow them to resist intervention by their programmers. We call an AI system “corrigible” if it cooperates with what its creators regard as a corrective intervention, despite default incentives for rational agents to resist attempts to shut them down or modify their preferences."

There will also be snacks and cats! Hope to see you there!