哥德堡的编程逻辑小组
Chalmers的编程方法小组（PMG）成立于1980年，作为一群对语义简单、干净感兴趣的人以及强大的语言。从这个共同的哲学三大已开发的研究线索：编程逻辑和马丁·洛夫类型理论；功能性的程序设计语言、其使用和实施；过程结石例如CCS。虽然研究已经多样化，但我们仍然共享开发工具和方法的共同目标导出正确且高效的程序。
当前工作的中心程序设计逻辑组是的想法编程的逻辑框架; 即形式系统的统一理论逻辑可以方便地表达。特别是，我们的大部分工作基于Martin-Löf的类型理论，该理论提供了框架。
- 成员
- 具有链接的成员和过去的成员个人页面。
- 编程逻辑研讨会
- 演讲人、标题以及即将进行的和过去的演讲摘要。
- 出版物
- 论文、技术报告、软件等，其中一些是可用的通过WWW和/或ftp。
- 协作
- 证明系统
- 我们现在的位置
- 计算机的位置、地址和电话/传真号码科学部。