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
Event
DisCoTec 2015
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
Event
SAFECOMP 2015
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
Page
Program Agenda
Meeting archives: 2010 | 2011 | 2012 | 2013 | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 |
Submitted by Emily Wehby on October 9th, 2014
Announcement
Call for Proposals for Workshops at FM2015 (20th Intl. Symposiumon Formal Methods); 22.-26. June, 2015, Oslo
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