The 2010 Federated Logic Conference

2010年联邦逻辑会议

• 批准号: EP/H043055/1
• 负责人: Gordon Plotkin
• 金额: $ 4.07万
• 依托单位: University of Edinburgh
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2010
• 资助国家: 英国
• 起止时间: 2010 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FH043055%2F1
• 关键词: 2010; Federated; Logic; Conference

FLoC (Federated Logic Conference) is a quadrennial two-week event that brings together eight top conferencesapplying methods of logic in computer science, and about 60 workshops. The area is of great importance to computing research: logic provides computer science with both a unifying foundational framework and a tool for modelling computing systems; it has been called ``the calculus of computer science,'' and played a crucial role in diverse areas such as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering. The research of just over 20% of Turing award winners has been on the application of logic to computer science; in the UK, five of the current eight UKCRC grand challenges are in FLoC areas.The proposal is to enable us to invite top-level researchers to deliver plenaries and tutorials at FLoC, to makeFLoC particularly attractive to students and to make it easier for researchers from the UK and elsewhereto attend FLoC.

FLoC（联邦逻辑会议）是一个四年一度的为期两周的活动，汇集了八个应用计算机科学逻辑方法的顶级会议，以及大约60个研讨会。该领域对计算研究非常重要：逻辑为计算机科学提供了统一的基础框架和建模计算系统的工具;它被称为“计算机科学的微积分”，并在人工智能，计算复杂性，分布式计算，数据库系统，硬件设计，编程语言和软件工程等不同领域发挥了至关重要的作用。超过20%的图灵奖获得者的研究是关于逻辑在计算机科学中的应用;在英国，UKCRC目前的八个重大挑战中有五个是在FLoC领域。该提案使我们能够邀请顶级研究人员在FLoC上提供全体会议和教程，使FLoC对学生特别有吸引力，并使来自英国和其他地方的研究人员更容易参加FLoC。