-
TU Wien的维也纳逻辑和算法中心要求提名逻辑和计算机科学领域杰出论文和科学著作的作者,包括两类杰出硕士论文和杰出本科生论文奖。
-
计数、采样和合成研讨会(MCW 2024)与SAT 2024一起举办,主题是模型计数、采样以及自动合成的各个方面的讲座和海报。
-
邀请向PB24竞赛提交解算器和/或基准。
-
SAT’24将于8月21日至24日在印度浦那举行。提交材料(长篇论文、短篇论文、工具论文)预计在3月15日AoE之前提交(摘要将于3月8日提交)。
-
亚结构逻辑中的模态:理论、方法和应用(MOSAIC 2023)将于2023年9月27日至29日在奥地利维也纳举行
-
QBF画廊2023邀请提交QBF求解器(PCNF以及非PCNF和DQBF解算器)、相关工具(如预处理器)以及新的基准实例,以挑战当前的解算器(尤其是最近QBFEval事件的公开可用解算器。
-
CP 2023的提交文件现已开放。长篇和短篇论文应于2023年4月27日前提交(摘要应在2023年5月2日前提交)。查看SAT快速通道,查看被SAT拒绝的论文(提交截止日期2023年5月17日)。
-
2023年SAT竞赛欢迎您的基准和求解者。
-
今年再次组织了SAT国际语用研讨会,作为与SAT’23的联合活动,有专门的回顾/展望贡献、研讨会后会议记录和SAT’23-快速通道。
-
TU Wien的维也纳逻辑和算法中心要求提名逻辑和计算机科学领域杰出论文和科学著作的作者,包括杰出硕士论文和杰出本科论文两类。提交截止日期更新至4月11日。
-
SAT 2023的提交文件现已开放。在3月17日之前提交你关于可满足性的最新研究(长论文、短论文、工具论文)(摘要应于3月10日提交)。
-
第二次组合重构挑战赛(CoRe挑战赛2023)是一场旨在实际探索组合重构问题的竞赛。
-
SAT竞赛的组织者正在寻找新校对员的建议。
-
VCLA邀请积极进取的优秀女硕士生申请Helmut Veith Stipend,她们计划在以下一个学期学习维也纳大学的计算机科学课程:2022/2023年冬季学期和2023年夏季学期。
-
SAT国际语用研讨会今年再次举办,作为与SAT的联合活动22@FLoC。由于与SAT竞赛截止日期冲突,摘要和论文提交截止日期以及作者通知日期被延长。
-
VardiFest题为“关于逻辑的非寻常有效性”,是一个FLoC-22研讨会,以纪念Moshe Vardi,旨在庆祝Moshe Valdi的开创性贡献,该贡献增强了逻辑在计算机科学中的中心地位。
-
量化布尔公式及其以外国际研讨会的目标是将致力于QBF解决的理论和实践方面以及涉及量词的相关形式的研究人员聚集在一起。研讨会面向理论家和实践者,以反思研究的最新进展,并巩固当前和长期的挑战。
-
第20届SMT研讨会将在海法举行,我们期待您的贡献!
-
QBFEVAL’22是2022年QBF解算器的竞争性评估,第十五次活动旨在评估QBF求解器的性能。QBFEVAL’22奖励在特定类别的QBF实例上特别有效的解算器。我们热烈鼓励QBF求解器的开发人员提交他们的工作,即使是在开发的早期阶段,只要它满足一些非常简单的要求。我们还欢迎提交用于评估的QBF公式。
-
第一次组合重构挑战赛(CoRe挑战赛2022)是一场旨在实际探索组合重构问题的竞赛。
-
国际可满足性测试理论与应用会议(SAT)是面向研究者的首要年度会议,主要关注广义命题可满足性问题的理论与应用。2022年,它在以色列海法FLoC内组织。
-
我们邀请与SAT相关的研讨会的提案。研讨会的目的是提供一个非正式的场所,参与者可以在其中深入探索特定的研究领域。
-
VCLA邀请积极进取、优秀的女硕士学生申请Helmut Veith Stipend,她们计划在2021/2022年冬季学期和2022年夏季学期的其中一个学期学习TU Wien的计算机科学课程。
-
所有截止日期都推迟了一周。
-
我们邀请在2021年10月25日至29日在线举行的CP 2021主要会议计划之前举办研讨会。
-
提交截止日期和作者通知日期已更改一周。
-
2021年MaxSAT评估(MSE 2021)是MaxSAT第15次评估,这是自2006年以来每年组织的主要竞争性活动,重点评估MaxSAT解算器。
-
由于新冠肺炎疫情,第27届约束编程原理与实践会议将转变为一个完全虚拟的活动。
-
量化布尔公式及其以外国际研讨会的目标是将致力于QBF解决的理论和实践方面以及涉及量词的相关形式的研究人员聚集在一起。研讨会面向理论家和实践者,以反思研究的最新进展,并巩固当前和长期的挑战。
-
由于新冠肺炎疫情,第27届约束编程原则与实践会议将转变为一场完全虚拟的活动。
-
TU Wien的维也纳逻辑和算法中心(维也纳理工大学)呼吁提名逻辑和计算机科学领域杰出论文和科学著作的作者。
-
提交基准和解算器的截止日期已延长至2021年4月23日。
-
SAT国际语用学研讨会今年再次举办,作为与SAT’21的联合活动。考虑到去年在线活动的成功,今年该活动将至少在网上播出。
-
2021年SAT竞赛是一项针对布尔可满足性(SAT)问题求解者的竞赛。它是作为第24届可满足性测试理论和应用国际会议的卫星活动而组织的,并秉承了每年SAT竞赛、竞赛和挑战的传统。
-
满意模理论年度国际研讨会将于2021年7月16日至25日在美国洛杉矶举行。
-
年度国际SAT会议将于2021年7月5日至9日在西班牙巴塞罗那举行。
-
TU Wien维也纳逻辑与算法中心(VCLA)荣幸地宣布VCLA逻辑与计算机科学杰出硕士和本科生论文国际学生奖获得者。
-
下一次ICTAI会议实际上正在举行。立即检查提交截止日期!
-
摘要提交截止日期已延长至论文提交截止日期,即5月22日。请尽快提交摘要。
-
2020年SAT竞赛是一项针对布尔可满足性(SAT)问题解决者的竞赛活动。它是作为第23届可满足性测试理论和应用国际会议的卫星活动而组织的,并秉承了每年SAT竞赛、竞赛和挑战的传统。
-
QBFEVAL’20是2020年QBF解算器的竞争性评估,第十五次活动旨在评估QBF求解器的性能。QBFEVAL'20奖励在特定类别的QBF实例上特别有效的解算器。我们热烈鼓励QBF求解器的开发人员提交他们的工作,即使是在开发的早期阶段,只要它满足一些非常简单的要求。我们还欢迎提交用于评估的QBF公式。
-
第一届国际模型计数竞赛(MC 2020)是一场深化各种模型计数问题及其实际应用的最新理论和实践发展之间关系的竞赛。它的目标是计算布尔公式的模型数。
-
由于SIGLOG、维也纳逻辑与算法中心(VCLA)和阿姆斯特丹大学逻辑、语言与计算研究所(ILLC)的慷慨支持,我们邀请学生和博士后申请奖项,以方便他们注册并前往2020年WiL。
-
TU Wien的维也纳逻辑和算法中心(维也纳理工大学)呼吁提名逻辑和计算机科学领域杰出论文和科学著作的作者。
-
年度国际SAT会议将于2020年7月5日至9日在意大利阿尔盖罗举行。最后期限延长了一周。
-
年度国际SAT会议将于2020年7月5日至9日在意大利阿尔盖罗举行。
-
QONFEST是由2020年国际会议CONCUR(第31届并行理论国际会议)、QEST(第17届系统定量评估国际会议)和FORMATS(第18届时间系统形式化建模与分析国际会议)组成的伞形会议和FMICS(第25届工业关键系统形式方法国际会议)。
-
第22届满意度测试理论与应用国际会议
-
摘要域是抽象解释理论和实践中的一个关键概念。它们嵌入了语义选择、数据结构和算法方面以及实现决策。抽象解释框架为设计、组合、比较、研究、证明和应用抽象领域提供了建设性和系统化的形式化方法。今年的版本将对正在进行的工作更加开放,欢迎来自其他紧密社区的贡献,例如约束解决、编译、最坏情况下的执行时间社区。
-
2019年MaxSAT评估即将到来!我们延长了提交基准和解算器的截止日期用于2019年至2019年6月7日星期五的MaxSAT评估。
-
量化布尔公式及其以外国际研讨会的目标是将致力于QBF解决的理论和实践方面以及涉及量词的相关形式的研究人员聚集在一起。研讨会面向理论家和实践者,以反思研究的现状并巩固当前和长期的挑战。
-
我们很高兴地宣布,2019年第34届ACM/IEEE计算机科学逻辑研讨会(LICS)相关的2019年女性逻辑研讨会(WiL)的SIGLOG/VCLA旅游奖的截止日期将延长。
-
第22届满意度测试理论与应用国际会议
-
提交截止日期已延长。
-
摘要提交截止日期已延长至论文提交截止日期,即4月29日
-
量化布尔公式及其以外国际研讨会的目标是将致力于QBF解决的理论和实践方面以及涉及量词的相关形式的研究人员聚集在一起。研讨会面向理论家和实践者,以反思研究的现状并巩固当前和长期的挑战。
-
第二十五届约束规划原理与实践会议(CP 2019)将于2019年9月30日至10月4日在美国斯坦福德(CT)举行。斯坦福德距离纽约坐火车一个小时。
-
2019年SAT竞赛是布尔运算求解者的一项竞争活动可满足性(SAT)问题。它被组织为一个卫星活动第22届国际理论与应用会议可满足性测试,符合年度SAT的传统竞争/比赛/挑战。提交截止日期基准和求解器将于2019年4月15日星期一(格林尼治标准时间23:59-12,地球上任何地方)。访问SAT竞赛网站http://sat-race-2019.ciirc.cvut.cz/了解详细信息。
-
位于TU Wien的维也纳逻辑与算法中心(VCLA)寻求2019年VCLA国际学生奖提名。每年颁发的VCLA国际学生杰出硕士和本科生研究(学士)论文奖(或同等奖项)表彰逻辑和计算机科学广泛领域科学著作的作者。延长提交截止日期:2019年3月25日
-
2019年JELIA注册现已开放!提前的截止日期注册日期为2019年3月31日。
-
第22届满意度测试理论与应用国际会议
-
正如我们过去所做的那样,我们正在寻求主办和组织2020年SAT。
-
第22届满意度测试理论与应用国际会议
-
第二十五届约束编程原理与实践会议(CP2019)将于2019年9月30日至10月4日在美国斯坦福德举行。斯坦福德距离纽约坐火车一个小时。
-
第四届满意度检查和符号计算国际研讨会,星期三。2019年7月10日,瑞士伯尔尼大学。
-
CP是约束编程原理与实践国际会议,欢迎就会议上可能没有出现但社区可能感兴趣的主题进行特别跟踪。
-
位于TU Wien的维也纳逻辑与算法中心(VCLA)寻求2019年VCLA国际学生奖提名。每年颁发的VCLA国际学生杰出硕士和本科生研究(学士)论文奖(或同等奖项)表彰逻辑和计算机科学广泛领域科学著作的作者。最终提交截止日期:2019年3月15日
-
计划攻读(或目前正在攻读)维也纳理工大学(TU Wien)计算机科学硕士课程之一的计算机科学领域(CS)女学生受邀申请每年颁发的Helmut Veith Stipend奖学金。
-
下一届JELIA会议将在意大利伦德举行,将与IJCAI和TPLP合作撰写最佳论文。检查提交截止日期!
-
下次SAT会议将在葡萄牙里斯本举行。重要日期现已公布。
-
下一届JELIA会议将在意大利伦德举行,将与IJCAI和TPLP合作撰写最佳论文。检查提交截止日期!
-
提交截止日期延长至11月23日。
-
论证是人工智能研究中的一个重要课题。特别是,在Dung的抽象论证框架上解决某些推理任务的问题是许多高级论证系统的核心。许多待解决的问题都很难解决,这需要高效的算法和求解器。
-
下一届JELIA会议将在意大利伦德举行,将与IJCAI和TPLP合作撰写最佳论文。检查提交截止日期!
-
JSAT杂志正在主办一期与2018年SAT会议前后发生的竞争性事件相关的特刊。
-
为第21届欧洲设计自动化和测试会议征集论文,主题D4形式化方法和验证。
-
第22届程序设计、人工智能和推理逻辑国际会议。
-
提交摘要的截止日期已延长至提交论文的截止日期。
-
**提交截止日期延长至2018年4月15日**
-
今年,将组织一场新的2018年闪光SAT挑战赛。
-
2018年CP将于8月底在法国里尔举行
-
联邦逻辑会议组织的79个研讨会的论文征集现已发布。
-
下一次SAT会议将于2018年FLoC在牛津举行。
-
第九届国际自动推理联合会议,2018年7月14日至17日,英国牛津IJCAR 2018。
-
本期特刊的目标是介绍算法选择和配置研究的最新进展,重点关注进化计算和相关的元神经技术。
-
提交截止日期为6月25日。
-
2018年7月6日至19日,在英国牛津举行的2018年FLoC SAT’18会议邀请与SAT相关的研讨会的提案。
-
最后的论文征集。下一次SAT会议将与CP和ICLP一起在墨尔本举行,紧随IJCAI之后。
-
今年,CP将与SAT和ICLP共存。此外,CP还将举办SAT和CP专题讲座。
-
在过去的几十年里,自动化推理系统取得了重大发展和实际成就:这一特殊问题专门针对各种各样的系统。
-
2017年SAT会议邀请了与2017年主要SAT会议计划相关的研讨会提案,研讨会将于2017年8月28日至9月1日在澳大利亚墨尔本举行,与2017年CP和2017年ICLP共同举办,并在2017年IJCAI之后举行
-
TABLEAUX是一次主要的国际会议,会上介绍了基于TABLEAUX的推理和相关方法的机械化的各个方面、理论基础、实现技术、系统开发和应用的研究
-
本次研讨会的主要目标是将来自自动化推理各个子社区的关键人员聚集在一起,例如SAT/SMT、分辨率、表格、理论特定计算(例如描述逻辑、算术、集合论)、交互式定理提供,以讨论该领域的现在、过去和未来。
-
下一次SAT会议将与CP和ICLP一起在墨尔本举行,紧随IJCAI之后。
-
提交截止日期延长至7月4日
-
延长申请截止日期:2016年5月15日
-
截止日期延长至5月18日。
-
提交论文的截止日期已延长至5月8日。
-
约束满足问题(CSP)和布尔可满足性问题(SAT)有很多共同点。然而,它们在许多重要方面也存在差异,这导致了解决方案技术上的重大差异。更重要的是,CSP和SAT社区虽然在某种程度上相互影响,但大多是具有独立会议的独立社区。本次研讨会旨在弥合两个社区之间在思想、问题、技术和结果方面的差距,并进行相互交流。
-
提交截止日期延长至5月8日。
-
布尔问题研讨会侧重于解决各种高维布尔和离散问题的相关问题,并为来自不同学科的研究人员和工程师提供了交流意见的论坛。该研讨会致力于理论发现和实际应用。研讨会的目的是发起可能的合作研究,并寻找新的应用领域。
-
向2016年比赛即将开幕。与之前的评估和比赛(PB05、PB06、PB07、PB09、PB10、PB11、PB12、PB评估2015年),PB16的目标是评估最先进的技术在伪布尔解算器领域。
-
图结构和可满足性测试国际研讨会的目标是将来自不同领域的研究人员聚集在一起,在这些领域中,图结构和命题可满足性相关问题之间存在相互作用。目的是通过提出不同的观点、结果和当前的挑战,促进这些领域之间的交流。
-
量化布尔公式(及其以外)国际研讨会的目标是将研究QBF求解的理论和实践方面以及涉及量词的相关形式的研究人员聚集在一起。研讨会面向理论家和实践者,以反思研究的最新水平,并巩固当前和长期的挑战。
-
论文最终征集。摘要仍可提交至2月21日(与论文的截止日期相同)。提交的论文可以更新到2月24日。
-
******************************************************************寻求解决方案和基准QBFEVAL’16-QBF解决方案的竞争评估2016年SAT联合活动——第十九届国际会议关于可满足性测试的理论和应用——波尔多,法国,2016年7月5日至8日******************************************************************
-
第七届SAT语用学国际研讨会的网站现已上线。
-
第二次论文征集。现在包括项目委员会。
-
第19届可满足性测试理论与应用国际会议首次在法国波尔多举行。
-
本次研讨会的目标是帮助统一和促进研究领域,以推进超越NP的求解器设计。
-
SAT’15注册现已开放!
-
第19届软件科学和计算结构基础国际会议(FoSSaCS),2016年4月,荷兰埃因霍温。
-
第十一届模态逻辑进展国际会议,2016年,匈牙利布达佩斯。
-
今年FMCAD学生论坛的截止日期已经延长,新的截止日期是2015年7月9日。
-
由于许多要求,已确定了新的提交截止日期。
-
这项活动是继1994年以来举行的一系列RCRA(知识表示和自动推理)年会之后举行的。前几届活动的成功表明,RCRA正在成为交流思想和提出人工智能算法实验方法的主要论坛。
-
CSPSAT 2015:论文征集第五届CSP与SAT交叉受精国际研讨会结合CP 2015爱尔兰科克2015年8月31日
-
继2013年和2014年ICTAI第一届和第二届SAT和CSP技术专题取得成功后,今年IEEE-ICTAI会议将再次强调SAT和CCP的专题。
-
MAXSAT竞赛的提交现已开放。提交解算器和基准的截止日期是6月30日。
-
AI*IA(意大利人工智能协会)的RCRA小组(知识表示与自动推理)组织了第22届RCRA研讨会:组合爆炸问题解决算法的实验评估(RCRA 2015)
-
第二届量化国际研讨会(QUANTIFY 2015)的目标是汇集从理论和实践角度研究量化影响的研究人员。
-
CSPSAT 2015:论文征集第五届CSP与SAT交叉受精国际研讨会结合CP 2015爱尔兰科克2015年8月31日
-
2015年SAT的摘要提交截止日期延长至4月29日!
-
更新的截止日期。
-
SAT'15的摘要提交截止日期为4月22日!
-
暑期学校“推理”是知识转移的平台在快速增长的研究领域“计算逻辑”。我们将提供涵盖以下内容的入门课程推理基础,高级课程,以及作为应用课程和专题研讨会以及最先进的技术。所有讲师都是他们的领域并被授予奖项。
-
第二届量化国际研讨会(QUANTIFY 2015)的目标是汇集从理论和实践角度研究量化影响的研究人员。
-
为新加入AAAI的会议注册者提供免费会员资格。
-
2015年SAT竞赛是一项针对布尔可满足性(SAT)问题求解者的竞赛活动。它是作为2015年9月24日至27日在美国德克萨斯州奥斯汀举行的第18届可满足性测试理论与应用国际会议的卫星活动而组织的,并秉承了每年举行SAT竞赛和SAT-Races/Challenges的传统。与SAT竞赛相比,SAT-Race的重点仅在于应用程序基准测试。
-
SAT会议的研讨会提案现已开放。查看详细信息。。。
-
LPNMR 2015相关活动现已宣布。
-
2015年LPNMR将与2015年第四届算法决策理论会议同期举行。
-
SAT会议的研讨会提案现已开放。查看详细信息。。。
-
2014年SAT竞赛项目参与者的特刊。
-
2015年的ICLP将与2015年的CP在乔治·布尔(George Boole)年合建。
-
下一次SAT会议将在奥斯汀举行。立即检查提交截止日期!
-
第13届约束建模与改革国际研讨会将于2014年CP期间在里昂举行。
-
多年来,ICTAI会议已成为CSP和SAT研究团体展示新的高质量成果的主要论坛。第二版的特别轨道旨在进一步发展国际刑事法庭在这方面的作用。
-
这一为期一天的研讨会将在第20届约束编程原理与实践国际会议(CP 2014)上举行。
-
继去年首届可配置SAT解算器挑战赛(CSSC)之后,我们将举办CSSC 2014,这是一项评估此类参数解算器峰值性能(即优化参数的性能)的竞争性活动。
-
LaSh研讨会的目的是促进与语言相关的主题的科学交流,以表示具有计算挑战性的搜索问题,以及解决这些问题的方法。
-
延长第十一届布尔问题国际研讨会(IWSBP’14)的截止日期。
-
2014年QBF画廊邀请竞争QBF求解器(PCNF和非PCNF求解器)、预处理器等相关工具以及新的基准实例提交,以挑战当前求解器。
-
2014年SAT竞赛邀请参赛的SAT解算器和新的竞赛基准实例提交。
-
本研讨会将结合其他计算范式或受其启发,促进关于在理论、求解和应用方面跨越当前ASP技术边界的讨论。
-
最近,插值越来越多地用于自动验证、合成和描述逻辑。研讨会的目的是将这些不同领域的理论家和实践者聚集在一起。
-
第四版是继麻省理工学院(2011年SAT/SMT Solver暑期学校)、意大利特伦托布鲁诺·凯斯勒基金会(2012年SAT/SMT学校)和芬兰埃斯波阿尔托大学2013年举办的学校之后。