Message from the chairs formaliSE 2020

被引：0
|
作者：
Gnesi, Stefania [1 ]
Plat, Nico [2 ]
Bae, Kyungmin [3 ]
Bianculli, Domenico [4 ]
Krstic, Srdan [5 ]
机构：
[1] ISTI-CNR, Italy
[2] Thanos, Netherlands
[3] POSTECH, Korea, Republic of
[4] University of Luxembourg, Luxembourg, Luxembourg
[5] ETH Zürich, Switzerland
来源：
Proceedings - 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering, FormaliSE 2020 | 2020年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Message from the program chairs SBGames 2020
    Formico, Andréia
    Baffa, Augusto
    1600, IEEE Computer Society (2020-November):
  • [42] Message from the General Chairs ACSOS 2020
    El-Ghazari, Tarek
    Parashar, Manish
    Steghofer, Jan-Philipp
    Proceedings - 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2020, 2020,
  • [43] Message from the ISSRE 2020 General Chairs
    Vieira, Marco
    Madeira, Henrique
    Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020, 2020,
  • [44] Message from the general chairs of SAM 2020
    Proceedings of the 12th System Analysis and Modelling Conference, SAM 2020, 2020, : 12 - 22
  • [45] A Message from the KDD 2020 General Chairs
    Liu, Yan
    Gupta, Rajesh
    Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2020,
  • [46] Message from the Program Chairs: HPSC 2020
    Carminati, Barbara
    Lin, Zhiqiang
    Zhang, Haibo
    Proceedings - 2020 IEEE 6th Intl Conference on Big Data Security on Cloud, BigDataSecurity 2020, 2020 IEEE Intl Conference on High Performance and Smart Computing, HPSC 2020 and 2020 IEEE Intl Conference on Intelligent Data and Security, IDS 2020, 2020,
  • [47] Message from the Program Chairs: BigDataSecurity 2020
    Kantarcioglu, Murat
    Xiang, Yang
    Zhu, Yongxin
    1600, Institute of Electrical and Electronics Engineers Inc.
  • [48] Message from the ISMAR 2020 General Chairs
    Teichrieb, Veronica
    Duh, Henry
    Lima, Joao Paulo
    Simoes, Francisco
    Proceedings - 2020 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2020, 2020,
  • [49] Message from HPCC 2020 Program Chairs
    1600, Institute of Electrical and Electronics Engineers Inc.
  • [50] Message from the ProTools 2020 Workshop Chairs
    Bhatele, Abhinav
    Knupfer, Andreas
    Boehme, David
    Markus Geimer
    Proceedings of 2020 IEEE/ACM International Workshop on HPC User Support Tools, HUST 2020 and the Workshop on Programming and Performance Visualization Tools, ProTools 2020 - Held in conjunction with SC 2020: The International Conference for High Performance Computing, Networking, Storage and Analysis, 2020,
12345