会议

类型

国际校对和程序类型会议

dblp中的类型 会议网站

体积

LIPIcs,第269卷

第28届国际证据和程序类型会议(Types 2022)

2022年6月20日至25日,LS2N,法国南特大学

编辑:迪莉娅·凯斯纳和皮尔雷·马里·佩德罗

体积

LIPIcs,第239卷

第27届国际证据和程序类型会议(Types 2021)

类型20212021年6月14日至18日,荷兰莱顿(虚拟会议)

编辑:亨宁·巴索尔德(Henning Basold)、杰斯珀·考克斯(Jesper Cockx)和西尔维娅·吉勒赞(Silvia Ghilezan)

体积

LIPIcs,第188卷

第26届国际校对和程序类型会议(Types 2020)

类型2020,2020年3月2日至5日,意大利都灵大学

编辑:乌戈·德利古罗(Ugo de’Liguoro)、斯特凡诺·贝拉迪(Stefano Berardi)和托尔斯滕·阿尔滕科奇(Thorsten Altenkirch)

体积

LIPIcs,第175卷

第25届国际校对和程序类型会议(Types 2019)

2019年6月11日至14日,挪威奥斯陆

编辑:马克·贝泽姆和阿西亚·马布比

体积

LIPIcs,第130卷

第24届国际证据和程序类型会议(Types 2018)

2018年6月18日至21日,葡萄牙布拉加,TYPES 2018

编辑:彼得·戴比耶、何塞·埃斯皮里托·桑托和路易斯·平托

体积

LIPIcs,第104卷

第23届国际证据类型和程序会议(2017年类型)

2017年5月29日至6月1日,匈牙利布达佩斯

编辑:安德烈亚斯·阿贝尔(Andreas Abel)、弗雷德里克·诺德瓦尔·福斯伯格(Fredrik Nordvall Forsberg)和安布罗斯·卡波西(Ambrus Kaposi)

体积

LIPIcs,第97卷

第22届国际证据和程序类型会议(Types 2016)

TYPES 2016,2016年5月23日至26日,塞尔维亚诺维萨德

编辑:Silvia Ghilezan、Herman Geuvers和Jelena Ivetic

体积

LIPIcs,第69卷

第21届国际证明类型和程序会议(Types 2015)

2015年5月18日至21日,爱沙尼亚塔林

编辑:塔尔莫·乌斯塔卢

体积

LIPIcs,第39卷

第20届国际证明类型和程序会议(Types 2014)

2014年5月12日至15日,法国巴黎

编辑:雨果·赫伯林(Hugo Herbelin)、皮埃尔·勒图泽(Pierre Letouzey)和马蒂厄·索佐(Matthieu Sozeau)

体积

LIPIcs,第26卷

第19届国际证据和程序类型会议(Types 2013)

2013年4月22日至26日,法国图卢兹

编辑:拉尔夫·马提斯和阿列克西·舒伯特

体积

LIPIcs,第19卷

第18届国际证明类型和程序研讨会(2011年类型)

2011年9月8日至11日,挪威卑尔根

编辑:尼尔斯·安德斯·丹尼尔森和本特·诺德斯特伦

问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件