-
哥本哈根大学计算机科学系(DIKU)邀请计算机科学各个领域的各级教授申请加入我们的系!不用说,算法和复杂性科特别欢迎算法、复杂性理论和自动推理领域的优秀申请人,以加强和扩展我们的世界领先的研究环境。
-
隆德大学计算机科学系邀请申请理论计算机科学和/或组合优化博士学位。
-
对于最近成立的由奥地利科学基金(FWF)资助的卓越集群CoE双边人工智能(BILAI),我们正在寻找50多名博士生和10名后期研究人员(m/f/d)加入我们的团队,他们是奥地利六大领先研究机构之一。
-
TU Wien的维也纳逻辑和算法中心要求提名逻辑和计算机科学领域杰出论文和科学著作的作者,包括两类杰出硕士论文和杰出本科生论文奖。
-
计数、采样和合成研讨会(MCW 2024)与SAT 2024一起举办,主题是模型计数、采样以及自动合成的各个方面的讲座和海报。
-
邀请向PB24竞赛提交解决方案和/或基准。
-
SAT国际语用学研讨会今年再次举办,作为与SAT’24的联合活动,有专门的竞争贡献、研讨会后程序和SAT’24-快速通道。
-
第27届满意度测试理论与应用国际会议
-
隆德大学计算机科学系邀请申请计算机科学基础终身助理教授职位,重点是逻辑和自动推理。
-
哥本哈根大学计算机科学系(DIKU)邀请申请理论计算机科学和/或组合优化领域的几个博士后和博士职位。
-
SAT’24将于8月21日至24日在印度浦那举行。提交材料(长篇论文、短篇论文、工具论文)预计在3月15日AoE之前提交(摘要将于3月8日提交)。
-
林茨约翰内斯·开普勒大学工程与自然科学学院计算机科学系邀请申请阿明·比尔(Armin Biere)创办的形式模型与验证研究所(FMV)的永久全职职位。
-
ERC-Funded PhD and PostDoc职位在布鲁塞尔Vrije Universiteit Brussel可用,以加入验证日志革命,并使组合优化器提供100%的正确性保证。
-
隆德大学计算机科学系邀请申请理论计算机科学和/或组合优化博士学位。
-
在TU Wien算法与复杂性研究部门有一个博士后职位(大学助理)空缺。
-
亚结构逻辑中的模态:理论、方法和应用(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)是一场旨在实际探索组合重构问题的竞赛。
-
哥本哈根大学计算机科学系(DIKU)邀请申请理论计算机科学的几个博士后职位。
-
哥本哈根大学计算机科学系(DIKU)邀请申请理论计算机科学和/或组合优化的博士学位。
-
SAT竞赛的组织者正在寻找新校对员的建议。
-
VCLA邀请积极进取、优秀的女硕士学生申请Helmut Veith Stipend,她们计划在2022/2023年冬季学期和2023年夏季学期的其中一个学期学习TU Wien的计算机科学课程。
-
哥本哈根大学计算机科学系(DIKU)邀请申请组合优化领域的博士后职位。
-
隆德大学计算机科学系邀请申请理论计算机科学和/或组合优化博士学位。
-
BLaSST是一个由法国研究机构ANR资助的项目。它包括位于南希的Inria的VeriDis团队、位于Lens的Artois大学的CRIL实验室、CLEARSY公司和比利时里奇大学的Montefiore学院。BLaSST被选为ANR-21-CE25-0010项目的资金来源。
-
阿尔托大学计算机科学系要求申请计算机科学所有领域的终身助理教授职位。
-
隆德大学计算机科学系邀请申请理论计算机科学和/或组合优化博士学位。
-
2022年SAT会议的组织者和SAT协会希望支持受乌克兰持续战争影响的SAT社区的广大成员。
-
BLaSST是一个由法国研究机构ANR资助的项目。它包括位于南希的Inria的VeriDis团队、位于Lens的Artois大学的CRIL实验室、CLEARSY公司和比利时里奇大学的Montefiore学院。BLaSST被选为项目ANR-21-CE25-0010供资。
-
SAT国际语用研讨会今年再次举办,作为与SAT的联合活动22@FLoC。由于与SAT竞赛截止日期冲突,摘要和论文提交截止日期以及作者通知日期被延长。
-
哥本哈根大学计算机科学系(DIKU)邀请申请理论计算机科学和/或组合优化领域的博士后职位。
-
哥本哈根大学计算机科学系(DIKU)邀请申请理论计算机科学和/或组合优化的博士学位。
-
VardiFest题为“关于逻辑的非寻常有效性”,是一个FLoC-22研讨会,以纪念Moshe Vardi,旨在庆祝Moshe Valdi的开创性贡献,该贡献增强了逻辑在计算机科学中的中心地位。
-
申请这两个SAT相关博士职位的截止日期是月底(4月30日)。
-
申请这10个全职博士职位的截止日期是本月底(4月30日)。
-
量化布尔公式及其以外国际研讨会的目标是将致力于QBF解决的理论和实践方面以及涉及量词的相关形式的研究人员聚集在一起。研讨会面向理论家和实践者,以反思研究的最新进展,并巩固当前和长期的挑战。
-
第20届SMT研讨会将在海法举行,我们期待您的贡献!
-
我们现在正在寻求将您的专业知识添加到数据科学和人工智能系优化小组的讲师(数据科学和AI)角色中。
-
QBFEVAL’22是2022年QBF解算器的竞争性评估,第十五次活动旨在评估QBF求解器的性能。QBFEVAL’22奖励在特定类别的QBF实例上特别有效的解算器。我们热烈鼓励QBF求解器的开发人员提交他们的工作,即使是在开发的早期阶段,只要它满足一些非常简单的要求。我们还欢迎提交用于评估的QBF公式。
-
哥本哈根大学计算机科学系(DIKU)邀请申请计算复杂性理论终身助理教授职位。
-
申请这两个SAT相关博士职位的截止日期是月底(12月30日)。
-
申请这20个全职博士职位的截止日期是本月底(12月30日)。
-
第一次组合重构挑战赛(CoRe挑战赛2022)是一场旨在实际探索组合重构问题的竞赛。
-
阿尔托大学计算机科学系要求申请计算机科学所有领域的终身助理教授职位。
-
哥本哈根大学计算机科学系(DIKU)邀请申请组合优化领域的博士后职位。
-
哥本哈根大学计算机科学系(DIKU)邀请申请理论计算机科学和组合优化的博士学位。
-
林茨约翰内斯·开普勒大学正式方法教授职位空缺。
-
国际可满足性测试理论与应用会议(SAT)是面向研究者的首要年度会议,主要关注广义命题可满足性问题的理论与应用。2022年,它在以色列海法FLoC内组织。
-
我们在阿姆斯特丹逻辑、语言和计算研究所(ILLC)招聘一名基于模型的人工智能助理教授,SAT是相关专业知识之一。
-
隆德大学计算机科学系邀请申请理论计算机科学和/或组合优化的博士学位。
-
我们邀请SAT附属研讨会的提案。研讨会的目的是提供一个非正式的场所,参与者可以在其中深入探索特定的研究领域。
-
VCLA邀请积极进取、优秀的女硕士学生申请Helmut Veith Stipend,她们计划在2021/2022年冬季学期和2022年夏季学期的其中一个学期学习TU Wien的计算机科学课程。
-
所有截止日期都被推迟了一周。
-
我们邀请在2021年10月25日至10月29日在线举行的CP 2021主要会议计划之前举办研讨会的提案。
-
提交截止日期和作者通知日期已更改一周。
-
2021年MaxSAT评估(MSE 2021)是MaxSAT第15次评估,这是自2006年以来每年组织的主要竞争性活动,重点评估MaxSAT解算器。
-
由于新冠肺炎疫情,第27届约束编程原理与实践会议将转变为一个完全虚拟的活动。
-
量化布尔公式及其以外国际研讨会的目标是将致力于QBF解决的理论和实践方面以及涉及量词的相关形式的研究人员聚集在一起。研讨会面向理论家和实践者,以反思研究的最新进展,并巩固当前和长期的挑战。
-
TU Wien的维也纳逻辑和算法中心(维也纳理工大学)呼吁提名逻辑和计算机科学领域杰出论文和科学著作的作者。
-
提交基准和解算器的截止日期已延长至2021年4月23日。
-
满意模理论年度国际研讨会将于2021年7月16日至25日在美国洛杉矶举行。
-
年度国际SAT会议将于2021年7月5日至9日在西班牙巴塞罗那举行。
-
哥本哈根大学计算机科学系(DIKU)邀请申请组合优化领域的博士后职位。
-
自2016年以来,SAT+SMT学校每年12月在印度一个城市举办。今年,由于COVID,学校将完全在线。因此,欢迎大家来学校上课。
-
阿尔托大学计算机科学系要求申请计算机科学所有领域的终身助理教授职位。CS部门资金充足,芬兰总体上的研究资金可用性很好,这些职位都有一个慷慨的启动计划,为一个新的研究团队提供了数年的资金支持。赫尔辛基的生活质量在多个层面上都具有国际竞争力,芬兰是全球公认的进步和技术先进的北欧社会之一。
-
你是否持有计算机科学或数学博士学位,或期望在未来12个月内获得博士学位?
-
该职位是奥地利科学基金会(FWF)著名的START项目“人工智能参数化分析”的一部分,由Robert Ganian(首席研究员)监督。
-
隆德大学计算机科学系邀请申请博士学位,重点是SAT求解和组合优化。
-
我们在西班牙巴塞罗那蓬佩法布拉大学的AI和ML小组为博士生和博士后研究人员提供了多个资助名额,以开展针对规划的表征学习研究。
-
TU Wien的算法与复杂性小组正在寻找QBF解决方面的博士生。
-
下一次ICTAI会议实际上正在举行。立即检查提交截止日期!
-
TU Wien(维也纳科技大学)、TU Graz(格拉茨科技大学)和JKU Linz(约翰内斯·开普勒大学)正在为奥地利科学基金(FWF)资助的计算机科学逻辑方法(LogiCS)联合博士项目寻找高素质的候选人。
-
摘要提交截止日期已延长至论文提交截止日期,即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求解和组合优化的博士后和博士职位。博士后和博士生将在Jakob Nordström的研究小组工作,该研究小组目前正从KTH过渡到位于厄勒海峡大桥两侧的隆德大学和哥本哈根大学的联合地点。
-
SAT’20会议将于2020年7月5日至9日在意大利阿尔盖罗举行,邀请各方就与SAT 2020主要会议计划相关的研讨会提出建议
-
阿尔托大学计算机科学系的助理教授申请年度电话现已开通。所有领域都被考虑在内,尤其是广告中列出的重点领域,但特别重要的是可以被视为“软件形式化方法”的领域。博士学位从0年到大约6年的候选人被视为助理教授级别。
-
申请2020-21年加州大学伯克利分校西蒙斯研究所研究奖学金(博士后职位)的呼吁现已发布申请截止日期为12月15日。
-
QONFEST是由2020年国际会议CONCUR(第31届并行理论国际会议)、QEST(第17届系统定量评估国际会议)和FORMATS(第18届时间系统形式化建模与分析国际会议)组成的伞形会议和FMICS(第25届工业关键系统形式方法国际会议)。
-
TU Wien(维也纳理工大学)邀请申请AI技术的全职教授职位。
-
教授职位应侧重于人工智能方法的开发、设计和实施或理论。
-
2019年9月7日前可提前注册。
-
摘要域是抽象解释理论和实践中的一个关键概念。它们嵌入了语义选择、数据结构和算法方面以及实现决策。抽象解释框架为设计、组合、比较、研究、证明和应用抽象领域提供了建设性和系统化的形式化方法。今年的版本将对正在进行的工作更加开放,欢迎来自其他紧密社区的贡献,例如约束解决、编译、最坏情况下的执行时间社区。
-
奥地利维也纳TU Wien的算法和复杂性小组有一个获得全额资助的博士职位空缺。该职位属于FWF资助的关于基于SAT的图形宽度参数局部改进的研究项目P32441。
-
2019年MaxSAT评估即将举行!我们延长了提交基准和解算器的截止日期用于2019年至2019年6月7日星期五的MaxSAT评估。
-
TU Wien的安全与隐私小组目前正在寻找几个优秀的博士和博士后候选人,以在ERC整合器项目“客户端Web安全的基础和工具”中进行研究。该项目将开发客户端web安全的整体方法,奠定其理论基础并开发创新的安全实施技术。该项目是一项多学科的研究工作,有望产生实际影响,并在各个学科取得突破性进展,如web安全、JavaScript语义、软件工程和程序验证。
-
量化布尔公式及其以外国际研讨会的目标是将致力于QBF解决的理论和实践方面以及涉及量词的相关形式的研究人员聚集在一起。研讨会面向理论家和实践者,以反思研究的现状并巩固当前和长期的挑战。
-
SAT/SMT/AR暑期学校将先于SAT2019年和2019年SMT将于2019年7月3日至6日在学院举行葡萄牙里斯本大学Superior Técnico(IST/UL)。夏天学校注册是免费的,以便参与者出席。注册截止日期为5月31日。这个程序、注册和所有信息都可以在暑期学校的网站。
-
我们很高兴地宣布,2019年第34届ACM/IEEE计算机科学逻辑研讨会(LICS)相关的2019年女性逻辑研讨会(WiL)的SIGLOG/VCLA旅游奖的截止日期将延长。
-
提交截止日期已延长。
-
摘要提交截止日期已延长至论文提交截止日期,即4月29日
-
量化布尔公式及其以外国际研讨会的目标是将致力于QBF解决的理论和实践方面以及涉及量词的相关形式的研究人员聚集在一起。研讨会面向理论家和实践者,以反思研究的现状并巩固当前和长期的挑战。
-
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届可满足性测试理论与应用国际会议
-
第四届满意度检查和符号计算国际研讨会,星期三。2019年7月10日,瑞士伯尔尼大学。
-
SAT’19会议邀请与2019年SAT主要会议计划相关的研讨会提案,研讨会将于2019年7月7日至12日在葡萄牙里斯本举行
-
芬兰赫尔辛基阿尔托大学计算机科学系提供的SAT、约束、搜索和应用方面的博士论文职位。2019年2月7日前申请。
-
KTH皇家理工学院的TCS小组邀请申请计算机科学博士后职位,重点是针对大型实例高效解决布尔可满足性问题(SAT)的算法,以及分析和理解此类算法。
-
CP是约束编程原理与实践国际会议,欢迎就会议上可能没有出现但社区可能感兴趣的主题进行特别跟踪。
-
位于TU Wien的维也纳逻辑与算法中心(VCLA)寻求2019年VCLA国际学生奖提名。每年颁发的VCLA国际学生杰出硕士和本科生研究(学士)论文奖(或同等奖项)表彰逻辑和计算机科学广泛领域科学著作的作者。最终提交截止日期:2019年3月15日
-
计划攻读(或目前正在攻读)维也纳理工大学(TU Wien)计算机科学硕士课程之一的计算机科学领域(CS)女学生受邀申请每年颁发的Helmut Veith Stipend奖学金。
-
下次SAT会议将在葡萄牙里斯本举行。重要日期现已公布。
-
提交截止日期延长至11月23日。
-
论证是人工智能研究中的一个重要课题。特别是,在Dung的抽象论证框架上解决某些推理任务的问题是许多高级论证系统的核心。许多待解决的问题都很难解决,这需要高效的算法和求解器。
-
下一届JELIA会议将在意大利伦德举行,将与IJCAI和TPLP合作撰写最佳论文。检查提交截止日期!
-
KTH皇家理工学院的理论小组正在寻找SAT解题的博士生。
-
芬兰赫尔辛基阿尔托大学计算机科学系提供的SAT、约束、搜索和应用方面的博士论文职位。2018年9月29日前申请。
-
为第21届欧洲设计自动化和测试会议征集论文,主题D4形式化方法和验证。
-
第22届程序设计、人工智能和推理逻辑国际会议。
-
KTH皇家理工学院的理论小组正在寻找SAT解题的博士生。
-
AI*IA(意大利人工智能协会)的RCRA小组(知识表示与自动推理)在2018年FLoC举办了第25届RCRA研讨会,对解决组合爆炸问题的算法进行实验评估(RCRA 2018)。
-
MaxSat评估旨在提供当前通过在上运行提交的MaxSat解算器来解算MaxSat的进度基准实例的异构集合。
-
SAT协会正在寻求主办和组织SAT’19的提案。
-
提交摘要的截止日期已延长至提交论文的截止日期。
-
**提交截止日期延长至2018年4月15日**
-
今年,将组织2018年新的Sparkle SAT挑战赛。
-
CP2018将于8月下旬在法国里尔举行
-
TU Wien(维也纳理工大学)维也纳逻辑与算法中心要求提名以下两类逻辑与计算机科学领域杰出论文和科学著作的作者:
-
在联邦逻辑会议内组织的79个研讨会的论文征集现已公布。
-
KTH皇家理工学院的理论小组正在寻找SAT解决方面的博士后和博士生。
-
下一次SAT会议将于2018年FLoC在牛津举行。
-
第九届国际自动推理联合会议,2018年7月14日至17日,英国牛津IJCAR 2018。
-
KTH皇家理工学院的理论小组正在寻找SAT解决博士后。
-
本期特刊的目标是介绍算法选择和配置研究的最新进展,重点关注进化计算和相关的元神经技术。
-
提交截止日期为6月25日。
-
2018年7月6日至19日,在英国牛津举行的2018年FLoC SAT’18会议邀请与SAT相关的研讨会的提案。
-
论文的最后征集。下一次SAT会议将与CP和ICLP一起在墨尔本举行,紧随IJCAI之后。
-
今年,CP将与SAT和ICLP共存。此外,CP还将举办SAT和CP专题讲座。
-
在过去的几十年里,自动化推理系统取得了重大发展和实际成就:这一特殊问题专门针对各种各样的系统。
-
KTH皇家理工学院的理论小组正在寻找SAT解题方面的博士后和博士生。
-
2017年SAT会议邀请了与2017年主要SAT会议计划相关的研讨会提案,研讨会将于2017年8月28日至9月1日在澳大利亚墨尔本举行,与2017年CP和2017年ICLP共同举办,并在2017年IJCAI之后举行
-
TABLEAUX是主要的国际会议,会上介绍了基于表格的推理机械化及其相关方法的各个方面、理论基础、实现技术、系统开发和应用的研究
-
本次研讨会的主要目标是将来自自动化推理各个子社区的关键人员聚集在一起,例如SAT/SMT、分辨率、表格、理论特定计算(例如描述逻辑、算术、集合论)、交互式定理提供,以讨论该领域的现在、过去和未来。
-
KTH皇家理工学院计算机科学与通信学院邀请申请计算机科学终身副教授职位,该职位范围广泛,涵盖了该学院目前的所有研究领域(因此包括SAT解决)。
-
KTH皇家理工学院的理论小组正在寻找一名SAT解决方面的博士后和一名博士生。
-
QBFEVAL’17将是2017年QBF求解器的竞争性评估,也是QBF解算器和实例的第十二次评估。QBFEVAL'17将奖励在特定类别的QBF实例中特别有效的求解器。
-
提交截止日期延长至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求解的理论和实践方面以及涉及量词的相关形式的研究人员聚集在一起。研讨会面向理论家和实践者,以反思研究的最新水平,并巩固当前和长期的挑战。
-
我们希望邀请并鼓励提交基准和2016年SAT竞赛的基准生成器。访问竞争主页了解详细信息。
-
论文最终征集。摘要仍可提交至2月21日(与论文的截止日期相同)。提交的论文可以更新到2月24日。
-
******************************************************************寻求解决方案和基准QBFEVAL’16-QBF解决方案的竞争评估2016年SAT联合活动——第十九届国际会议关于可满足性测试的理论和应用——波尔多,法国,2016年7月5日至8日******************************************************************
-
第七届SAT语用学国际研讨会的网站现已上线。
-
KTH皇家理工学院的理论小组邀请申请SAT解决方面的博士后职位。
-
第二次征集论文。现在包括项目委员会。