CSL-LICS 2014：奥地利维也纳
托马斯·汉津格 ， 戴尔·米勒 :
第二十三届EACSL计算机科学逻辑年会（CSL）和第二十九届ACM/IEEE计算机科学逻辑年会（LICS）联席会议，CSL-LICS’14，2014年7月14日至18日，奥地利维也纳。 ACM公司 2014 ，国际标准图书编号 978-1-4503-2886-9
受邀演讲人
克里斯特尔·拜尔 ， 克莱门斯·杜斯拉夫 ， 萨沙·克吕佩尔霍尔茨 
:
权衡分析满足概率模型检查。 1:1-1:10 帕特里克·库索特 ， 拉迪亚·库索特 :
抽象解释：过去、现在和未来。 2:1-2:10
邀请的教程
奖项引用
投稿论文
帕罗什·阿齐兹·阿卜杜拉 ， 穆罕默德·法乌齐·阿提格 ， 彼得罗·霍夫曼 ， 理查·马 ， K.Narayan Kumar ， 帕特里克·托茨克 :
无限状态能量游戏。 7:1-7:10 贝尼亚米·阿卡托利 ， 乌戈·达尔·拉戈 :
贝塔系数的减少是不变的。 8:1-8:10 拉杰夫·阿鲁尔 ， 亚当·弗雷利奇 ， 穆昆德·拉霍塔曼 :
用于字符串转换的正则组合子。 9:1-9:10 尤金细辛 ， 米歇尔·布洛克莱特 ， 奥尔德里克·德戈尔 ， 卡塔琳·迪马 ， 穆春燕 :
时间逻辑中的渐近行为。 10:1-10:9 克里斯特尔·拜尔 ， 约阿希姆·克莱因 ， 萨沙·克吕佩尔霍尔茨 ， 萨沙·温德利希 :
线性时序逻辑重量监控：复杂性和可判定性。 11:1-11:10 巴勃罗·巴塞洛 ， 巴勃罗·穆尼奥斯 :
具有理性关系的图逻辑：单词组合学的作用。 12:1-12:10 本尼迪克特 ， 打捆机十类 ， 迈克尔·范登·布姆 :
保护逻辑中的有效插值和保存。 13:1-13:10 马可·贝尔纳多 ， 戴维德·桑吉奥吉 ， 瓦莱丽亚·维格努德利 :
关于钝化和高阶相互作用的分辨力。 14:1-14:10 保罗·比洛肯 ， 阿巴斯·艾达拉特 :
布朗运动和一般连续随机过程的区域理论方法。 15:1-15:10 阿奇姆·布卢门萨特 ， 托马斯·科尔科姆贝特 ， 丹尼斯·库珀伯格 ， Pawel公园 ， 迈克尔·范登·布姆 :
无限树上的双向成本自动机和成本逻辑。 16:1-16:9 米科拉伊·博扬奇克 ， 克里斯托夫·迪特曼 ， 斯蒂芬·克鲁泽 :
模态分解定理与模型检验 μ -微积分。 17:1-17:10 Benedikt Bollig公司 :
用参数化拓扑通信自动机的逻辑。 18:1-18:10 Benedikt Bollig公司 ， 保罗·加斯廷 ， 本杰明·蒙梅格 ， 马克·泽顿 :
加权卵石行走自动机的逻辑特征。 19:1-19:10 菲利波·邦奇 ， 丹妮拉·佩特里桑 ， 达米安·普斯 ， 侏罗纪腐朽 :
在一个无稽之谈的背景下，不断地模仿。 20:1-20:9 西蒙·波娃 ， 罗伯特·加尼安 ， 斯特凡·塞德尔 :
部分有序集上的模型检查存在逻辑。 21:1-21:10 托马斯·布拉兹迪尔 ， 斯特凡·基弗 ， 安东·库塞拉 ， 彼得·诺沃顿 ， Joost-Pieter Katoen公司 :
概率多计数器自动机中的零可达性。 22:1至22:10 罗曼·布伦吉尔 ， Jean-François Raskin女士 ， 马修·萨索拉斯 :
欧米茄规则游戏中可采性的复杂性。 23:1-23:10 弗拉维恩·布鲁瓦特 :
关于模型的特征 H（H） 。 24:1-24:10 詹姆斯·布罗斯顿 ， 卡斯滕·福斯 ， 胡安·安东尼奥·纳瓦罗·佩雷斯 ， Nikos Gorogannis公司 :
带有归纳谓词的分离逻辑中的可满足性判定过程。 25:1-25:10 维罗妮克·布鲁耶尔 ， 不，梅尼尔 ， 让-弗朗索瓦·拉斯金 :
加权博弈中的安全均衡。 26:1-26:26 法昆多·卡雷罗 ， 亚历山德罗·法奇尼 ， Yde Venema公司 ， 法比奥·扎纳西 :
弱MSO：自动机和表达模双相似性。 27:1-27:27 西蒙·卡斯特伦 ， 皮埃尔·克莱兰堡 ， 格林·温斯克 :
并发游戏中的对称性。 28:1-28:10 维托尔德·查拉托尼克 ， 伊曼纽尔·基伦斯基 ， 菲利普·马佐维耶基 :
具有确定性传递闭包的弱逻辑的可判定性。 29:1-29:10 考斯特夫·乔杜里 ， 尼古拉斯·古诺 :
结构微积分中的等式和不动点。 30:1-30:10 胡比·陈 :
图形化一阶查询集的可处理边界。 31:1-31:9 胡比·陈 ， 莫里茨·米勒 :
一个层次产生另一个层次：图解构和联合查询的复杂性分类。 32:1-32:10 陈陶璐 ， 斯特凡·基弗 :
关于标记马尔可夫链的总变异距离。 33:1-33:10 朱利安·克雷丁 ， 迪迪埃·雷米 :
具有强制约束的系统F。 34:1-34:10 乌戈·达尔·拉戈 ， 克劳迪娅·法根 ， 哈朔一郎 ， 吉水昭弘（Akira Yoshimizu） :
同步的几何结构。 35:1-35:10 阿努帕姆·达斯 :
关于深度推理和单调系统中的鸽子洞及其相关原理。 36:1-36:10 斯特凡·德姆里 ， 摩根威慑集团 :
具有两个变量且没有分离连接的分离逻辑的表示完备性。 37:1-37:10 托马斯·埃尔哈德 :
MLL证明网络的一个新的正确性准则。 38:1-38:10 约格·恩德鲁利斯 ， 迪米特里·亨德里克斯 :
关于周期迭代态射。 39:1-39:10 迭戈·菲奎拉 ， 列奥尼德·利布金 :
模式逻辑和辅助关系。 40:1-40:10 马塞洛·菲奥雷 ， 萨姆·斯塔顿 :
替换、跳跃和代数效应。 41:1-41:10 马修·弗雷德里克森 ， 萨默什·贾 :
可满足性模计数：一种分析隐私属性的新方法。 42:1-42:10 格奥尔格·戈特洛布 ， 恩里科·马利齐亚 :
通过逻辑实现超图对偶问题的新上界。 43:1-43:10 尼尔斯·比约恩·布格·格雷斯沃尔 ， 德克斯特·科赞 ， 康斯坦蒂诺斯·马穆拉斯 :
KAT+B！ 44:1-44:10 尼古拉斯·古诺 ， Lutz Stra汉堡 :
直觉逻辑的对称正规化。 45:1-45:10 朱利安·古铁雷斯 ， 迈克尔·伍尔德里奇 :
事件结构上并发游戏的平衡。 46:1-46:10 克里斯托夫·哈斯 :
presburger算法的子类和弱EXP层次结构。 47:1-47:10 马修·黑格 :
衰老的地面树重写系统。 48:1-48:10 弗雷德里克·哈瓦特 ， 卢卡斯·海姆伯格 ， 妮可·施韦卡特 :
有界度结构的保持与分解定理。 49:1-49:10 威廉·海杰斯 ， 罗宾·休斯顿 :
没有带单元的MLL的证明网：MLL中的证明等价是PSPACE完成的。 50:1-50:10 马丁·霍夫曼 ， 魏晨 :
Büchi自动机的抽象解释。 51:1-51:10 细野直彦 ， 科科·穆罗亚 ， 哈朔一郎 :
交互作用的记忆几何：从联合成分到代数效应。 52:1-52:10 丹科·伊利克 :
存在和时类型同构的公理和可判定性。 53:1-53:7 阿兰·杰弗里 :
功能反应型。 54:1-54:9 Joost-Pieter Katoen公司 ， 雷松 ， 张丽君 :
可能是安全的，也可能是活着的。 55:1-55:10 巴哈迪尔·库萨诺夫 :
寻求算法上的随机无限结构。 56:1-56:9 斯坦尼斯拉夫·基科特 ， 罗曼·孔查科夫 ， 弗拉基米尔·波多尔斯基 ， 迈克尔·扎哈里亚舍夫 :
浅显本体上查询重写的简洁性。 57:1-57:10 巴托克·克林 ， 斯拉沃米尔·拉索塔 ， 乔安娜·奥奇里米亚克 ， Szymon Torunczyk公司 :
具有原子的图灵机、约束满足问题和描述复杂性。 58:1-58:10 埃里克·科斯基宁 ， 塔奇·特劳奇 :
局部时间推理。 59:1-59:10 斯蒂芬·克鲁泽 ， 妮可·施韦卡特 :
关于Hanf等价性和小诱导子图的嵌入数。 60:1-60:10 兰科·拉齐奇 ， 西尔万·施密茨 :
分支VASS、MELL和扩展的非元素复杂性。 61:1-61:10 圣埃芬·勒鲁 ， 阿诺·保利 :
具有实值回报的无限序列游戏。 62:1-62:10 杰罗姆·勒鲁 ， M.Praveen先生 ， 格雷戈伊尔·苏特雷 :
下推向量加法系统的超Ackermannian界。 63:1-63:10 保罗·布莱恩·利维 ， 萨姆·斯塔顿 :
游戏的过渡系统。 64:1-64:10 梁洪进 ， 新余峰 ， 钟绍 :
并发程序的终止保护细化的组合验证。 65:1-65:10 丹尼尔·里卡塔 ， 埃里克·芬斯特 :
同伦类型理论中的Eilenberg-MacLane空间。 66:1-66:9 卡贾·洛塞曼 ， 维姆·马滕斯 :
MSO对树的查询：在更新下枚举答案。 67:1-67:10 马塞洛·马米诺 :
关于+、-和x的计算能力。 68:1-68:10 康斯坦蒂诺斯·马穆拉斯 :
关于一元递归方案的霍尔理论。 69:1-69:10 纪尧姆·蒙奇·马卡尼奥尼 :
对合否定的公式as类型。 70:1-70:10 拉斯穆斯·埃杰莱斯·莫格伯格 :
通过保护递归进行生产性协同编程的类型理论。 71:1-71:10 卢卡·帕多瓦尼 :
线性π演算中的死锁和锁自由。 72:1-72:10 马蒂厄·佩里内尔 :
上下文语义和交互网络。 73:1-73:10分 Grgur Petric Maretic公司 ， 穆罕默德·托拉比·达什蒂 ， 大卫·A·巴思 :
锚定LTL分离。 74:1-74:9 托马斯广场 ， 马克·泽顿 :
将正则语言与一阶逻辑分离。 75:1-75:10 伊恩·普拉特·哈特曼 :
具有计数和等价性的逻辑。 76:1-76:10 皮尔雷·马里·佩德罗 :
功能功能解释。 77:1-77:10 津田武史 ， C.-H.卢克·翁 :
合成高阶模型检查 ω -在博姆树上的常规游戏。 78:1-78:10 纱线维纳 :
稳健多维平均值目标的有限记忆策略综合。 79:1-79:10 瑞恩·威廉姆斯 :
更快地确定一阶图属性。 80:1-80:6
