Modeling

The formalization of system engineering models and approaches.
event

Visible to the public  GameSec 2020 (Online)
Oct 28, 2020 7:00 am - Oct 30, 2020 6:00 pm EDT

11th Conference on Decision and Game Theory for Security (GameSec 2020)

Modern societies are becoming dependent on information, automation, and communication technologies more than ever. Managing the security of the emerging systems, many of them safety critical, poses significant challenges.

forum

Visible to the public CfP: MODELS 2021

event

Visible to the public  MODELS 2021
Oct 10, 2021 7:00 am - Oct 15, 2021 6:00 pm HKT

ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS 2021)

October 10 - 15, 2021 | Fukuoka City, Japan | https://conf.researchr.org/home/models-2021

forum

Visible to the public CfP: The 17th European Conference on Modelling Foundations and Applications (ECMFA 2021)

CALL FOR PAPERS

The 17th European Conference on Modelling Foundations and Applications (ECMFA 2021)

June 21-25 Bergen, Norway | colocated with STAF 2021

About ECMFA

Model-Based Engineering (MBE) is an approach to the design, analysis, and development of software and systems that relies on exploiting high-level models and computer-based automation to achieve significant boosts in both productivity and quality.

event

Visible to the public  SEFM 2020 - Virtual
Sep 14, 2020 7:00 am - Sep 18, 2020 6:00 pm CEST

Software Engineering and Formal Methods (SEFM 2020)

SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

SEFM 2020 will be an entirely virtual event

event

Visible to the public  SEFM 2019
Sep 16, 2019 7:00 am - Sep 20, 2019 6:00 pm CEST

17th edition of the International Conference on Software Engineering and Formal Methods (SEFM 2019)

SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

Topics of interest include, but are not limited to, the following aspects of software engineering and formal methods:

Software Development Methods