Logical Foundations of Computer Science

计算机科学的逻辑基础

• 批准号: 1612586
• 负责人: Sergei Artemov
• 金额: $ 1.2万
• 依托单位: CUNY Graduate School University Center
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2015
• 资助国家: 美国
• 起止时间: 2015-12-15 至 2016-11-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1612586&HistoricalAwards=false
• 关键词: Logical; Foundations; Computer; Science

The Logical Foundations of Computer Science (LFCS) symposium of 2016 will be held in Florida under auspice of Florida Atlantic University, Boca Raton, on January 4-7. The LFCS General Chair is Anil Nerode (Cornell University), the Program Committee Chair is Sergei Artemov (Graduate Center of the City University of New York), and the Organizing Committee Chair is Robert Lubarsky (Florida Atlantic University, Boca Raton). The LFCS series represents the body of work in those areas of fundamental logic related to computer science. The conference is intended to encourage the interchange and interuse of ideas emanating from a wide variety of fields and applications. LFCS conferences appear to be of significant and growing importance for the logic and foundations community in the United States since computer and information sciences provide a cluster of areas in which the core logical methods are applicable in the most immediate and powerful way. Such a conference is pivotal for building a cadre of future logical foundations of computer science.Since its origin in 1989, each LFCS meeting has resulted in a Springer volume of proceedings published prior to the conference and, as has been the norm, a post-conference volume of Annals of Pure and Applied Logic - a flagship journal in mathematical logic. The US community in logic and foundations benefits greatly from such a conference. LFCS conferences attract a good number of graduate students for whom this conference is a milestone event. Logic and foundations life in Florida area needs support. Another major beneficiary of LFCS 2016 is the logic community in the City University of New York, one of the leading institutions with a high number of underrepresented groups. The LFCS 2016 Web site is located at http://lfcs.info/lfcs-2016.

2016 年计算机科学逻辑基础 (LFCS) 研讨会将于 1 月 4 日至 7 日在佛罗里达州博卡拉顿佛罗里达大西洋大学主办。 LFCS 总主席为 Anil Nerode（康奈尔大学），程序委员会主席为 Sergei Artemov（纽约城市大学研究生中心），组委会主席为 Robert Lubarsky（佛罗里达大西洋大学博卡拉顿分校）。 LFCS 系列代表了与计算机科学相关的基础逻辑领域的工作主体。该会议旨在鼓励来自各个领域和应用的想法的交流和互用。 LFCS 会议对于美国的逻辑和基础社区来说似乎具有重要意义，并且越来越重要，因为计算机和信息科学提供了核心逻辑方法以最直接和最强大的方式应用的一系列领域。这样的会议对于建立计算机科学的未来逻辑基础骨干队伍至关重要。自 1989 年召开以来，每次 LFCS 会议都会在会议前出版一本 Springer 会议论文集，并且按照惯例，还会出版一本数学逻辑旗舰期刊《纯粹与应用逻辑年鉴》的会后卷。 美国逻辑和基础界从这样的会议中受益匪浅。 LFCS 会议吸引了大量研究生，对他们来说，这次会议是一个里程碑事件。佛罗里达地区的逻辑和基础生活需要支持。 LFCS 2016 的另一个主要受益者是纽约城市大学的逻辑界，该大学是拥有大量代表性不足群体的领先机构之一。 LFCS 2016 网站位于 http://lfcs.info/lfcs-2016。