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