第九届逻辑框架和元语言国际研讨会：理论与实践

概述

逻辑框架和元语言是逻辑和计算机科学中各种各样有趣的演绎系统的表示、实现和推理的共同基础。一方面，它们的设计和实现以及在推理任务中的使用，从软件的正确性到正式计算系统的属性，一直是过去二十年来大量研究的焦点。本研讨会将使设计者、实现者和实践者聚集在一起，讨论影响逻辑框架结构和实用性的各个方面，包括变量绑定、归纳和共归纳推理技术的处理以及推理过程的表达性和清晰性。

有关LFMTP2014的详细信息，请访问LFMTP2014网站.

文件征集

文件征集

组织

项目委员会