Modeling

The formalization of system engineering models and approaches.
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

event

Visible to the public  IEEE ICITE 2020 - Virtual
Sep 11, 2020 6:00 pm - Sep 13, 2020 7:00 pm +07

5th International Conference on Intelligent Transportation Engineering (IEEE ICITE2020)

!Notification about COVID-19! As the coronavirus(COVID-19) spreads worldwide and taking into account the various circumstances of the participants, this year the conference will be held in full virtual conference. We are creating a customized "ICITE online platform" that is a virtual environment where the attendees can present the papers and can participate in all the sessions that will be organized in a full immersive experience.

forum

Visible to the public Call for Demos: RTSS@WORK 2020

CALL FOR DEMOS

Open Demo Session of Real-Time Systems @ RTSS 2020

December 1-4, 2020 | Houston, Texas | http://2020.rtss.org/call-for-demos/

RTSS@Work Timeline

event

Visible to the public  ICPADS 2020
Dec 02, 2020 7:00 am - Dec 04, 2020 6:00 pm HKT

26th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2020)

The 26th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2020) will be held in Hong Kong in December 2020. The conference provides an international forum for scientists, engineers and users to exchange and share their experiences, new ideas, and latest research results on all aspects of parallel and distributed systems. Contributions are solicited in all areas of parallel and distributed systems research and applications.

event

Visible to the public  ITST 2020 - Virtual
Sep 20, 2020 7:00 am - Sep 23, 2020 6:00 pm EDT

The 23rd IEEE International Conference on Intelligent Transportation (ITST 2020)

The 2020 annual flagship conference of the IEEE Intelligent Transportation Systems Society (ITSS) will be held in Rhodes, Greece. The International Conference on Intelligent Transportation Systems (ITSC) welcomes papers and presentations in the field of Intelligent Transportation Systems, dealing with new developments in theory, analysis, simulation and modeling, experimentation, demonstration, case studies, field operational tests, and deployments.

event

Visible to the public  ModComp 2020
Oct 18, 2020 7:00 am - Oct 23, 2020 6:00 pm EDT

7th International Workshop on Interplay of Model-driven and Component-based Software Engineering (ModComp 2020)

hosted by Models 2020 | http://modelsconference.org/