2019

event

Visible to the public  STAF 2019
Jul 15, 2019 7:00 am - Jul 19, 2019 6:00 pm CEST

Software Technologies: Applications and Foundations (STAF)

Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event in 2012, providing a umbrella organisation, with a steering committee that aims to provide continuity. The STAF federated event runs annually; the conferences that participate may vary from year to year, but all focus on practical and foundational advances in software technology.

event

Visible to the public  ICGT 2019
Jul 15, 2019 7:00 am - 6:00 pm CEST

12th International Conference on Graph Transformation (ICGT 2019)

Part of STAF 2019

event

Visible to the public  ICMT 2019
Feb 27, 2019 7:00 pm - Feb 28, 2019 6:00 pm CET

International Conference on Model Transformation

Conference Aims and Objectives

event

Visible to the public  SPIN 2019
Jul 15, 2019 7:00 am - Jul 19, 2019 6:00 pm +07

26th International SPIN Symposium on Model Checking of Software (SPIN 2019)

Co-located with ISSTA 2019

event

Visible to the public  LCTES 2019
Jun 22, 2019 7:00 am - Jun 28, 2019 6:00 pm CDT

ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems

Embedded system design faces many challenges both with respect to functional requirements and nonfunctional requirements. The challenges are in the design process, developer productivity, verification, validation, maintainability, and meeting performance goals and resource constraints of the embedded system.

event

Visible to the public  Ada-Europe 2019
Jun 10, 2019 7:00 am - Jun 14, 2019 6:00 pm CEST

The 24th International Conference on Reliable Software Technologies - Ada-Europe 2019

Scope and Topics

event

Visible to the public  DisCoTec 2019
Jun 18, 2019 7:00 am - Jun 21, 2019 6:00 pm EDT

14th International Federated Conference on Distributed Computing Techniques (DisCoTec 2019)

The DisCoTec series of federated conferences is one of the major events sponsored by the International Federation for Information Processing (IFIP). It gathers three main conferences:

event

Visible to the public  CyberSA 2019
Jun 03, 2019 7:00 am - Jun 04, 2019 6:00 pm BST

IEEE International Conference on Cyber Situational Awareness, Data Analytics and Assessment (CyberSA 2019)

CyberSA 2019 is co-located with other conferences as part of Cyber Science 2019.

event

Visible to the public  FormaliSE 2019
May 27, 2019 7:00 am - 6:00 pm EDT

7TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FormaliSE 2019)

co-located with ICSE 2019

event

Visible to the public  GIoTS 2019
Jun 17, 2019 7:00 am - Jun 21, 2019 6:00 pm EDT

IEEE Global IoT Summit (GIoTS 2019)

COLLOCATED WITH IOT WEEK 2019

IEEE Global IoT Summit (GIoTS) is a scientific conference that presents scientific papers on the most recent IoT research results with the aim to bring together the research and industry communities active in the IoT domain. The GIoTS conference is collocated with IoT Week and is endorsed by IEEE and driven by the IEEE Subcommittee on IoT and the IoT Forum.

After two successful editions in Geneva and Bilbao, the next GIoTS will be organized in Aarhus in Denmark.