会员服务
FM · AIM · Engineering · 在线 · 软件工程 ·
2021 年 11 月 15 日
Proceedings First Workshop on Applicable Formal Methods
翻译：第一次适用正式方法讲习班
Mario Gleirscher,Jaco van de Pol,Jim Woodcock
Mario Gleirscher,Jaco van de Pol,Jim Woodcock

This volume contains the proceedings of the 1st International Workshop on Applicable Formal Methods (AppFM 2021), 23 November 2021, held online as part of the 24th International Symposium on Formal Methods (FM). The aim of the AppFM workshop is to bring together researchers who improve and evaluate existing formal approaches and new variants in practical contexts and support the transfer of these approaches to software engineering practice.


翻译：本卷载有2021年11月23日在网上举行的第一次适用正式方法国际讲习班(AppFM 2021)的会议记录,该讲习班是第二十四届正式方法国际专题讨论会的一部分,目的是汇集研究人员,在实际情况下改进和评估现有的正式方法和新的变体,并支持将这些方法转用于软件工程实践。
0
下载
关闭预览

相关内容

FM 2019是正式方法欧洲（FME）组织的系列国际研讨会中的第23次，该协会是一个独立的协会，旨在促进软件开发正式方法的使用和研究。官网链接：http://formalmethods2019.inesctec.pt/?page_id=565
SIGIR2021接受论文列表公布！151篇论文都在这了！
专知会员服务
37+阅读 · 2021年4月27日
自然语言处理顶会COLING2020最佳论文出炉！
自然语言处理顶会COLING2020最佳论文出炉！
专知会员服务
23+阅读 · 2020年12月12日
NeurIPS 2020接收论文列表发布，1900篇论文都在这了！
专知会员服务
113+阅读 · 2020年10月8日
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
专知会员服务
70+阅读 · 2020年8月2日
IJCAI2020接受论文列表，592篇论文pdf都在这了！
IJCAI2020接受论文列表，592篇论文pdf都在这了！
专知会员服务
63+阅读 · 2020年7月16日
因果图，Causal Graphs，52页ppt
因果图，Causal Graphs，52页ppt
专知会员服务
238+阅读 · 2020年4月19日
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
专知会员服务
86+阅读 · 2020年2月12日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
52+阅读 · 2020年1月30日
【深度学习表格检测、信息提取和结构化】《Table Detection, Information Extraction and Structuring using Deep Learning》by Vihar Kurama
专知会员服务
35+阅读 · 2020年1月23日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
167+阅读 · 2019年10月11日
计算机 | IUI 2020等国际会议信息4条
计算机 | IUI 2020等国际会议信息4条
Call4Papers
6+阅读 · 2019年6月17日
CCF A类 | 顶级会议RTSS 2019诚邀稿件
CCF A类 | 顶级会议RTSS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年4月17日
计算机 | ISMAR 2019等国际会议信息8条
计算机 | ISMAR 2019等国际会议信息8条
Call4Papers
3+阅读 · 2019年3月5日
IEEE | DSC 2019诚邀稿件 (EI检索)
IEEE | DSC 2019诚邀稿件 (EI检索)
Call4Papers
10+阅读 · 2019年2月25日
大数据 | 顶级SCI期刊专刊/国际会议信息7条
大数据 | 顶级SCI期刊专刊/国际会议信息7条
Call4Papers
10+阅读 · 2018年12月29日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
计算机类 | SIGMETRICS 2019等国际会议信息7条
计算机类 | SIGMETRICS 2019等国际会议信息7条
Call4Papers
9+阅读 · 2018年10月23日
人工智能类 | 国际会议/SCI期刊专刊信息9条
人工智能类 | 国际会议/SCI期刊专刊信息9条
Call4Papers
4+阅读 · 2018年7月10日
【今日新增】计算机领域国际会议截稿信息
【今日新增】计算机领域国际会议截稿信息
Call4Papers
9+阅读 · 2017年7月21日
【今日新增】IEEE Trans.专刊截稿信息8条
【今日新增】IEEE Trans.专刊截稿信息8条
Call4Papers
7+阅读 · 2017年6月29日
Benchmark datasets driving artificial intelligence development fail to capture the needs of medical professionals
Benchmark datasets driving artificial intelligence development fail to capture the needs of medical professionals
Arxiv
0+阅读 · 2022年1月18日
Causal Analysis Framework for Recommendation
Arxiv
0+阅读 · 2022年1月18日
Proceedings of the 4th Workshop on Online Recommender Systems and User Modeling -- ORSUM 2021
Arxiv
0+阅读 · 2022年1月17日
Bandit Data-Driven Optimization
Arxiv
0+阅读 · 2022年1月14日
Tools and Practices for Responsible AI Engineering
Arxiv
3+阅读 · 2022年1月14日
A Survey on Multi-modal Summarization
Arxiv
48+阅读 · 2021年9月11日
Graph Neural Networks: Methods, Applications, and Opportunities
Arxiv
91+阅读 · 2021年8月24日
A Comprehensive Comparison of Unsupervised Network Representation Learning Methods
Arxiv
5+阅读 · 2019年3月19日
Interpretable machine learning: definitions, methods, and applications
Interpretable machine learning: definitions, methods, and applications
Arxiv
17+阅读 · 2019年1月14日
To Cluster, or Not to Cluster: An Analysis of Clusterability Methods
To Cluster, or Not to Cluster: An Analysis of Clusterability Methods
Arxiv
4+阅读 · 2018年8月24日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
FM
AIM
Engineering
在线
软件工程
相关VIP内容
SIGIR2021接受论文列表公布！151篇论文都在这了！
专知会员服务
37+阅读 · 2021年4月27日
自然语言处理顶会COLING2020最佳论文出炉！
自然语言处理顶会COLING2020最佳论文出炉！
专知会员服务
23+阅读 · 2020年12月12日
NeurIPS 2020接收论文列表发布，1900篇论文都在这了！
专知会员服务
113+阅读 · 2020年10月8日
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
专知会员服务
70+阅读 · 2020年8月2日
IJCAI2020接受论文列表，592篇论文pdf都在这了！
IJCAI2020接受论文列表，592篇论文pdf都在这了！
专知会员服务
63+阅读 · 2020年7月16日
因果图，Causal Graphs，52页ppt
因果图，Causal Graphs，52页ppt
专知会员服务
238+阅读 · 2020年4月19日
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
专知会员服务
86+阅读 · 2020年2月12日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
52+阅读 · 2020年1月30日
【深度学习表格检测、信息提取和结构化】《Table Detection, Information Extraction and Structuring using Deep Learning》by Vihar Kurama
专知会员服务
35+阅读 · 2020年1月23日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
167+阅读 · 2019年10月11日
热门VIP内容
相关资讯
计算机 | IUI 2020等国际会议信息4条
计算机 | IUI 2020等国际会议信息4条
Call4Papers
6+阅读 · 2019年6月17日
CCF A类 | 顶级会议RTSS 2019诚邀稿件
CCF A类 | 顶级会议RTSS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年4月17日
计算机 | ISMAR 2019等国际会议信息8条
计算机 | ISMAR 2019等国际会议信息8条
Call4Papers
3+阅读 · 2019年3月5日
IEEE | DSC 2019诚邀稿件 (EI检索)
IEEE | DSC 2019诚邀稿件 (EI检索)
Call4Papers
10+阅读 · 2019年2月25日
大数据 | 顶级SCI期刊专刊/国际会议信息7条
大数据 | 顶级SCI期刊专刊/国际会议信息7条
Call4Papers
10+阅读 · 2018年12月29日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
计算机类 | SIGMETRICS 2019等国际会议信息7条
计算机类 | SIGMETRICS 2019等国际会议信息7条
Call4Papers
9+阅读 · 2018年10月23日
人工智能类 | 国际会议/SCI期刊专刊信息9条
人工智能类 | 国际会议/SCI期刊专刊信息9条
Call4Papers
4+阅读 · 2018年7月10日
【今日新增】计算机领域国际会议截稿信息
【今日新增】计算机领域国际会议截稿信息
Call4Papers
9+阅读 · 2017年7月21日
【今日新增】IEEE Trans.专刊截稿信息8条
【今日新增】IEEE Trans.专刊截稿信息8条
Call4Papers
7+阅读 · 2017年6月29日
相关论文
Benchmark datasets driving artificial intelligence development fail to capture the needs of medical professionals
Benchmark datasets driving artificial intelligence development fail to capture the needs of medical professionals
Arxiv
0+阅读 · 2022年1月18日
Causal Analysis Framework for Recommendation
Arxiv
0+阅读 · 2022年1月18日
Proceedings of the 4th Workshop on Online Recommender Systems and User Modeling -- ORSUM 2021
Arxiv
0+阅读 · 2022年1月17日
Bandit Data-Driven Optimization
Arxiv
0+阅读 · 2022年1月14日
Tools and Practices for Responsible AI Engineering
Arxiv
3+阅读 · 2022年1月14日
A Survey on Multi-modal Summarization
Arxiv
48+阅读 · 2021年9月11日
Graph Neural Networks: Methods, Applications, and Opportunities
Arxiv
91+阅读 · 2021年8月24日
A Comprehensive Comparison of Unsupervised Network Representation Learning Methods
Arxiv
5+阅读 · 2019年3月19日
Interpretable machine learning: definitions, methods, and applications
Interpretable machine learning: definitions, methods, and applications
Arxiv
17+阅读 · 2019年1月14日
To Cluster, or Not to Cluster: An Analysis of Clusterability Methods
To Cluster, or Not to Cluster: An Analysis of Clusterability Methods
Arxiv
4+阅读 · 2018年8月24日
Top
微信扫码咨询专知VIP会员
Top