The formalization of system engineering models and approaches.
Event
CONCUR 2016
The 27th International Conference on Concurrency Theory (CONCUR2016)
The 27th International Conference on Concurrency Theory will take place in Québec City, Canada, 23-26 August 2016. The event will be co-located with the 13th QEST International Conference on Quantitative Evaluation of SysTems (QEST) and the 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS).
Event
WATERS 2016
7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2016)
a satellite workshop of the 28th Euromicro Conference on Real-Time Systems (ECRTS 2016)
Event
DMA 2016
Second International Conference on Data Mining and Applications (DMA 2016)
March 26~27,2016 | Geneva,Switzerland | http://cosit2016.org/dma/index.html
Scope & Topics
Event
GCM 2016
Seventh International Workshop on Graph Computation Models (GCM 2016)
A satellite event of STAF 2016
Event
SAFECOMP 2016
The 35th International Conference on Computer Safety, Reliability and Security (SAFECOMP2016)
ABOUT SAFECOMP
Event
SEsCPS 2016
2nd INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SMART CYBER-PHYSICAL SYSTEMS (SEsCPS)
In conjunction with ICSE 2016
May 14-22, 2016 | Austin, TX, USA) | http://d3s.mff.cuni.cz/conferences/sescps2016/
INTRODUCTION
Event
SAMOS XVI
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XVI)
Samos, Greece | July 18-21, 2016 | http://www.samos-conference.com
Event
RoboCup 2016
RoboCup International Symposium 2016
OVERVIEW
The 20th Annual RoboCup International Symposium will be held in conjunction with RoboCup 2016. The Symposium is a primary venue for presentation and discussion of scientific contributions to a variety of research areas related to all RoboCup divisions (RoboCup Soccer, RoboCup Rescue, RoboCup at Home, RoboCup at Work, and RoboCup Junior). Its scope includes, but is not restricted to, research and educational activities in robotics and artificial intelligence.
Event
ICE 2016
9th Interaction and Concurrency Experience (ICE 2016)
June 8-9, 2016 | Heraklion, Greece | http://2016.discotec.org/ice2016
Satellite workshop of DisCoTec 2016 (http://2016.discotec.org)
Highlights