概述

CSL是欧洲计算机科学逻辑协会（EACSL）旨在为其研究活动涉及逻辑的计算机科学家以及从事计算机科学重要问题的逻辑学家提供。

低收入国家是计算机科学中与逻辑相关的理论和实践主题的年度国际论坛。这两个系列会议的组织者选择将这些会议的2014年版本加入到联邦逻辑会议（FLoC）的单一活动中，该会议将成为2014年维也纳逻辑之夏因此，在2014年，这些会议将有一个项目委员会、一个项目和一个会议记录。目前尚未决定在2014年后共同持有CSL和LICS。

有关CSL-LICS 2014的详细信息，请访问CSL-LICS 2014网站。

文件征集

文件征集