SAT最新消息订阅通过RSS

• 2024年4月26日 VCLA国际学生奖-提名征集作者：Andrea HacklCFP公司  截止日期 

  TU Wien的维也纳逻辑和算法中心要求提名逻辑和计算机科学领域杰出论文和科学著作的作者，包括两类杰出硕士论文和杰出本科生论文奖。

• 2024年4月10日 论文征集：MCW 2024计数、取样和合成研讨会作者：Paulius DilkasCFP公司  截止日期 

  计数、采样和合成研讨会（MCW 2024）与SAT 2024一起举办，主题是模型计数、采样以及自动合成的各个方面的讲座和海报。

• 2024年4月10日 PB24：呼吁解决方案和基准作者：Olivier RousselCFP公司  截止日期  PB（聚丁二烯） 

  邀请向PB24竞赛提交解算器和/或基准。

• 2024年3月28日 CFP-第15届国际SAT语用学研讨会作者：Alexey Ignatiev 销售时点情报系统  CFW公司  截止日期 

  SAT国际语用学研讨会今年再次举办，作为与SAT’24的联合活动，有专门的竞争贡献、研讨会后程序和SAT’24-快速通道。

• 2024年1月18日 SAT 2024研讨会呼吁作者：Alexey Ignatiev 坐  CFW公司  截止日期 

  第27届满意度测试理论与应用国际会议

• 2023年12月10日 计算机科学基础终身助理教授，专注于逻辑和自动推理（申请截止日期1月26日）Jakob Nordström著 职位  截止日期 

  隆德大学计算机科学系邀请申请计算机科学基础终身助理教授职位，重点是逻辑和自动推理。

• 2023年12月9日 哥本哈根大学TCS和/或组合优化博士后和博士职位（截止日期2024年1月10日）Jakob Nordström著 博士  PostDoc文件  职位  截止日期 

  哥本哈根大学计算机科学系（DIKU）邀请申请理论计算机科学和/或组合优化的几个博士后和博士职位。

• 2023年12月9日 SAT 2024论文征集作者：Supratik ChakrabortyCFP公司  坐  截止日期 

  SAT’24将于8月21日至24日在印度浦那举行。提交材料（长篇论文、短篇论文、工具论文）预计在3月15日AoE之前提交（摘要将于3月8日提交）。

• 2023年12月1日 超越分辨率的证书证明的可满足性和优化作者：Jordi Levy 博士  职位 

  博士职位，开发约束满足（SAT）和约束优化（MaxSAT）问题的新技术，探索基于巴塞罗那和莱伊达（西班牙）可用新证明系统的新思路。该职位将尽快完成。申请人在申请时必须持有计算机科学、数学或物理（或相关领域）硕士学位。

• 2023年11月27日 林茨约翰内斯·开普勒大学形式方法教授作者：Martina Seidl 职位  截止日期 

  林茨约翰内斯·开普勒大学工程与自然科学学院计算机科学系邀请申请阿明·比尔（Armin Biere）创办的形式模型与验证研究所（FMV）的永久全职职位。

• 2023年11月24日 组合优化领域的博士和博士后职位（认证算法/验证日志）（截止日期2024年1月18日）作者：Bart Bogaerts 博士  PostDoc文件  职位  截止日期 

  ERC-Funded PhD and PostDoc职位在布鲁塞尔Vrije Universiteit Brussel可用，以加入验证日志革命，并使组合优化器提供100%的正确性保证。

• 2023年8月22日 TCS和/或组合优化博士学位开放（截止日期2023年9月25日）Jakob Nordström著 博士  职位  截止日期 

  隆德大学计算机科学系邀请申请理论计算机科学和/或组合优化博士学位。

• 2023年7月26日 CP 2023参与呼吁作者：Anna Latour 人物配对关系 

  提前注册截止日期：2023年7月30日，AoE。约束编程原理与实践会议是一个首要的国际活动，旨在展示约束计算各个方面的研究，包括但不限于：理论、算法、环境、语言、模型、系统和应用。CP 2023将于2023年8月27日至31日在多伦多大学圣乔治校区（市中心）举行。

• 2023年6月27日 维也纳大学提供大学助理（博士后）职位作者：Stefan Szeider 职位  PostDoc文件  截止日期 

  在TU Wien算法与复杂性研究部门有一个博士后职位（大学助理）空缺。

• 2023年5月1日 亚结构逻辑中的模态：理论、方法和应用（MOSAIC 2023）作者：Josephine Femke DikCFP公司  截止日期 

  亚结构逻辑中的模态：理论、方法和应用（MOSAIC 2023）将于2023年9月27日至29日在奥地利维也纳举行

• 2023年3月17日 CFP-QBF画廊2023卢卡·普利纳CFP公司  截止日期  QBF公司 

  QBF画廊2023邀请提交QBF求解器（PCNF以及非PCNF和DQBF解算器）、相关工具（如预处理器）以及新的基准实例，以挑战当前的解算器（尤其是最近QBFEval事件的公开可用解算器。

• 2023年3月16日 CP 2023论文征集作者：Anna LatourCFP公司  截止日期 

  CP 2023的提交文件现已开放。长篇和短篇论文应于2023年4月27日前提交（摘要应在2023年5月2日前提交）。查看SAT快速通道，查看被SAT拒绝的论文（提交截止日期2023年5月17日）。

• 2023年3月1日 呼吁参与：2023年SAT竞赛作者：Matti JärvisaloCFP公司  截止日期 

  2023年SAT竞赛欢迎您的基准和求解者。

• 2023年3月1日 CFP-第14届SAT国际语用研讨会作者：Daniel Le BerreCFP公司  截止日期 

  今年再次组织了SAT国际语用研讨会，作为与SAT’23的联合活动，有专门的回顾/展望贡献、研讨会后会议记录和SAT’23-快速通道。

• 2023年2月21日 特伦托OMT三年研究员职位罗伯托·塞巴斯蒂亚尼 职位 

  紧急事项：特伦托优化模数理论3年研究员职位。需要SMT | SAT | CP | MILP博士和专业知识