2012年11月11日至18日，我们举行了关于逻辑、概率和反思的第一次MIRI研讨会. 这次研讨会有四位与会者：
参与者致力于概率反思推理的基础。特别是，他们表明，一个仔细的形式化概率逻辑可以绕过许多经典悖论的自我参照。应用到元数学，这个框架提供了（似乎是）第一个真理的定义，这是表达足够用于反思推理。该框架应用于集合论，提供了一个基于集合论的概率集合论的实现不受限制尽管如此，理解仍然强大到足以将普通数学推理形式化（与类似的模糊集理论形成对比，模糊集理论最初是为此目的提出的，但后来发现与数学归纳法不兼容）。
这些结果表明，可以使用类似的方法来解决这个问题洛布定理，但这一点尚未得到探讨。这项工作将在今后几个月内完成。
与此同时，米里正在为这次选举做准备第二届MIRI逻辑、概率和反思研讨会，将于2013年4月3日至24日举行。本次研讨会将分为两个部分。第一部分（4月3日至11日）将汇集第一次研讨会的参与者和另外8名参与者：
- 斯图尔特·阿姆斯特朗（牛津大学）
- 丹尼尔杜威（牛津大学）
- Benja Fallenstein（维也纳大学）
- 帕特里克·拉维克泰尔（华盛顿大学麦迪逊分校）
- 雅各布·斯坦哈特（斯坦福大学）
- 乔楚园（加州大学伯克利分校）
- 安德鲁·克里奇（加州大学伯克利分校）
- 雅各布·泰勒（斯坦福大学）
第二部分（4月12日至24日）将由第一次研讨会的4名学员组成。
第二次研讨会的参与者将继续研究反思推理的基础，例如Gödelian反思障碍，以及反思主体的决策算法（例如。TDT公司).
此外，还初步计划在2013年夏季亚博体育官网和秋季举办更多的MIRI研究研讨会。
更新：现在可以获得描述第一次研讨会第一个结果的论文初稿在这里.
