Publicationsconferences and workshopsTalksStudentsTeachingRL LabLinkscurricullum Publications conferences and workshops Talks Students Teaching RL Lab Links curricullum
 



主页>会议和研讨会

  • 的PC成员ACM-IEEE计算机科学逻辑研讨会，以色列海法，2022年8月。
  • 国际PC会员自动化语言和编程座谈会，法国巴黎，2022年7月。
  • 的PC成员编程语义的数学基础，奥地利萨尔茨堡，2021年8月至9月。
  • 的PC成员量子物理与逻辑，波兰格但斯克，2021年6月。
  • 的PC成员编程语义的数学基础，法国巴黎，2020年6月。
  • QPL 2020：量子物理与逻辑PC主席，法国巴黎，2020年6月。
  • 的PC成员FOSSACS 2020：软件科学和计算结构基础国际会议爱尔兰都柏林，2020年4月-5月。
  • PC成员计算机科学逻辑，西班牙巴塞罗那，2020年1月。
  • 的PC成员ACM-IEEE计算机科学逻辑研讨会，加拿大温哥华，2019年6月。
  • 的PC成员编程语义学的数学基础，英国伦敦。，2019年6月。
  • 的PC成员QPL 2018：第十五届量子物理与逻辑国际会议，加拿大哈利法克斯，2018年6月。
  • 的PC成员编程语言原理，美国佛罗里达州圣彼得堡，2016年1月。
  • LPAR的PC成员20，第20届国际编程逻辑会议，人工智能和推理苏瓦，斐济，11月2015
  • PC成员第十二届国际计算理论研讨会（ICTAC 2015）哥伦比亚卡利，2015年10月。
  • PC成员逻辑、游戏和自动化会议的亮点，布拉格，2015年9月。
  • PC成员第40届国际数学基础研讨会计算机科学，意大利米兰，2015年8月。
  • PC成员在俄罗斯举行的第十届国际计算机科学研讨会上，Listvyanka，2015年7月。
  • PC成员自动化语言和程序设计国际学术讨论会，京都，2015年7月。
  • PC成员第31届程序设计数学基础年会Semantics，荷兰奈梅亨，2015年6月。
  • PC成员第十届第比利斯国际语言研讨会，逻辑与计算。2013年9月，乔治亚州古多里。
  • PC成员第五届计算机代数与余代数会议科学，CALCO 2013。波兰华沙，2013年9月。
  • PC成员第24届国际会议并发理论，CONCUR 2013。阿根廷布宜诺斯艾利斯，八月2013
  • PC成员第29届国际数学基础会议编程语义。2013年6月，美国新奥尔良。
  • PC成员第十届量子物理与逻辑研讨会。巴塞罗那，西班牙，2013年6月。
  • 成员外部审查委员会第40届美国计算机学会编程原理年会语言（POPL）。意大利罗马，2013年1月。
  • PC成员图灵一百周年会议，欧洲可计算性，2012年欧洲计算机学会，英国剑桥，2012年6月。
  • PC成员第八届国际计算发展研讨会模型，2012年6月在英国剑桥举行的CiE 2012卫星研讨会。
  • PC成员第二十八届数学基础会议《编程语义》，英国巴斯，2012年6月。
  • PC成员在美国伊萨卡举行的纪念德克斯特·科赞60岁生日研讨会，2012年4月。
  • PC成员第十一届计算机拼图方法国际研讨会《科学》，爱沙尼亚塔林，2012年3月-4月。
  • PC成员第八届量子物理与逻辑研讨会（QPL），奈梅亨荷兰，2011年10月。
  • PC成员量子物理研讨会在荷兰格罗宁根TARK召开，2011年7月。
  • PC成员第38届国际自动化、语言和编程学术讨论会，苏黎世，瑞士，2011年7月。
  • PC成员第18届逻辑、语言、信息和计算研讨会（WoLLIC 2011），宾夕法尼亚州费城，2011年5月。
  • PC成员第27届程序设计数学基础会议Semantics，美国匹兹堡，2011年5月。
  • PC成员第38届美国计算机学会编程语言原理年会2011年1月，美国奥斯汀。
  • PC联合主席FLoC计算模型发展研讨会2010年7月，苏格兰爱丁堡。
  • PC成员IARCS软件技术基础年会理论计算机科学，印度钦奈，2010年12月。
  • PC成员第21届国际并行会议，CONCUR 2010。巴黎，法国；2010年9月。
  • PC成员第19届EACSL计算机科学逻辑年会，布尔诺，捷克共和国，2010年8月。
  • PC联合主席FLoC计算模型发展研讨会2010年7月，苏格兰爱丁堡。
  • PC成员第26届程序设计数学基础会议语义，加拿大渥太华，2010年5月。
  • Bellairs生物系统计算建模研讨会组织者。巴巴多斯，2009年3月16日至3月20日。
  • 第十二届软件科学和计算结构基础国际会议项目委员会成员。3月22日至3月29日，英国约克。
  • 2009年4月3日至7日，英国牛津，第二十五届编程语义数学基础会议项目委员会成员。
  • 第六届量子物理和逻辑研讨会项目委员会联合主席。2009年4月8日至9日，英国牛津。
  • 2009年8月11日至14日，美国加利福尼亚州洛杉矶市，第二十四届IEEE计算机科学逻辑研讨会（LICS 2009）项目委员会成员。

    第五届年会项目委员会成员欧洲的可计算性，2009年7月19日至24日，海德堡，德国。
  • Bellairs拓扑量子计算和量子信息理论研讨会组织者。巴巴多斯，2008年3月17日至3月21日。
  • 2008年3月29日至4月6日在匈牙利布达佩斯举行的FoSSaCS 2008：第十一届软件科学和计算结构基础国际会议项目委员会成员。
  • 3月29日至30日，匈牙利布达佩斯QAPL 2008项目委员会成员。
  • 2008年6月于中国上海举行的FICS 2008第一届信息学、计算和软件基础国际会议项目委员会联合主席。
  • QPL-DCM 2008项目委员会联合主席，量子编程语言和计算模型开发联合研讨会，附属于自动化语言和编程国际学术讨论会，2008年7月，冰岛雷杰卡维克。
  • 2008年8月，加拿大安大略省多伦多市CONCUR 2008附属的SecCo 2008第四次并发安全问题国际研讨会项目委员会联合主席。这是SecCo 2007的网页。
  • QEST 2008项目委员会联合主席：2008年9月，法国圣马洛。
  • 会议组织者Bellairs安全推理数学方法研讨会2007年3月19日至3月23日。
  • 2007年8月20日至24日，第二届计算机科学代数和余代数会议项目委员会，挪威卑尔根。
  • 第十四届逻辑、语言、信息和计算研讨会（WoLLIC’2007）项目委员会，巴西里约热内卢，2007年7月2-5日
  • 2007年7月9日，波兰弗罗茨瓦夫，2007年结构操作语义项目委员会（SOS 2007）。
    2007年9月16日至19日，苏格兰爱丁堡，第四届系统定量评估国际会议（QEST）项目委员会。


    		•
    11