1、代数信息学会议与加权自动机学习综述

代数信息学会议与加权自动机学习综述

1. 会议概述

2015 年 9 月 1 日至 4 日，第六届代数信息学国际会议（CAI 2015）在德国斯图加特举行。该会议涵盖了与计算机科学相关的广泛代数主题，从加权逻辑和自动机到密码学等。会议收录了程序委员会选定的 15 篇常规论文以及四位主旨演讲者的贡献。总共收到 25 篇投稿，至少由三位程序委员会成员进行评审，录用率为 60%。程序委员会由 18 位国际领先的研究人员组成，他们覆盖了会议所代表的广泛主题领域。

CAI 系列会议始于 2005 年，由希腊的 Symeon Bozapalidis 发起。除了 2005 年的首届会议，第二届和第三届会议（2007 年和 2009 年）在希腊塞萨洛尼基举行，由 Symeon Bozapalidis 和 George Rahonis 主持。第四届会议由 Franz Winkler 在奥地利林茨组织，2013 年的会议在法国的 Porquerolles 岛举行，由 Traian Muntean、Dimitrios Poulakis 和 Robert Rolland 组织。第六届会议由国际指导委员会授予斯图加特举办。

以下是会议的部分致谢对象：
- 指导委员会：感谢授予 CAI 2015 在斯图加特举办。
- 程序委员会和外部评审人员：努力评估投稿论文的质量。
- 主旨演讲者：Volker Diekert、Jarkko Kari、Werner Kuich 和 Mehryar Mohri，分享见解并做出贡献。
- 当地组织团队：Fabienne Braune、Sybille Laderer、Daniel Quernheim 和 Nina Seemann，不懈努力