计算理论的进展

  • 椅子
    • 加布里埃尔·伊斯特拉特(Gabriel Istrate),罗马尼亚蒂米索拉奥地利研究所
    • Florin Manea,Christian-Albrechts-University,基尔,德国
    • 米尔恰·马林(Mircea Marin),罗马尼亚蒂米苏拉西大学
  • 话题
    • 数据结构和算法
    • 组合优化
    • 形式语言与词的组合学
    • 计算机科学中的图论和组合方法
    • 算法范例,包括分布式、在线、近似、概率、游戏理论算法
    • 计算复杂性理论,包括结构复杂性、布尔复杂性、通信复杂性、平均案例复杂性、去量化和属性测试
    • 复杂性的逻辑方法,包括有限模型理论
    • 算法和计算学习理论
    • 可计算性理论方面,包括分析中的可计算性和算法信息理论
    • 证明复杂性
    • 计算社会选择与博弈论
    • 新的计算范式:CNN计算、量子、全息和其他非标准的可计算性方法
    • 随机方法、随机图、阈值现象和典型案例复杂性
    • 自动机理论和其他形式模型,特别是与形式验证方法有关的模型检查和运行时验证
    • 理论应用,包括无线和传感器网络、计算生物学和计算经济学
    • 实验算法
  • PC成员
    • 乔尔·戴(基尔)
    • 加布里埃尔·伊斯特拉特(蒂米索拉)
    • 弗罗林·马内亚(基尔)
    • 米尔恰·马林(蒂米索拉)
    • 巴纳比·马丁(达勒姆)
    • 伊戈尔·波塔波夫(利物浦)
    • 马库斯·施密德(特里尔)
    • Henning Schnoor(基尔)