理论计算机科学

第10届意大利理论计算机科学会议（ICTCS2007）于2007年10月3—5日在罗马举行。前几届会议分别于1972、1974、1989、1992、1995、2001、2003及2005年在比萨曼图亚、普拉托等意大利城市举行。本届会议涉及了理论计算机科学的所有领域，讨论了理论计算机科学的最新进展。涉及的主题范围：算法的设计与分析、计算的逻辑与数学文献、编程语言语义学。