2024

• Strachey计算机科学讲座2024年2月，英国牛津

2023

• 概率程序验证研讨会 VeriProp 2023公司2023年7月，法国巴黎
• Tom Henzinger 60岁生日专题研讨会 亨廷格·费斯特施里夫，2023年7月，法国巴黎

2022

• 第18届组件软件形式方面国际会议 FACS’222022年11月，挪威奥斯陆（在线）
• 并行过程建模与验证暑期学校 2012年12月2022年6月，丹麦奥尔堡

2021

• 第48届国际自动化语言学术讨论会和编程 ICALP’212021年7月，英国格拉斯哥（在线）
• 第十届IFIP工作组1.8并发理论趋势研讨会 21世纪趋势QONFEST’21卫星活动，法国巴黎（在线）
• 验证指导研讨会 VMW’21型美国洛杉矶CAV’21卫星活动（在线）

2019

• 第六次复杂参数合成研讨会 SynCoP’19捷克布拉格ETAPS’19卫星活动

2018

• 第43届国际数学基础研讨会计算机科学 MFCS’18八月2018年，英国利物浦。
• 验证与综合中的多目标推理研讨会（2018年12月） 2018年12月2018年7月，FloC，牛津，英国。
• IEEE哥伦比亚通信与计算会议 COLCOM’18公司2018年5月，哥伦比亚麦德林。

2017

• 第二届工程与计算机科学冬季正式学校验证 以色列冬季学校2017年12月，以色列耶路撒冷。
• 第一所程序设计和软件系统基础学校。概率规划 ProbProgSchool项目5月/6月2017年，葡萄牙维拉维德。
• 验证技术、系统和应用 VTSA夏季学校2017年7月，MPI，Saarbrücken。
• 第38届马克托伯多夫暑期学校：安全和软件系统的安全性 2017年7月2017年8月，马克托伯多夫。

2016

• 第十届国际软件理论研讨会工程类 任务'167月2016年，中国上海。

2015

• 第九届可达性问题国际研讨会 RP’152015年9月，华沙
• 逻辑、游戏和自动化亮点 2015年HLGA.9月2015年，布拉格
• 马克托伯多夫暑期学校 MSS公司.2015年8月，马克托伯多夫
• 第十四届亚洲逻辑会议 自动高度控制2015年1月，孟买

2014

• 第一所EATCS青年研究院 EATCS公司2014年8月，电信
• 第29届计算机科学逻辑研讨会 CSL-LICS公司2014年7月，维也纳
• 第35届国际Petri应用与理论会议网络和并发 PN编号6月2014年，突尼斯
• 第十七届国际软件基本方法会议工程类 FASE公司.4月2014年，格勒诺布尔

2013

• 20.信息中的Jahrestagung der GI-Fachgruppe Logik 登录.2013年11月，不来梅
• 第五届代数信息学国际会议(计算机辅助教学)，九月2013年，法国Porquerolles岛
• NVTI理论日 NVTI公司2013年4月，尼德兰乌得勒支

2012

• 使用模型检查技术进行严格的可靠性分析随机系统 岩石2012年10月，Vahrn，意大利语

2011

• 欧洲的可计算性：上下文中的计算模型 国际照明委员会2011年6月/7月，索非亚，保加利亚
• SFM’11：连接 SFM公司6月/7月2011年，意大利贝蒂诺罗

2010

• 第八届综合形式方法国际会议 国际单项体育联合会2010年10月，Nancy，Fance
• 计算机、通信设计形式方法学院和软件系统：编程语言的定量方面 SFM-10:QAPL公司6月2010年，意大利贝蒂诺罗
• 加权自动机：理论与应用 WATA公司5月2010年，德国莱比锡
• 博士生院：定量模型检验 质量管理委员会.2010年3月，丹麦科本哈根
• 组件连接器的冬季学校综合与分析SYANCO公司。2010年2月，德国柏林
• 第20届并行理论国际会议 CONCUR公司2009年9月，博洛尼亚，意大利

2009

• 第十一届形式系统描述复杂性研讨会：\表达能力、效率和决策能力 DCFS公司2009年7月，德国马格德堡
• 第35届国际计算机理论与实践会议科学、软件研讨会索芬。2009年1月，Spindleruv Mlyn，捷克共和国

2007

• GI 17。理论标签 GI公司.2007年9月，德国莱比锡

2006

• 随机系统上的IPA Herfstdagen 投资促进机构.2006年11月/12月，荷兰卑尔根
• 模型检验进展国际研讨会杰拉尔德·霍尔兹曼2006年11月，特温特，恩舍德，The荷兰
• 加权自动机：理论与应用 WATA公司.三月2006年，德国莱比锡

2005

• 年第一届数学与工程方法博士研讨会计算机科学 MEMICS公司.十月2005年，捷克共和国Znojmo
• 第十届工业正规方法国际研讨会关键系统 飞行管理信息系统.2005年9月，葡萄牙里斯本
• 无限之旅2005年3月，法国卡尚

2004

• 第20届程序设计数学基础会议语言文字 MFPS公司. 2004,美国匹兹堡

2000

• 首届EEF/欧洲计算机科学趋势暑期学校形式化方法与性能分析 欧洲经济论坛2000年7月，荷兰奈梅亨

1999

• 概率方法的IPA春季活动1999年4月，米尔罗荷兰

• 验证栏编辑ACM SIGLOG新闻2023年4月起
• 斯普林格杂志主编学报Informatica公司2015-2022
• 编委会成员ACM计算汇刊逻辑自2015年起
• 编委会成员LIPIcs公司: 莱布尼茨国际信息学会议记录，自2018年起
• 编委会成员同行J自2015年起
• 编委会成员RAIRO公司自2014年起
• IEEE逻辑研讨会指导委员会成员计算机科学低收入国家自2018年起
• IEEE逻辑研讨会指导委员会成员计算机科学低收入国家自2018年起
• 国际会议指导委员会成员并发理论，自2023年起
• 国际基金会会议指导委员会成员软件科学与计算结构（FoSSaCS）2016-2021
• IFIP WG 6.1国际会议指导委员会成员分布式对象、组件、，和系统（FORTE），自2018年起
• 国际会议指导委员会成员自2009年以来的软件工程基础（FSEN）
• 欧洲理论与实践联合会议预计到达时间2014-2015, 2017-2018
• EATCS研究员选拔委员会成员原子吸收光谱2019-2023, （2020年担任主席）

已编辑的卷

• C.Baier（编辑）。第37届ACM/IEEE年会论文集论计算机科学中的逻辑 LICS’22号计算机协会，2022年
• C.Baier，J.Goubault-Larrecq（编辑）。第29届EACSL计算机科学逻辑年会 CSL’21号LIPICS第183卷，2021年
• C.Baier、I.Chatzigiannakis、P.Flocchini、S.Leonardi（编辑）。第六届自动化、语言和编程国际学术讨论会 ICALP’19LIPICS第132卷，2019年
• C.Baier，L.Caires（编辑）。第38届IFIP工作组6.1正式技术国际会议用于分布式对象、组件和系统 2018年福特.计算机科学课程讲稿10854，Springer 2018。
• C.Baier，U.Dal Lago（编辑）。第21届国际基金会会议软件科学与计算结构 FoSSaCS’18.2018年施普林格大学计算机科学10803课堂讲稿。
• C.Baier，C.Tinelli（编辑）。21世纪特刊国际计算机工具和算法会议系统的构建和分析《信息学报》54（8），2017
• C.Baier，C.Tinelli（编辑）。工具和系统构建与分析的算法. 2017年STTT 19（6）
• Bernhard Steffen、Christel Baier、Mark van den Brand、Johann Eder、，Mike Hinchey，Tiziana Margaria（编辑）。第43届国际会议当前计算机科学理论与实践的发展趋势,SOFSEM 2017：计算机科学理论与实践。利默里克，爱尔兰，2017年1月16日至20日，会议记录。计算机课堂笔记科学10139，施普林格2017。
• C.Baier，C.Tinelli（编辑）。第21届国际会议系统构建和分析的工具和算法 塔卡斯'15. 计算机科学9035课堂讲稿，斯普林格出版社，2015年。
• C.Baier，M.Kwiatkowska（客座编辑）。概率模型检查。系统设计中的形式方法，第43卷（2），专题2013年发行。
• C.Baier，A.Di Pierro（编辑）。QAPL'09：第七次研讨会编程的定量方面。电子票据《理论计算机科学》，第253（3）卷，2009年。
• C.Baier，H.Hermanns（编辑）。第十七届国际会议并发理论。信息与计算，第206（5）卷，2008年特刊。
• C.Baier，A.Aldini（编辑）。QAPL'08：第六次研讨会编程的定量方面。电子票据《理论计算机科学》，第220卷（3），2008年。
• C.Baier，H.Hermanns（编辑）。CONCUR 2006：第17届国际并发理论会议。计算机课堂笔记《科学》，第4137卷，斯普林格出版社，2006年。
• C.Baier、B.Haverkort、H.Hermanns、J.-P.Katoen、M.Siegle（编辑）。随机系统的验证-电流指南研究。计算机科学课堂讲稿，第2925卷，斯普林格，2004年。
• C.Baier、M.Huth、M.Kwiatkowska、M.Ryan（编辑）。98年PROBMIV：年第一次概率方法国际研讨会验证。理论计算机科学电子笔记，卷。22, 1999.

2024

• 2024年第32届EACSL计算机科学逻辑年会 （CSL’24）,2024年2月，意大利那不勒斯

2023

• 第十五届国际验证软件会议：理论、工具和实验 （第23页）,2023年10月，美国爱荷华州
• 第十四届国际运动会、自动化、逻辑和正式验证 （甘道夫23）2023年9月，意大利乌迪内
• 第十七届可达性问题国际会议 （RP’23）2023年10月。尼斯，法国
• 第34届并行理论国际会议 （续23）, 比利时安特卫普
• 第50届自动化、语言和程序设计国际学术讨论会 （ICALP’23）德国帕德博恩
• 第29届国际计算机工具和算法会议系统的构建和分析 （TACAS’23），巴黎，法国

2022

• 第十四届验证软件国际会议：理论、工具和实验 （VSTTE’22）意大利特伦托
• 第33届并行理论国际会议 （续22），波兰华沙
• 第20届国际自动化技术研讨会用于验证和分析 （ATVA’22），中国北京
• 第23届国际形式工程方法会议 （ICFEM’22）西班牙马德里

2021

• 第24届形式方法国际研讨会 （FM'21）中国北京
• 第三十三届计算机辅助核查国际会议 （CAV’21）

2020

• 第32届计算机辅助验证国际会议 （CAV’20）
• 第35届ACM/IEEE计算机科学逻辑年会 （LICS'20）
• 第26届国际计算机工具和算法会议系统的构建和分析 （TACAS'20）2020年4月。爱尔兰都柏林。

2019

• 第21届国际形式工程方法会议 （ICFEM’19）.2019年11月，中国深圳。
• 第十三届可达性问题国际会议 （RP’19）.2019年9月。比利时布鲁塞尔
• 第17届自动化技术国际研讨会验证和分析 （ATVA’19）. 2019年10月。台湾台北。
• 第23届形式方法国际研讨会 （FM'19）. 2019年10月。葡萄牙波尔图。
• 第31届国际计算机辅助验证大会 （CAV’19）2019年7月。美国纽约州。
• 关于验证和综合中的多目标推理的第二次研讨会 （19年12月）. LICS卫星研讨会，2019年6月，加拿大温哥华。
• 第22届软件基本方法国际会议工程类 （法斯’19）. 2019年4月。捷克共和国普拉克。
• 第22届ACM混合动力系统国际会议：计算和控制 （HSCC’19）. 2019年4月。加拿大蒙特利尔。
• 第八届IPM国际基础会议软件工程 （FSEN’19）2019年5月。伊朗德黑兰。

2018

• 第29届并行理论国际会议 （续2018年）北京，2018年9月。
• 第27届计算机科学逻辑年会 （CSL’18）欧洲计算机科学逻辑协会。英国伯明翰，2018年9月。
• 第20届国际形式工程方法会议 （ICFEM’18）.2018年11月，澳大利亚黄金海岸。
• 第九届奥运会、自动化、物流国际研讨会，和正式验证 （甘道夫’18）. 2018年9月，Saarbr“ucken。
• 第十二届可达性问题国际会议 （RP’18）艾克斯·马赛，2018年9月。
• 第30届国际计算机辅助核查会议 （CAV’18）2018年7月，英国牛津。
• 第13所并行过程建模与验证学校(2018年12月)，7月2018年，法国卡尚
• 第十二届语言与自动机理论国际会议应用 （LATA’18）2018年3月，以色列巴伊兰。
• 第44届国际理论与实践趋势会议计算机科学实践 （索芬’18）2018年1月，克雷姆斯，奥地利。

2017

• 第37届IARCS软件技术基础年会和理论计算机科学 （FSTTCS’17）2017年12月，坎普尔，印度。
• 计算机辅助设计中的形式化方法 （FMCAD’17）2017年10月，奥地利维也纳。
• 第十四届国际定量评估会议系统(2017年QEST)，9月2017年，德国柏林。
• 逻辑、游戏和自动化亮点 （亮点'17）九月2017年，英国伦敦。
• 第24届国际SPIN软件模型检验研讨会 （旋转’17）
• 第29届计算机辅助核查国际会议 （CAV’17）2017年7月，海德堡，德国。
• 第九届验证软件工作会议：理论、工具和实验 （2017年VSTTE）2017年7月，德国海德堡。
• 第32届ACM/IEEE计算机科学逻辑年会 （许可证17）2017年6月，雷克雅未克岛。
• 第20届软件科学与技术基础内部会议计算结构 （FoSSaCS'17）四月2017年，乌普萨拉。
• 第十一届语言与自动机理论和应用 （拉丁美洲贸易协会2017年）2017年3月，瑞典Umea。

2016

• 第十四届自动化技术国际研讨会验证和分析 （ATVA’16）2016年10月，东京。
• 第25届计算机科学逻辑年会 （CSL’16）2016年8月/9月，马赛。
• 第31届IEEE计算机科学逻辑研讨会 （LICS’16）2016年7月，纽约城市。
• 第28届计算机辅助核查国际会议 （CAV’16）2016年7月，加拿大多伦多。
• 第12所并行过程建模与验证学校(2016年12月),2016年7月，意大利热那亚
• 第19届混合系统国际会议：计算和控制 （2016年HSCC）2016年4月，维也纳。
• 第十届语言与自动机理论国际会议应用 （LATA’16）2016年3月，布拉格。

2015

• 第20届人工编程逻辑国际会议智能与推理（LPAR）。2015年11月，南太平洋，斐济。
• 第十三届自动化技术国际研讨会验证和分析(阿特拉华'15),2015年10月，中国上海
• 第22届国际SPIN软件模型检查研讨会(旋转'15)2015年8月，Stellenbosch，南非
• 第20届国际计算理论基础研讨会(FCT’15年),2015年8月，波兰格但斯克
• 第42届国际自动化、语言和编程(ICALP’15年)，朱莉2015年，日本京都
• 第七届NASA正式方法研讨会(NFM’15)2015年4月，帕萨迪纳，美国
• 第六届国际软件基础会议工程、理论与实践(2015年FSEN)2015年4月，伊朗德黑兰
• 第十三届程序设计语言定量方面研讨会(2015年QAPL)2015年4月，英国伦敦

2014

• 第25届并行理论国际会议(2014年8月)2014年9月，意大利罗马
• 第21届国际分析与随机建模会议和应用程序(2014年ASMTA)2014年6月/7月，匈牙利布达佩斯
• 第九届俄罗斯国际计算机科学研讨会(2014年南车)2014年6月，莫斯科
• 第十一届模型理论与应用年会计算(2014年TAMC)，4月2014年，印度
• 第十二届程序设计语言定量方面研讨会(2014年10月)2014年4月，法国格勒诺布尔
• 第20届国际计算机工具和算法会议系统的构建和分析(ETAPS：2014年塔卡)，4月2014年，法国格勒诺布尔
• 第八届语言与自动机理论国际会议应用(2014年拉丁美洲贸易协会),2014年3月，西班牙马德里
• 第十一届国际验证、模型检查和摘要解释(2014年VMCAI)2014年1月，美国圣地亚哥

2013

• 第19届人工编程逻辑国际会议智能与推理(2013年LPAR)2013年12月，南非斯特伦博什
• 第22届EASCL计算机科学逻辑年会(CSL’13号)2013年9月，都灵
• 第十届国际定量评估会议系统(2013年QEST)2013年8月，布宜诺斯艾利斯
• 第24届并行理论国际会议(2013年8月),2013年8月，布宜诺斯艾利斯
• 第七届语言与自动机理论国际会议应用(2013年拉丁美洲贸易协会),2013年3月，毕尔巴鄂
• 第40届国际自动化、语言和编程, (2013年ICALP)2013年7月，里加
• 第五届国际软件基础会议工程、理论与实践(2013年FSEN)2013年4月，伊朗德黑兰

2012

• 第十届国际自动化技术研讨会验证和分析(2012年阿特拉华)2012年10月，喀拉拉邦
• 第九届系统定量评价国际会议(2012年QEST)2012年9月，伦敦
• 第九届组件形式方面国际研讨会软件(FACS’12),2012年9月，美国山景城
• 正式方法中的数量第一次研讨会(2012年QFM)2012年8月，法国巴黎
• 第27届IEEE计算机科学逻辑研讨会(LICS’12号)，7月2012年，克罗地亚杜布罗夫尼克
• 第19届国际SPIN软件模型检查研讨会(旋转'12)2012年7月，牛津，英国
• 第十届程序设计语言定量方面研讨会(2012年QAPL),2012年3月，爱沙尼亚塔林

2011

• 第五届工具支持理论应用国际研讨会在软件中(TTSS’11型),2011年9月，奥斯陆
• 第八届系统定量评价国际会议(QEST’11公司)2011年9月，亚琛
• 第八届组件形式方面国际研讨会软件(FACS’11)2011年9月，奥斯陆
• 第九届国际形式建模与分析会议定时系统(格式'11),2011年9月，奥尔堡
• 过程代数与协调研讨会(2011年太平洋海岸)2011年6月，雷克雅未克，冰岛
• 第四届国际软件基础会议工程、理论与实践(FSEN公司'11)2011年4月，伊朗
• 第21届并行理论国际会议(CONCUR公司'11)2011年9月，亚琛，德国

2010

• 第八届国际形式建模与分析会议定时系统(格式'10),2010年9月，奥地利维也纳
• 第七届系统定量评价国际会议(2010年QEST)2010年9月，美国威廉斯堡
• 形式验证中的博弈和概率模型(GPMFV’10)，8月2010年，捷克共和国布尔诺
• 第四次可达性问题研讨会(RP公司'10)2010年8月，布尔诺，捷克共和国
• 第35届国际数学基础研讨会计算机科学(MFCS’10),2010年8月，捷克共和国布尔诺
• 第22届计算机辅助验证国际会议(CAV汽车'10)2010年7月，英国爱丁堡
• 第十三届国际软件科学基础会议和计算结构(FOSSACS公司'10)，3月2010年，塞浦路斯帕福斯
• 第九所并行过程建模与验证学校(移动'10)，6月/7月2010年，德国亚琛
• 第十一届国际验证、模型检查和摘要解释(VMCAI公司'10)2010年1月，西班牙马德里
• Dagstuhl研讨会10031：定量模型：表达性和分析（合作者）(研讨会10031),2010年1月，德国达格斯图尔

2009

• 第29届国际软件技术基础会议和理论计算机科学(FSTTCS公司'09)，2009年12月，坎普尔，印度
• 国际计算理论会议(2009年ICTAC)2009年8月，马来西亚吉隆坡
• 第七届自动化技术国际研讨会验证和分析(ATVA公司'09)2009年10月，中国澳门
• 第六届系统定量评估国际会议(2009年QEST)2009年9月，匈牙利布达佩斯
• 并发表达研讨会(EXPRESS（快递）'09)2009年8月，意大利博洛尼亚
• 第21届计算机辅助验证国际会议(CAV汽车'09)2009年6月/7月，格勒诺布尔，法国
• 第十六届国际SPIN软件模型检查研讨会（SPIN’09），2009年6月，法国格勒诺布尔

2008

• 第五届系统定量评价国际会议(2008年QEST)2008年9月，圣保罗法国马洛
• 第18届并发理论国际会议(CONCUR公司'08)2008年8月，多伦多，加拿大
• 第35届国际自动化、语言和编程，(2008年ICALP)2008年7月，冰岛雷克雅未克
• 第六届程序设计语言的定量方面研讨会（联合主席）(QAPL公司'08))2008年3月，匈牙利布达佩斯
• 第九届国际验证、模型检查和摘要解释（2008年VMCAI），2008年1月，旧金山，美国

2007

• 二十年的概率验证——反思和视角（科学协调员）(链接),2007年11月，莱顿洛伦兹中心
• 第三届数学与工程方法博士研讨会计算机科学(2007年MEMICS),2007年10月，捷克共和国Znojmo
• 第五届自动化技术国际研讨会验证和分析（ATVA’07），2007年10月，日本东京
• 第一届成分合成与分析国际研讨会连接器（联合主席），ESEC/FSE-研讨会(SYANCO公司'07),2007年9月克罗地亚杜布罗夫尼克
• 第四届系统定量评价国际会议(2007年QEST)2007年9月英国爱丁堡
• 第二届概率自动机与逻辑国际研讨会（联合主席），LICS研讨会(保罗'07),2007年7月，波兰弗罗茨瓦夫
• 第三届协调方法和工具国际研讨会并发、分布式和移动系统（2007年MTCoord），6月2007年，塞浦路斯帕福斯
• 第十三届国际计算机工具和算法会议系统的构建与分析(TACAS公司'07)2007年4月，布拉加，葡萄牙
• 第二届软件工程基础国际研讨会，理论与实践(2007年FSEN),2007年4月，伊朗德黑兰
• 第五届程序设计语言的定量方面研讨会(2007年卡塔尔)2007年3月，布拉加，葡萄牙

2006

• 第二届数学与工程方法博士研讨会计算机科学(MEMICS公司'06)2006年10月，米库洛夫，捷克共和国
• 第四届自动化技术国际研讨会验证和分析(ATVA公司'06)2006年10月，中国北京
• 第三届系统定量评价国际会议(2006年QEST)2006年9月，美国河滨
• 第一届概率自动机与逻辑国际研讨会（联合主席）FLoC−研讨会(保罗'06)2006年8月，美国西雅图
• 第26届IEEE计算机科学逻辑研讨会(低收入国家'06)，2006年8月，美国西雅图
• 第17届并行理论国际会议（联合主席和当地组织者）(同意'06),2006年8月，波恩

2005

• 第一届软件工程基础国际研讨会，理论与实践(2005年FSEN),2005年6月，伊朗德黑兰
• 第三届自动化技术国际研讨会验证和分析(ATVA公司'05)2005年10月，台北，台湾
• 第二届系统定量评价国际会议（联合主席）(2005年QEST)，9月2005年，意大利都灵
• 第一届计算机科学代数和余代数会议(CALCO’05年)2005年9月，英国斯旺西
• 第十六届并行理论国际会议(CONCUR公司'05)2005年8月，美国旧金山

2004

• 无限状态系统验证研讨会(无穷'04)，9月2004年，英国伦敦
• 第一届系统定量评估国际会议(2004年QEST)2004年9月，荷兰特温特
• GI-Dagstuhl研讨会“随机系统的验证”（合作者）(GI公司),2003年12月，德国达格斯图尔

2003

• 无限状态系统验证研讨会(无穷'03)2003年9月，马赛，法国

2002

• 阿根廷理论计算机科学讲习班（等待'02），2002年9月，阿根廷罗萨里奥
• 过程代数、性能建模和验证中的概率方法(PAPM−PROBMIV项目)2002年7月，丹麦Kopenhagen

1999

• 验证中的概率方法第二次研讨会(普罗米夫'99)1999年8月，埃因霍温，荷兰
• 第十五届程序设计数学基础会议语言文字（99年MFPS），1999年4月/5月，新杜兰大学美国奥尔良
• 第五届AMAST实时和概率国际研讨会系统（ARTS’99），1999年5月，德国班贝格

1998

• 验证中的概率方法第一次研讨会(PROBMIV公司'98)1998年6月，美国印第安纳波利斯

2022

• 第37届ACM/IEEE计算机科学逻辑年会 （LICS’22）PC椅。2022年8月，以色列海法

2021

• 第29届国际计算机科学逻辑会议 （CSL’21）PC联合主席。2021年1月，虚拟会议

2019

• 第46届国际自动化、语言、，和编程 （19年10月）.轨道B的PC椅。2019年7月，希腊帕特拉斯

2018

• 概率模型中的多目标推理邀请会议主席逻辑、游戏和自动机的亮点 HLGA公司. 2018年9月，柏林
• 第38届IFIP WG6.1正式技术内部会议分布式对象、组件和系统 2018年福特. PC联合主席。2018年6月，马德里
• 第21届软件科学与技术基础内部会议计算结构（FoSSaCS'18）在FoSSaCS’18.PC联合主席。2018年4月，塞萨洛尼基，希腊

2017

• 第43届国际理论与实践趋势会议计算机科学实践(SOFSEM公司). 轨道椅计算机科学基础。2017年1月。利默里克，爱尔兰

2015

• 第21届国际计算机工具和算法会议系统的构建和分析(塔卡斯'15). PC联合主席。2015年3月，英国伦敦

2015年之前

• 定量模型：表达与分析,达格斯图尔-塞纳尔10031.合作者。2010年1月，德国达格斯图尔
• 第七届程序设计语言定量方面研讨会（QAPL'09）。PC联合主席。2009年3月，英国约克
• 第六期程序设计语言定量方面研讨会（QAPL'08）。PC联合主席。2008年3月，匈牙利布达佩斯
• 二十年的概率验证——反思和视角，合作者。2007年11月，荷兰莱顿
• 第一届成分合成与分析国际研讨会连接器（SYANCO’07），协调者。2007年9月，杜布罗夫尼克，克罗地亚
• 第二届概率自动机与逻辑国际研讨会（2007年7月）。PC联合主席。2007年7月，波兰弗罗茨瓦夫
• 第17届并行理论国际会议（2006年1月）。PC联合主席和本地组织者。2006年8月，德国波恩
• 第一届概率自动机与逻辑国际研讨会（2006年5月）。PC联合主席。2006年8月，美国西雅图
• 第二届国际定量评估会议系统（QEST'05）。PC联合主席。2005年9月，意大利都灵
• 随机系统的验证合作者。2003年12月，德国达格斯图尔
• 第一届概率方法国际研讨会验证（PROBMIV’98），PC联合主席。1998年8月，印第安纳波利斯，美国

• Jean-Claude Laprie奖可靠计算2023
• 2022年，亚琛RWTH荣誉博士（Dr.rer.nat.h.c.）
• 及时测试奖同意'22
• ETAPS 2008、ETAPS 2014、HSCC 2018、ATVA 2021、HSCC 2024最佳论文奖
• 的成员欧洲研究院自2011年以来。
• 2020-2025年，DFG研究培训小组参议院委员会成员。
• 2012-2019年当选DFG计算机科学审查委员会成员。（学院409）
• 2017年LICS测试奖评审团成员，2018年主席（LICS ToT）
• 阿克曼奖评审团成员。EACSL公司2018-2023年计算机科学逻辑杰出论文奖
• 科学咨询委员会成员（SAB）达格斯图尔宫，Leibniz Zentrum für Informatik，2014-2023年
• 德国青年研究竞赛评委Bundeswettbewerb青年队:2015年（路德维希港）、2016年（帕德博恩）、2017年（爱尔兰根）、，2019年（Chemnitz）、2021年（在线）、2022年（吕贝克）、2023年（不来梅）、，2024年（海尔布隆）
• 2019-2021年和2021-2024年德累斯顿大学计算机科学学院副院长
• 2015-2020年当选德累斯顿工业大学参议员
• 德累斯顿大学监察员，2020-2023