可在www.sciencedirect.com在线获取理论计算机科学电子笔记351（2020）1-2www.elsevier.com/locate/entcs前言本文件包含第15届逻辑和语义框架国际研讨会（LSFA 2020）的精选和修订论文。讲习班计划在巴西萨尔瓦多举行。由于全球大流行，为期两天的活动于2020年8月27日和28日完全在线上举行。除了包含在本卷中的完整的常规论文外，LSFA还接受以短文形式提交的论文，例如系统描述，证明珍珠，毛坯钻石（初步结果和正在进行的工作），原始调查或研究项目概述，重点更多地放在优雅和传播上，而不是新颖性。方案委员会从13份提交的文件（17份摘要）中接受了9份常规文件;从4份提交的文件（6份摘要）中接受了3份短文（仅用于介绍）。所有文件都由方案委员会至少三名成员我们感谢方案委员会的努力，他们在对论文进行双重审查的阶段提供了详细的审查和富有成果的讨论，这保证了活动的高技术质量2020年，该计划委员会包括Beniamino Accattoli 桑德拉·阿尔维斯（Sandra Alves ）（波尔图大学），Mario Benevides Ana Bove （ UFF ） （ Chalmers ） ， Manuela Busaniche（ CONICET-UNL ） ， Marco Cerami （ UFBA ） ， 艾 米 · 费 什 （ 渥 太 华 大学），Mari b el Fern 'andez（King's College London），Francicle b er Ferreira（U F C），Renata de F reitas（UFF）Lourdes del Carmen Gonz'alez Huesca （ 墨 西 哥 国 立 自 治 大 学 ） ， 埃 德 ·沃 德 · 赫 尔 曼 · 豪 斯 勒 （ PUC-Rio ） ， Oleg Kisel y o v （ T o hoku Uni v ersi t y ） ， Jo Zhao Marcos（UFRN），Al-berto Momigliano（米兰大学），Daniele Nantes-Sobrinho（ UnB ） ， Carlos Olarte （ UFRN ） ， Revantha Ramanayake （ TUWien），Camilo Rocha（PUJ），Nora Szasz（Uni v ersidad O R T），I van V a rzinczak（Uni v ersi t'e d'Artois），Daniel V e n tura（UFG）和Renata Wassermann（USP）。我们也感谢审稿人谁在审查过程中帮助：埃内斯托Copello（大学ORT），伊萨克利马（UFRJ），豪尔赫A。P'erez（UniversityofGroningen），A'lvaroTasistro（Univer-sidad ORT）和Nachiappan Valliappan（Chalmers）。我们感谢当地组织的支持：Aline Andrade（UFBA，会议主席），AndreasBrunner（UFBA），Adolfo Duran（UFBA），Samuel Gomes（UFBA），BrunoLopes（UFF），Darllan Pinto（UFBA），Lais Salvador（UFBA）和Marlo Souza（UFBA）。我们也感谢并感谢科学https://doi.org/10.1016/j.entcs.2020.08.0011571-0661/© 2020作者。出版社：Elsevier B.V.这是CC BY许可下的开放获取文章（http://creativecommons.org/licenses/by/4.0/）。2前言巴西逻辑学会的支持和2BI Tecnologia和VOXTecnologiadaInform aBrachioLT DA的财政支持。最后但并非最不重要的是，我们还要感谢受邀的演讲者，即Mauricio Ayala-Rinc'on（UnB），EduardoBonelli（StevensInstituteofTechnology）和DeliaKesner（Universit'eParisDiderotand InstitutUniversitairedeFrance），他们为我们的活动成功做出了巨大贡献NalonGiselleReis
我的内容管理
展开
