Theoretical aspects of cyber-physical systems.
Event
SpringSim'15
The 2015 Spring Simulation Multi-Conference (SpringSim'15) is an annual conference sponsored by SCS which covers state-of-the-art developments in computer simulation technologies, as well as scientific, industrial, and business applications. With over 220 abstracts submitted up to date, keynotes, student activities, vendor and turorial trackls, SpringSim 2015 promises to be one of the most exciting events to attend in 2015. The following symposia will take place at SpringSim 2015:
Submitted by Anonymous on October 24th, 2014
The DisCoTec series of federated conferences is one of the major events sponsored by the International Federation for Information processing (IFIP). The main conferences, taking place on June 2-4, 2015 at  Inria Grenoble – Rhône-Alpes are:
Submitted by Anonymous on October 20th, 2014
Event
MOMAC 2015
Second International Workshop on Multi-Objective Many-Core Design (MOMAC)  in conjunction with International Conference on Architecture of Computing Systems (ARCS 2015) IMPORTANT DATES Paper submission deadline: December 1, 2014 Notification of acceptance: January 16, 2015 Final version: February 16, 2015 Dear colleagues, please consider the opportunity to contribute to the Second Workshop on Multi-Objective Many-Core Design (MOMAC) to be held in Porto, Portugal in conjunction with ARCS 2015.
Submitted by Anonymous on October 20th, 2014
Event
FIT-IoT-LAB
Internet of Things Conference (IoT) FIT- IoT-LAB   November 6 & 7 2014, Grenoble, France Scope
Submitted by Anonymous on October 20th, 2014
Event
RAPIDO'15
RAPIDO'15  7th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools - RAPIDO  Held in conjunction with the HiPEAC Conference  (http://www.hipeac.net/conference)
Submitted by Anonymous on October 20th, 2014
SAFECOMP 2015 "Assured connectivity" The 34th International Conference on Computer Safety, Reliability and Security 22-25 September 2015, Delft, the Netherlands http://safecomp2015.tudelft.nl/
Submitted by Anonymous on October 20th, 2014
Event
MODPROD 2015
9th MODPROD Workshop on Model-Based Product Development, February 3-4, 2015 Special theme for this year: Open Source Keynotes for MODPROD'2015 Workshop
Submitted by Anonymous on October 20th, 2014
Event
FESCA 2015
12th International Workshop on Formal Engineering approaches to Software Components and Architectures Satellite event of ETAPS WORKSHOP AIM
Submitted by Anonymous on October 20th, 2014
Meeting archives: 2010 | 2011 | 2012 | 2013 | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 |
Emily  Wehby Submitted by Emily Wehby on October 9th, 2014
The 20th International Symposium on Formal Methods (FM 2015) Oslo, Norway, June 22-26, 2015. For this major event, we are inviting people to submit proposals for workshops.
Submitted by Anonymous on September 30th, 2014
Subscribe to Foundations