第36届LICS 2021:意大利罗马
-
第36届ACM/IEEE计算机科学逻辑年会,LICS 2021,罗马,意大利,2021年6月29日至7月2日。 电气与电子工程师协会 2021 ,国际标准图书编号 978-1-6654-4895-6 林廷伟 , 嘉轩路 , 陈庆炎 :
二元逻辑可满足性的一种更有效的方法。 1-13 吉姆·德·格罗 , 塔德乌兹·利塔克 , 德克·帕丁森 :
Gödel-McKinsey-Tarski和Blok-Esakia对Heyting-Lewis含义的理解。 1月15日 罗宾·赫希 , 贾斯·塞姆尔 :
具有普通合成的关系半群中的恶魔格和半格。 1-10 曼纽尔·博德斯基 , 托马斯·费勒 , 西蒙·克努尔 , 塞巴斯蒂安·鲁道夫 :
关于逻辑和同态闭包。 1-13 弗洛里安·卢卡 , 乔尔·瓦克宁 , 詹姆斯·沃雷尔 :
通用Skolem套装。 1-6 利伦·科恩 , 埃蒂安·米奎 , 罗斯·泰特 :
证据框架:扩展可实现性模型的统一框架。 1-13 大通福特 , 斯特凡·米利乌斯 , 卢茨·施罗德 :
通过分级单子进行行为预告。 1-13 安德烈·杜登赫夫纳 :
系统F的不可判定性和约简者的类型检查。 1-10 R.瑞恩·威廉姆斯 :
算法设计的复杂性下限。 1-3 努里亚·布雷德 , 雨果·赫伯林 :
关于逻辑结构的选择和酒吧归纳原则。 1-13 吉尔亨·贾贝尔 , 安德烈·穆拉夫斯基 :
通过操作游戏语义进行组合关系推理。 1-13 迈克尔·布隆丁 , 蒂姆·莱斯 , 菲利普·马佐维耶基 , 菲利普·奥特马特 , 吉列尔莫·A·佩雷斯 :
连续单计数器自动机。 1-13 卢卡·埃特罗 , 埃利·阿纳斯塔西亚迪 , 瓦伦蒂娜·卡斯蒂格利奥尼 , Anna Ingólfsdóttir女士 , 巴斯·卢提克 :
寻找失去的时间:过程代数中的公理化并行合成。 1-14 托比·卡特·伯恩 , 卢克·翁 , 史蒂芬·J·拉姆齐 , 多米尼克·瓦格纳 :
初始极限数据日志:一类新的可判定约束Horn子句的可扩展类。 1-13 罗布·范·格拉贝克 , 彼得·霍夫纳 , 罗斯·霍恩 :
假设有足够的公平性来完成会话类型以实现锁自由。 1-13 费多·弗明 , 彼得·戈洛维奇 , 迪米特里奥斯·M·蒂利科斯 :
一阶逻辑属性消元距离的参数化复杂性。 1-13 埃里克·芬斯特 , 安托万·阿利乌克斯 , 马蒂厄·索佐 :
类型是内部∞-群胚。 1-13 阿尔伯特·阿塞里亚斯 , Phokion G.Kolaitis公司 , 吴伟林 :
关于同态计数的表示能力。 1-13 托马斯·哈科尼埃米 :
平方和和多项式演算中的单项式大小与位复杂性。 1-7 Fedor零件 , 尼尔·萨彭 , 伊多·萨默雷 :
一阶推理和有效的半代数证明。 1-13 托马斯·汉津格 , N.Ege Saraç :
定量和近似监测。 1-14 丹·吉卡(Dan R.Ghica) , 托德·沃·安布里奇 :
具有建设性现实的全球优化。 1-13 安德鲁·凯尼恩·罗贝茨 , C.-H.卢克·翁 :
超鞅,秩函数和概率Lambda演算。 1-13 达里奥·斯坦因 , 萨姆·斯塔顿 :
具有精确条件的概率程序的合成语义。 1-13 Titouan光标 , 马克·德维斯梅 , Simon Perdrix公司 :
具有延迟跟踪的图形语言:用有限内存描绘量子计算。 1-13 乔治·巴奇 , 乔瓦尼·巴奇 , 金·拉森 , Mirco Tribastone公司 , 马克斯·柴科夫斯基 , 安德烈·范丁 :
通过耦合和Up-to方法对差分互模拟进行有效的局部计算。 1-14 利伯·巴托 , 查拉图斯特拉·布雷迪 , 安德烈·布拉托夫 , 马金·科齐克 , 德米特里·朱克 :
极小泰勒代数作为CSP的三种代数方法的通用框架。 1-13 丹尼尔·赫希科夫 , Enguerrand预赛 , 戴维德·桑吉奥吉 :
关于π-演算中的序列性和包围性。 1-13 亚历山德鲁·巴尔塔格 , 尼克·贝扎尼什维利 , 大卫·费尔南德斯·杜克 :
拓扑微积分:完备性和可判定性。 1-13 约翰·贝兹 , 法布里齐奥·吉诺维斯 , 翡翠大师 , 迈克尔·舒尔曼 :
网络的类别。 1-13 詹姆斯·莱尔德 :
λ演算的合成成本模型。 1-13 阿马尔·哈齐哈萨诺维奇 :
单体理论的压榨产物。 1-13 多米尼克·J·D·休斯 , Lutz Stra汉堡 , 胡宣武 :
一阶逻辑的组合证明和分解定理。 1-13 劳拉·博泽利 , 阿德里亚诺·佩隆 , 塞萨尔·桑切斯 :
HyperLTL的异步扩展。 1-13 让·克里斯托夫·荣格 , 弗兰克·沃尔特 :
《没有贝丝和克雷格的生活:守卫与双变量碎片中的定义与插值》。 1-14 萨姆森·阿布拉姆斯基 , 丹·马斯登 :
保护碎片的共鸣语义。 1-13 克里希南德·查特吉 , 劳伦特·多恩 :
具有预期停止时间的随机过程。 1-13 Corto Mascle公司 , 克里斯特尔·拜尔 , 弗洛里安·芬克 , 西蒙·扬奇 , 斯特凡·基弗 :
责任和验证:时间逻辑中的重要性值。 1-14 莫里茨·利希特 :
从多项式时间中分离秩逻辑。 1-13 巴拉斯·梅泽伊 , 马钦·罗奇纳 , 斯坦尼斯拉夫·齐夫尼 :
稀疏一般值CSP的PTAS。 1-11 丹尼斯·库珀伯格 :
单词上的正一阶逻辑。 1-13 罗伯托·布鲁尼 , 罗伯托·贾科巴齐 , 罗伯塔·戈里 , 弗朗切斯科·兰扎托 :
局部完整抽象解释的逻辑。 1-13 阿努杰·达瓦尔 , 托马斯·雅克 , 卢卡·雷吉奥 :
Lovász型定理和游戏共鸣曲。 1-13 贾晓东 , 伯特·林登霍维斯 , 迈克尔·米斯洛夫 , 弗拉基米尔·扎姆德日耶夫 :
概率编程语言的交换单数。 1-14 保罗·卡普里奥蒂 , 尼尔斯·安德斯·丹尼尔森 , 安德烈亚·维佐西 :
更高的镜片。 1-13 安东尼斯·阿奇利奥斯 , 马蒂亚斯·拉加德·佩德森 :
加权一元二阶逻辑的公理化和可计算性。 1-13 奥尔娜·库普夫曼 , 诺姆·申瓦尔德 :
透视多人游戏。 1-13 费德里科·奥利mpieri :
交叉点类型分配器。 1月15日 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , G.米歇尔·平纳 :
可逆基本事件结构的分布式操作视图。 1-13 彼得罗·霍夫曼 , 玛尔塔·朱泽普祖克 , 斯拉沃米尔·拉索塔 , 莫尼什·帕塔图拉扬 :
无穷字母的Parikh定理。 1-13 贝尼亚米·阿卡托利 , 安德里亚·康多鲁西 , 克劳迪奥·萨塞尔多蒂·科恩 :
强大的Call-by-Value是合理的,具有内爆性。 1-14 德米特里·朱克 :
无彩虹问题和满意感约束满足问题。 1-7 弗朗西斯科·加瓦佐 , 克劳迪娅·法根 :
一元改写系统的关系理论,第一部分。 1-14 米科拉伊·博扬奇克 , 巴托克·克林 , 约书亚·莫尔曼 :
轨道有限维向量空间和加权寄存器自动机。 1-13 马丁·阿巴迪 , 戈登·普洛金 :
聪明的选择和选择单子。 1-14 菲利普·巴尔比亚尼 , 马丁·迪盖兹 , 大卫·费尔南德斯·杜克 :
具有有限模型特性的S4的一些构造变体。 1-13 刘新新 , 于婷婷 :
保持有限状态行为的分歧分支同余的完全公理化。 1-13 巴勃罗·巴伦鲍姆 , 特奥多罗·弗伦德 :
具有经典证明和反驳的构造逻辑。 1-13 Farzaneh Derakhshan公司 , 斯蒂芬妮·巴尔泽 , 李敏佳 :
无干扰会话逻辑关系。 1-14 小森由一 , Shin-ya胜本 , 克莱门斯·库普克 , 侏罗纪腐朽 , 哈朔一郎 :
定量模态逻辑的表达:通过编码和近似的范畴基础。 1-14 阿马尔德夫·曼纽尔 , 德鲁夫·内瓦提亚 :
具有邻域的一阶逻辑的代数特征。 1-13 拉杜·马尔代尔 , 普拉卡什·帕南加登 , 戈登·普洛金 :
定量等式逻辑的定点。 1-13 托马斯·埃尔哈德 , 法扎德·贾法拉赫马尼 :
具有公式不动点的线性逻辑的分类模型。 1-13 里内克言语 :
可证明逻辑的零一定律:在几乎所有模型和几乎所有框架中公理化有效性。 1-13 尼古拉·克劳斯 :
依赖型理论的内部∞分类模型:走向2LTT吃HoTT。 1-14 利伯·巴托 , 威廉·德梅奥 , 安托万·莫特 :
有限结构上的约束满足问题。 1-13 李周 , 吉尔斯·巴特 , 徐宇春(Justin Hsu) , 明生英 , 俞能坤 :
束逻辑和量子分离逻辑的量子解释。 1-14 马丁·格罗 :
图神经网络的逻辑。 1-17 雅各布施 :
从分布上的多集到多集上的分布。 1-13 简·德雷尔 :
Lacon和Shrub分解:有界展开类一阶转导的新表征。 1-13 曼纽尔·博德斯基 , 贝塔兰·博多 :
Ramsey结构的规范多态性及其唯一插值性质。 1-13 伊丽莎白·伯琼斯 , 法比安-弗雷 , 马丁·拉西克 :
从有限值非确定性传感器到确定性双带自动机。 1-13 拉马纳-长崎 , 大卫·A·诺曼 :
关系Hoare逻辑的对齐完整性。 1-13 亚历克斯·迪克森 , 兰科·拉齐奇 , 安德烈·穆拉夫斯基 , 伊戈尔·瓦卢基维奇 :
使用数据自动机验证高阶并发性。 1-13 保罗·皮斯通 :
关于简单型Lambda-演算的广义度量空间。 1-14 杰夫·埃里克森 , 加布里埃尔·尼瓦施 , 徐俊彦(Junyan Xu) :
融合数和皮亚诺算术。 1-13 杰米·塔克-福尔茨 :
具有计数的不动点逻辑中唯一对策的不可逼近性。 1-13 罗希特·查达 , A.普拉萨德·西斯特拉 , 马赫什·维斯瓦纳坦 :
具有无限输入的程序差分隐私的线性时间决定性。 1-13 甲露包 , 西蒙·多尔蒂 , 徐宇春(Justin Hsu) , 亚历山德拉·席尔瓦 :
条件独立的组合逻辑。 1-14 吉安卢卡·西马 , Marco控制台 , 毛里齐奥·伦泽里尼 , 安东内拉·波吉 :
数据集成中的抽象。 1-11 马泰奥·米奥 , 拉尔夫·萨基斯 , 瓦莱丽娅·维格努德利 :
结合不确定性、概率和终止性:等式和度量推理。 1-14 娜塔莎·费尔南德斯 , 安娜贝拉·麦克维尔 , 卡罗尔·摩根 :
拉普拉斯机制对连续查询的差异隐私具有最佳效用。 1-12 乔纳森·斯特林 , 卡洛·安吉乌利 :
立方型理论的规范化。 1月15日 贝尼亚米·阿卡托利 , 乌戈·达尔·拉戈 , 加布里埃尔·瓦诺尼 :
互动空间。 1-13 雨果·莫恩克莱 :
参数性和半立方类型。 1-11 A.R.巴拉苏布拉曼尼亚语 , 蒂莫·朗 , Revantha Ramanayake公司 :
弱化和收缩超序列子结构逻辑的可判定性和复杂性。 1-13 伊曼纽尔·基伦斯基 , 塞巴斯蒂安·鲁道夫 :
三重碎片有限模型理论及相关逻辑。 1-13 马西耶·加兹达 , 罗伯特·海伦斯 :
删除冗余拒绝:故障跟踪语义的最小完整测试套件。 1-13 吕克·达托伊斯 , 保罗·加斯廷 , 桑卡拉·纳拉亚南·克里希纳 :
非周期变换的SD-正则变换器表达式。 1-13 克里希南德·查特吉 , 沃尔夫冈·德沃拉克 , 莫妮卡·亨津格 , 亚历山大·斯沃齐尔 :
概率验证的符号时间和空间权衡。 1-13 Preey Shah公司 , 阿曼·班萨尔 , S.阿克西 , Supratik Chakraborty公司 :
高效布尔Skolem函数综合的范式表征。 1-13 陈一佳(音) , Jörg Flum公司 :
禁止的诱导子图和Łosh-Tarski定理。 1-13 佩德罗·阿泽韦多·德·阿莫林 , 德克斯特·科赞 , 拉杜·马尔代尔 , 普拉卡什·帕南加登 , 迈克尔·罗伯茨 :
随机λ-微积分的通用语义。 1-12 罗纳德·费金 , 乔纳森·伦奇纳 , 肯尼思·雷根 , 尼基尔·维亚斯 :
多结构游戏和量词数量。 1-13 保罗·安德烈·梅利埃 :
异步模板游戏和2类灰张量积。 1-13