会议

CSL公司

计算机科学逻辑

dblp中的CSL 会议网站

体积

LIPIcs,第288卷

第32届EACSL计算机科学逻辑年会(CSL 2024)

CSL 20242024年2月19日至23日,意大利那不勒斯

编辑:阿尼埃洛·穆拉诺和亚历山德拉·席尔瓦

体积

LIPIcs,第252卷

第31届EACSL计算机科学逻辑年会(CSL 2023)

CSL 20232023年2月13日至16日,波兰华沙

编辑:Bartek Klin和Elaine Pimentel

体积

LIPIcs,第216卷

第30届EACSL计算机科学逻辑年会(CSL 2022)

CSL 20222022年2月14日至19日,德国哥廷根(虚拟会议)

编辑:弗洛林·马内亚(Florin Manea)和亚历克斯·辛普森(Alex Simpson)

体积

LIPIcs,第183卷

第29届EACSL计算机科学逻辑年会(CSL 2021)

CSL 20212021年1月25日至28日,斯洛文尼亚卢布尔雅那(虚拟会议)

编辑:克里斯特尔·拜尔和让·古鲍尔特·拉雷克

体积

LIPIcs,第152卷

第28届EACSL计算机科学逻辑年会(CSL 2020)

CSL 2020,2020年1月13日至16日,西班牙巴塞罗那

编辑:玛丽贝尔·费尔南德斯和安卡·穆斯科尔

体积

LIPIcs,第119卷

第27届EACSL计算机科学逻辑年会(CSL 2018)

2018年9月4日至7日,英国伯明翰CSL

编辑:Dan R.Ghica和Achim Jung

体积

LIPIcs,第82卷

第26届EACSL计算机科学逻辑年会(CSL 2017)

CSL 2017年8月20日至24日,瑞典斯德哥尔摩

编辑:Valentin Goranko和Mads大坝

体积

LIPIcs,第62卷

第25届EACSL计算机科学逻辑年会(CSL 2016)

2016年8月29日至9月1日,法国马赛CSL 2016

编辑:Jean-Marc Talbot和Laurent Regnier

体积

LIPIcs,第41卷

第24届EACSL计算机科学逻辑年会(CSL 2015)

CSL 2015年9月7日至10日,德国柏林

编辑:斯蒂芬·克鲁泽

体积

LIPIcs,第23卷

计算机科学逻辑2013(CSL 2013)

CSL 2013年9月2日至5日,意大利都灵

编辑:西蒙娜·隆奇·德尔拉·罗卡

体积

LIPIcs,第16卷

计算机科学逻辑(CSL’12)-第26届国际研讨会/第21届EACSL年会

CSL 2012年9月3日至6日,法国枫丹白露

编辑:帕特里克·塞吉尔斯基和阿诺德·杜兰德

体积

LIPIcs,第12卷

计算机科学逻辑(CSL'11)-第25届国际研讨会/EACSL第20届年会

CSL 2011年9月12日至15日,挪威卑尔根

编辑:马克·贝泽姆

问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件