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 条
  • [21] Message from PICom 2020 Program Chairs and General Chairs
    Delicato, Flavia C.
    Chen, Liang
    Pires, Paulo F.
    Corchado, Juan
    Proceedings - IEEE 18th International Conference on Dependable, Autonomic and Secure Computing, IEEE 18th International Conference on Pervasive Intelligence and Computing, IEEE 6th International Conference on Cloud and Big Data Computing and IEEE 5th Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2020, 2020,
  • [22] Message from DASC 2020 Program Chairs and General Chairs
    1600, Institute of Electrical and Electronics Engineers Inc.
  • [23] Message from the Program Chairs IDS 2020
    Khan, Latifur
    Yu, Shui
    Zhang, Cheng
    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,
  • [24] Message from the AICCSA 2020 Program Chairs
    Vargas-Solar, Genoveva
    Musicante, Martin A.
    Proceedings of IEEE/ACS International Conference on Computer Systems and Applications, AICCSA, 2020, 2020-November
  • [25] Message from the general chairs: ACSOS 2020
    El-Ghazari, Tarek
    Parashar, Manish
    Steghöfer, Jan-Philipp
    Proceedings - 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2020, 2020,
  • [26] Message from the TPC chairs HOTI 2020
    Grant, Ryan
    Venkata, Manjunath Gorentla
    Proceedings - Symposium on the High Performance Interconnects, Hot Interconnects, 2020, 2020-August
  • [27] Message from A-MOST 2020 Chairs
    Hierons, Rob
    Nunez, Manuel
    Pretschner, Alexander
    1600, Institute of Electrical and Electronics Engineers Inc., United States
  • [28] Message from the CCEM 2020 Program Chairs
    Radhakrisha, P.
    Subramaniam, K.V.
    1600, Institute of Electrical and Electronics Engineers Inc.
  • [29] Message from DSS 2020 Steering Chairs
    Yang, Laurence T
    Chen, Jinjun
    Proceedings - 2020 IEEE 22nd International Conference on High Performance Computing and Communications, IEEE 18th International Conference on Smart City and IEEE 6th International Conference on Data Science and Systems, HPCC-SmartCity-DSS 2020, 2020,
  • [30] Message from the SEIS chairs of ICSE 2020
    Sarma, Anita
    Lee, Seok-Won
    1600, IEEE Computer Society
12345