BLAST是一个ERC资助的项目（合并拨款），将从2020年10月运行到2025年9月。
概率规划是贝叶斯统计建模的强大方法，特别是在样本空间复杂或无界（非参数）。这是因为统计模型可以用以下方式清楚地描述：精确但独立于推理算法。它以一种结果仍然可以解释的方式容纳复杂的模型。拟议研究的目标是为概率编程开发一个语义基础，以正确解释非参数方面，尤其是其中出现的对称性。最终目标有三个：
- 提出新的概率编程语言：更好的统计语言；
- 为概率程序设计新的通用推理方法；
- 为概率建立新的基础。
方法是在利用传统编程语言语义中的对称性的基础上，通过组合最近在形式语义和概率编程验证方面取得了成功。
