Modeling

The formalization of system engineering models and approaches.
event

Visible to the public  MODELS 2017
Sep 17, 2017 7:00 am - Sep 22, 2017 6:00 pm CDT

ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems.

MODELS is the premier conference series for model-based software and systems engineering which since 1998 has been covering all aspects of modeling, from languages and methods to tools and applications.

event

Visible to the public  IoA 2017
May 08, 2017 7:00 am - 6:00 pm -03

The Second International Workshop on the Internet of Agents (IoA)

In conjunction with AAMAS Conference 2017

event

Visible to the public  FORMATS 2017
Sep 05, 2017 7:00 am - Sep 07, 2017 6:00 pm CEST

15th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2017)

The 15th International Conference on Formal Modelling and Analysis of Timed Systems will take place in Berlin (Germany). The event will be co-located with the 28th International Conference on Concurrency Theory (CONCUR) and the 14th International Conference on Quantitative Evaluation of SysTems (QEST), during QONFEST 2017.