本卷包含第二十届EACSL计算机科学逻辑年会(CSL)联席会议和第二十届ACM/IEEE计算机科学逻辑研讨会(LICS)的会议记录。CSL是欧洲计算机科学逻辑协会(EACSL)的年度会议,旨在为研究活动涉及逻辑的计算机科学家以及从事计算机科学重要问题的逻辑学家提供服务。LICS是计算机科学中与逻辑相关的理论和实践主题的年度国际论坛。每隔3-4年,LICS都会参加联邦逻辑会议(FLoC)。鉴于FLoC将于2014年7月作为维也纳逻辑夏令营(VSL)的一部分举行,CSL和LICS的组织者选择将这些会议的2014年版合并为FLoC和VSL内的一项活动。因此,2014年,联合会议有一个项目委员会、一个项目和一个会议记录。