计算和演绎形式结构国际会议(FSCD)
第八届FSCD 2023:意大利罗马
马可·加博阿迪 , 费尔克·范·拉姆斯登克 :
第八届计算和演绎形式结构国际会议,FSCD 20232023年7月3-6日,意大利罗马。 LIPIcs公司 260, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2023 ,国际标准图书编号 978-3-95977-277-8 [目录] 阿尔贝托·齐法格利翁 , 卡洛斯·奥拉特 :
第18届逻辑框架与元语言:理论与实践国际研讨会论文集, FSCD的LFMTP 2023年,意大利罗马,2023年7月2日。 EPTCS系统 396, 2023 [目录]
第七届FSCD 2022:以色列海法
艾米·费尔蒂 :
第七届计算和扣除形式结构国际会议,FSCD 2022,2022年8月2-5日,以色列海法。 LIPIcs公司 228, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2022 ,国际标准图书编号 978-3-95977-233-4 [目录] 克莱门斯抓斗手 :
第十二届术语和图形计算国际研讨会论文集, FSCD术语表 2022年,以色列海法Technion,2022年8月1日。 EPTCS系统 377, 2023 [目录]
第六届FSCD 2021:阿根廷布宜诺斯艾利斯[虚拟会议]
小林直树 :
第六届计算和推导形式结构国际会议,FSCD 2021,2021年7月17日至24日,阿根廷布宜诺斯艾利斯(虚拟会议)。 LIPIcs公司 195, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2021 ,国际标准图书编号 978-3-95977-191-7 [目录]
2020年第五届FSCD:法国巴黎[虚拟会议]
泽纳·M·阿里奥拉 :
第五届计算和扣除形式结构国际会议,FSCD 2020,2020年6月29日至7月6日,法国巴黎(虚拟会议)。 LIPIcs公司 167, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2020 ,国际标准图书编号 978-3-95977-155-9 [目录] 帕特里克·巴尔 :
第11届术语和图形计算国际研讨会论文集, FSCD术语表 2020年,在线,2020年7月5日。 EPTCS系统 334, 2021 [目录] 乌戈·达尔·拉戈 , 瓦莱丽亚·德佩瓦 :
第二届线性与线性逻辑应用趋势联合国际研讨会论文集,线性& IJCAR-FSCD的TLLA 2020年,在线,2020年6月29日至30日。 EPTCS系统 353, 2021 [目录]
2019年第四届FSCD:德国多特蒙德
赫尔曼·杰弗斯 :
第四届计算和扣除形式结构国际会议,2019年6月24日至30日,FSCD 2019,德国多特蒙德。 LIPIcs公司 131, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2019 ,国际标准图书编号 978-3-95977-107-8 [目录]
2018年第三届FSCD:英国牛津
赫莱内·基什内尔 :
第三届计算和扣除形式结构国际会议,2018年7月9日至12日,英国牛津,FSCD。 LIPIcs公司 108, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2018 ,国际标准图书编号 978-3-95977-077-4 [目录] 弗雷德里克·布兰基 , 吉赛尔·里斯 :
第十三届逻辑框架与元语言:理论与实践国际研讨会论文集, FSCD的LFMTP 2018年7月7日,英国牛津。 EPTCS系统 274, 2018 [目录] 罗伯特·艾奇 , 萨姆·林德利 :
第七届数学结构函数编程研讨会论文集, MSFP@FSCD 2018年7月8日,英国牛津。 EPTCS系统 275, 2018 [目录] 玛丽贝尔·费尔南德斯 , 伊恩·麦基 :
第十届术语和图形计算国际研讨会论文集, FSCD术语表 2018年7月7日,英国牛津。 EPTCS系统 288, 2019 [目录] 佩德罗·夸雷斯马 , 沃尔特·纽珀 :
第七届教育软件定理证明组件国际研讨会论文集, FLoC的ThEdu 2018年7月18日,英国牛津。 EPTCS系统 290, 2019 [目录] 托马斯·埃尔哈德 , 玛丽贝尔·费尔南德斯 , 瓦莱丽亚·德佩瓦 , 洛伦佐·托托拉·德·法尔科 :
线性与线性逻辑及应用趋势联合国际研讨会论文集, 线性-TLLA@FLoC 2018年7月7日至8日,英国牛津。 EPTCS系统 292, 2019 [目录]
2017年第二届FSCD:英国牛津
戴尔·米勒 :
第二届计算和扣除形式结构国际会议,2017年9月3日至9日,英国牛津FSCD。 LIPIcs公司 84, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2017 ,国际标准图书编号 978-3-95977-047-7 [目录]
2016年第一份FSCD:葡萄牙波尔图
迪莉娅·凯斯纳 , 布里吉特·皮恩特卡 :
第一届计算和扣除形式结构国际会议,2016年6月22日至26日,葡萄牙波尔图,FSCD。 LIPIcs公司 52, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2016 ,国际标准图书编号 978-3-95977-010-1 [目录] 小林直树 :
第八届十字路口类型和相关系统研讨会论文集,2016年ITRS,葡萄牙波尔图,2016年6月26日。 EPTCS系统 242, 2017 [目录]