写博客>>
2020年大众
2020年1月25日星期六至星期日
美国路易斯安那州新奥尔良
切换导航
参加
地点:新奥尔良JW万豪酒店
餐厅:皇宫咖啡厅
登记处
在线参与
去美国旅行
辅导活动
学生信息
行为准则
支持POPL
无障碍
SIGPLAN护理
程序
完成计划
您的计划
按天筛选
1月19日周日
1月20日周一
1月21日星期二
1月22日星期三
1月23日星期四
1月24日星期五
1月25日星期六
曲目
2020年大众
研究论文
工件评估
学生研究竞赛
研讨会和联合活动
教程节
POPLmark 15年回顾小组
盟友技能课程
LGBTQ午餐
辅导早餐
W@POPL晚餐
学生志愿者
联合主办的会议
清洁石油产品
VMCAI公司
研讨会
ADSL公司
CoqPL公司
相位
拉丁美洲金融机构
(néPPS)
政治公众人物
PLMW公司
PLanQC公司
PriSC公司
PriSC公司
安全编译原则
-Lucet:一个用于高一致性低延迟沙盒的编译器和运行时
WGT公司
联合举办的座谈会
PADL(PADL)
组织
POPL 2020委员会
组织委员会
指导委员会
轨道委员会
研究论文
工件评估
学生研究竞赛
教程节
POPLmark 15年回顾小组
面板
组织委员会
盟友技能课程
LGBTQ午餐
辅导早餐
W@POPL晚餐
学生志愿者
贡献者
人员索引
联合主办的会议
清洁石油产品
项目委员会
VMCAI公司
受邀演讲人
组织委员会
项目委员会
文物评估委员会
指导委员会
研讨会
ADSL公司
组织委员会
项目委员会
CoqPL公司
受邀演讲人
组织委员会
项目委员会
哈斯
组织委员会
项目委员会
拉丁美洲金融机构
项目委员会
指导委员会
政治公众人物
PC椅子
项目委员会
PLMW公司
组织委员会
受邀演讲人
小组成员
PLanQC公司
组织委员会
项目委员会
PriSC公司
项目委员会
指导委员会
WGT公司
组织委员会
项目委员会
联合举办的座谈会
PADL(PADL)
项目主席
项目委员会
宣传主席
搜索
系列
系列
POPL 2025年
2024年POPL
2023年POPL
2022年POPL
2021年大众
2020年大众
2019年POPL
2018年POPL
2017年POPL
2016年POPL
登录
注册
2020年大众
(
系列
) /
2020年VMCAI(
系列
) /
VMCAI 2020-第21届验证、模型检查和抽象解释国际会议
/
工艺品评估委员会
VMCAI公司
阿列什·比兹亚克
奥胡斯大学
丹麦
马丁·布隆伯格
MPI-INF接口
德国
玛丽亚姆·达巴奇安
犹他大学
西蒙·迪尔
丹尼尔·迪奇
工件评估主席
弗莱堡大学
德国
雷娜·迪米特洛娃
英国莱斯特大学
马蒂亚斯·弗勒里
MPI-INF接口
德国
阿尔科斯·哈伊杜
布达佩斯科技经济大学
匈牙利
马塞尔·哈克
德国亚琛RWTH大学
本·赫尔曼
帕德博恩大学
德国
克里斯蒂安·埃雷拉
fortiss股份有限公司
德国
玛丽·克里斯汀·雅各布斯
工件评估主席
德国达姆施塔特大学
马丁·乔纳什
布鲁诺·凯斯勒基金会
意大利
比肖克桑·卡夫勒
墨尔本大学
澳大利亚
马丁·凯洛格
西雅图华盛顿大学
美国
斯文·林克尔
阿莱西奥·曼苏蒂
CNRS、LSV、ENS Paris-Saclay
马可·穆尼兹
奥尔堡大学
丹麦
亚尼克·诺勒
洪堡-柏林大学
科斯蒂安·波托姆金
克里斯蒂安·席林
IST奥地利
奥地利
马丁·斯皮尔斯
慕尼黑大学
德国
x个
6月28日星期五11:27