我们小组成员组织的活动

• SAT-等级2008（隶属于2008年SAT）
• 2010年SAT等级（隶属于FLoC/SAT’10）
• 命题证明复杂性研讨会（隶属于FLoC/SAT’10）
• SPA 2011：实际应用SAT（隶属于SAT’11）
• 图灵机器和Lambda-Calculus 75年学术研讨会
• Deduktionstreffen 2011年
• 2012年SAT挑战赛（隶属于SAT’12）
• 2012年SVARM和验证联合研讨会（隶属于IJCAR’12）

我们团队开发的软件

• 有限责任公司：查找C程序错误的工具（由Florian Merz、Stephan Falke和Carsten Sinz编写）
• KITTeL公司：C程序的终止证明（由Stephan Falke撰写）
• R查看器：用于分析DPLL型SAT解算器中重启策略的工具（由Markus Iser编写）