Submitted by Anonymous on Thu, 04/26/2018 - 11:47am
25th International Open Workshop on Synchronous Programming (SYNCHRON 2018)
The 25th International Open Workshop on Synchronous Programming and related technologies will be held this year in France, in the "Villa Clythia" CNRS resort on the French Riviera, from November 26th to 30th.
Submitted by Anonymous on Fri, 04/20/2018 - 12:04pm
15th International Conference on Informatics in Control, Automation and Robotics
The purpose of the 15th International Conference on Informatics in Control, Automation and Robotics (ICINCO) is to bring together researchers, engineers and practitioners interested in the application of informatics to Control, Automation and Robotics. Four simultaneous tracks will be held, covering Intelligent Control Systems, Optimization, Robotics, Automation, Signal Processing, Sensors, Systems Modelling and Control, and Industrial Informatics.
Submitted by Anonymous on Fri, 04/20/2018 - 11:24am
18th International Conference on Runtime Verification (RV 2018)
Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification.
