paperbot · PL 论文追踪

全部论文 待读 收藏

P2 LICS 2017 foreword

LICS 2017 前言
LICS 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)2017匹配度 1/10 · 该内容仅为 LICS 2017 会议论文集的前言，介绍会议与同期研讨会，不包含具体研究贡献，与静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析等研究方向没有实质关联。引用 0 inbox
Joël Ouaknine
逻辑与自动机
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话：介绍 LICS 2017 会议论文集、会议信息及七个同期研讨会，不包含具体研究贡献。

本文是 LICS 2017（第32届 ACM/IEEE 计算机科学逻辑研讨会）论文集前言。LICS 是计算机科学与数理逻辑交叉领域的年度国际论坛。该届会议于2017年6月20日至23日在冰岛雷克雅未克大学举行。除主会外，还有七个同期研讨会：INFINITY、LearnAut、LCC、LMW、LOLA、Metafinite model theory and definability and complexity of numeric graph parameters、WiL。前言仅提供会议背景、组织信息和活动概览，未提出研究问题、方法或评估结果。

问题
不适用：本文为会议论文集前言，而非研究论文，没有提出研究问题。
方法
不适用：仅描述会议背景、地点时间和同期研讨会安排。
评估
不适用：不包含实验、形式化证明或评估。
原文摘要（Abstract）

This volume contains the proceedings of the 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), held at Reykjavík University in Iceland from 20 to 23 June 2017. LICS is an annual international forum on the broad range of topics that lie at the intersection of computer science and mathematical logic. In addition to the main symposium, seven workshops were co-located with LICS 2017: • INFINITY: Verification of Infinite-State Systems • LearnAut: Learning and Automata • LCC: Logic and Computational Complexit • LMW: Logic Mentoring Workshop • LOLA: Syntax and Semantics of Low-Level Languages • Metafinite model theory and definability and complexity of numeric graph parameters • WiL: Women in Logic

链接与引用

DOI 原文 · DBLP

BibTeX 
@inproceedings{Ouaknine17,
  title = {LICS 2017 foreword},
  author = {Joël Ouaknine},
  booktitle = {LICS},
  year = {2017},
  doi = {10.1109/lics.2017.8005058}
}