1、ICALP 2013：理论计算机科学的盛会

ICALP 2013：理论计算机科学的盛会

1. ICALP简介

ICALP（国际自动机、语言和编程学术会议）是欧洲理论计算机科学领域最知名的系列科学会议。首届ICALP于1972年7月3 - 7日在法国巴黎举行，当时有51场演讲。同年，欧洲理论计算机科学协会（EATCS）成立，此后ICALP便成为了EATCS的旗舰会议。

2. ICALP 2013概况

2.1 会议基本信息

ICALP 2013是该系列会议的第40届（1973年未举办），首次在原苏联地区举行，具体地点是拉脱维亚的里加，于2013年7月8 - 12日在拉脱维亚大学举办。本次会议的议程分为三个主题：
- 主题A ：算法、复杂性和博弈
- 主题B ：逻辑、语义、自动机和编程理论
- 主题C ：网络计算基础：模型、算法和信息管理

2.2 论文提交与筛选

针对会议的征稿通知，共收到436篇论文投稿，其中14篇后来被撤回。三个程序委员会经过努力筛选，从249篇投稿中为主题A选出71篇论文，从113篇投稿中为主题B选出33篇论文，从60篇投稿中为主题C选出20篇论文，平均录用率为29%。筛选的依据是论文的原创性、质量以及与理论计算机科学的相关性。虽然投稿论文的质量都很高，但由于会议时间限制在5天，许多被拒论文虽值得发表却无法收录。

2.3 奖项设置

• 最佳论文奖 ：
  • 主题