Modeling

The formalization of system engineering models and approaches.
forum

Visible to the public 15 Research Positions for PhD Candidates (f / m) System Correctness under Adverse Conditions (SCARE)

Submitted by Anonymous on Mon, 12/05/2016 - 12:07pm

On 11 November 2016, the DFG extended SCARE for a second phase of 4,5 years duration starting from 1 April 2017. This comprises 15 new doctoral positions of three years each.

The Carl von Ossietzky University of Oldenburg, Germany, offers

event

Visible to the public  ICINCO 2017
Jul 29, 2017 7:00 am - Jul 31, 2017 6:00 pm CEST

Submitted by Anonymous on Thu, 12/01/2016 - 5:03pm

14th International Conference on Informatics in Control, Automation and Robotics (ICINCO)

In Cooperation with: AAAI, INNS, EUROMICRO, euRobotics AISBL, RSJ, SBA, SPR and EurAI
Technically Co-sponsored by: IEEE and IEEE-RAS
Co-organized by: Universidad Rey Juan Carlos
Sponsored by: INSTICC
INSTICC is Member of: WfMC and FIPA
Logistics Partner: SCITEVENTS

event

Visible to the public  STAF'17
Jul 17, 2017 7:00 am - Jul 21, 2017 6:00 pm CEST

Submitted by Anonymous on Thu, 12/01/2016 - 4:00pm

STAF 2017 Software Technologies: Applications and Foundations

Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. The participating conferences focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.

event

Visible to the public  SDS 2017
May 08, 2017 7:00 am - May 11, 2017 6:00 pm CEST

Submitted by Anonymous on Thu, 12/01/2016 - 2:49pm

The Fourth International Conference on Software Defined Systems (SDS-2017)

Next generation cloud systems will require a paradigm shift in how they are constructed and managed. Conventional control and management platforms are facing considerable challenges regarding flexibility, dependability and security that next generation systems will require. The cloud computing paradigm has gone part of the way towards alleviating some of the problems associated with resource allocation, utilization and managements (e.g., via elasticity).