PC主页
概述
证明复杂性关注于定理证明过程的复杂性。证明复杂性的中心问题是：给出一个定理F类（例如命题重言式）和证明系统P（P）（即通常由公理和规则组成的形式主义）F类在系统中P（P）? 此外，构造一个小证明有多困难？为了回答这些问题，人们开发了许多巧妙的技术；它们与计算复杂性中的复杂理论问题（例如著名的P与NP问题）、一阶算术理论（例如有界算术的分离理论）以及SAT求解中的实际问题有着紧密的联系。
受邀演讲人
- 阿尔伯特·阿塞里亚斯（UPC巴塞罗那）
- Jakob Nordström（KTH皇家理工学院）
- Pavel Pudlák（捷克科学院）
- Iddo Tzameret（清华大学）
要求演示
我们欢迎提供1-2页的摘要，这些摘要已完成、正在进行或如果明确说明，甚至是最近发表的关于证明复杂性的工作。特别感兴趣的主题是：
- 证明复杂性
- 有界算术
- SAT解决的关系
- 与计算复杂性的关系
提交指南
邀请对与研讨会相关的主题进行中的、完成的或（如果明确说明）最近发表的工作进行摘要。摘要将出现在会议上分发的电子会前会议记录中。
摘要（最多2页LNCS风格）将通过EasyChair以PDF格式以电子方式提交：
https://www.easychair.org/conferences/？conf=pc2014
接受的演示文稿必须由其中一位作者在研讨会上进行演示。
重要日期
| 摘要提交截止日期 |
2014年5月16日 |
| 作者通知 |
2014年6月2日 |
| 研讨会日期 |
2014年7月12日至13日 |
提供学生/博士后旅行助学金
对于想参加研讨会的学生或近期博士后，将提供一些旅费补助。将优先考虑在研讨会上提交论文的参与者。每个助学金价值约400欧元。
如果您感兴趣，请发送一封电子邮件，其中包含您的从属关系和提交（如果适用）的详细信息，发送给Olaf Beyersdorff（o.beyersdorf at leeds.ac.uk）。必须通过EasyChair提交。
组织机构
2014年证明复杂性项目委员会如下所示。