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:

Call for Workshops Proposals * DisCoTec 2015 * 10th International Federated Conference on Distributed Computing Techniques http://discotec2015.inria.fr/ June 2-5, 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.

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)

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/

9th MODPROD Workshop on Model-Based Product Development, February 3-4, 2015 Special theme for this year: Open Source Keynotes for MODPROD'2015 Workshop

7th OpenModelica Annual Workshop, February 2, 2015 Applications of OpenModelica Modelica Libraries with OpenModelica Industrial Use Cases OpenModelica in Teaching OpenModelica tool developments Solver issues in OpenModelica Meta modeling and hardware/software modeling Code generation in OpenModelica Parallel compilation and execution Model-based optimization Submission

12th International Workshop on Formal Engineering approaches to Software Components and Architectures Satellite event of ETAPS WORKSHOP AIM

This is the FAME fauilt analyzer and fauit-simulation augmentation system. To build, unpack and look at the README.

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.