2022年POPL
2022年1月28日星期六至星期五
美国宾夕法尼亚州费城
切换导航
参加
酒店:费城威斯汀酒店
支持POPL
无障碍
Visa信息
登记处
程序
完成计划
您的计划
按天筛选
1月16日周日
1月17日周一
1月18日星期二
1月19日星期三
1月20日星期四
1月21日星期五
1月22日星期六
1月23日星期日
1月24日周一
1月25日星期二
1月26日星期三
1月27日星期四
1月28日星期五
曲目
2022年POPL
POPL公司
学生研究竞赛
学生志愿者
教程节
工件评估
研讨会和联合活动
虚拟研讨会
多样性、公平性和包容性
联合主办的会议
清洁石油产品
VMCAI公司
VMCAI公司
-回到未来:重新审视线性时间逻辑
-顺序信息流
-通过同步合成简化并发编程
研讨会
CoqPL公司
拉丁美洲金融机构
政治公众人物
PLMW公司
PriSC公司
普罗拉拉
程序设计语言与法律
WITS系统
联合举办的座谈会
PADL(PADL)
组织机构
POPL 2022委员会
组织委员会
轨道委员会
POPL公司
学生研究竞赛
教程节
工件评估
虚拟研讨会
贡献者
人员索引
联合主办的会议
清洁石油产品
组织委员会
项目委员会
指导委员会
VMCAI公司
组织委员会
项目委员会
人工制品评估委员会
研讨会
CoqPL公司
受邀演讲者
组织委员会
项目委员会
拉丁美洲金融机构
组织委员会
项目委员会
指导委员会
政治公众人物
组织委员会
项目委员会
指导委员会
PLMW公司
组织委员会
受邀演讲人
专家组成员
PriSC公司
项目委员会
指导委员会
普罗拉拉
项目委员会
智慧
项目委员会
联合举办的座谈会
PADL(PADL)
项目主席
方案委员会
搜索
系列
系列
2025年人口
2024年POPL
2023年POPL
2022年POPL
2021年POPL
2020年POPL
2019年POPL
2018年POPL
2017年POPL
2016年POPL
登录
注册
2022年POPL
(
系列
) /
托马斯·维斯
POPL 2022简介
conf.research.org概述
ETAPS 2019概况
ISSTA/ECOOP 2024简介
PLDI 2020概况
PLDI 2022剖面
PLDI 2023剖面
PLDI 2024简介
PLDI、ECOOP、Curry On、DEBS、LCTES和ISMM简介
POPL 2016简介
POPL 2017简介
POPL 2018简介
POPL 2020简介
POPL 2021简介
POPL 2024简介
SPLASH 2014简介
2017年SPLASH简介
2018年SPLASH简介
SPLASH 2021简介
SPLASH 2022简介
SPLASH 2023简介
自2015年4月10日星期五起注册用户
姓名:
托马斯·维斯
国家/地区:
美国
附属:
纽约大学
个人网站:
https://cs.nyu.edu/wies网站/
贡献
2022
VMCAI公司
静态分析和抽象解释会议主席(VMCAI 2022的一部分)
受邀演讲会议主席(VMCAI 2022的一部分)
VMCAI 2022轨道组织委员会中的项目联合主席
显示其他会议的活动
分享
POPL 2022简介
查看常规配置文件
x
6月24日星期一14:24