1、2014 年国际计算机科学研讨会亮点回顾

2014 年国际计算机科学研讨会亮点回顾

会议概况

2014 年 6 月 7 日至 11 日，第九届俄罗斯国际计算机科学研讨会（CSR 2014）在莫斯科举行，由莫斯科连续数学教育中心主办。这是该系列国际会议的第九场，此前分别在圣彼得堡、叶卡捷琳堡、新西伯利亚、喀山、下诺夫哥罗德等地举办过。

开幕式演讲由 Shafi Goldwasser 进行，另外还有六场特邀全会演讲，演讲者包括 Mark Braverman、Volker Diekert、Martin Grohe、Benjamin Rossman、Alexei Semenov 和 Igor Walukiewicz。

本次研讨会收到了 76 篇论文，程序委员会从中挑选了 27 篇进行展示并收录在会议论文集中。研讨会的主题广泛，涵盖了理论计算机科学及其应用的多个领域。

奖项与评审

和往常一样，Yandex 提供了最佳论文奖。奖项获得者由程序委员会评选，但为避免潜在的利益冲突，评选过程不涉及程序委员会主席，而是由 Edward A. Hirsch 主持。获奖论文如下：
- 最佳论文奖：Akinori Kawachi、Benjamin Rossman 和 Osamu Watanabe 的《The Query Complexity of Witness Finding》
- Konrad Schwerdtfeger 的《The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits》

评审过程使用了 Andrei Voronkov 创建的 EasyChai