Third International Workshop on Bidirectional Transformations (BX 2014)

co-located with EDBT/ICDT 2014

The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science.

ETAPS, established in 1998, is a confederation of six main annual conferences (CC, ESOP, FASE, FoSSaCS, POST and TACAS) accompanied by satellite workshops and other events.

The seventeenth edition, ETAPS 2014, will take place in Grenoble, France.

This is the first time that ETAPS returns to a city where it has already been. ETAPS 2002 was also held here.

Symposium on Theory of Modeling and Simulation (formerly known as the DEVS Integrative M&S Symposium), TMS'14

TMS'14 will be held on April 13-16, as part of the 2014 Spring Simulation Multiconference at the Grand Hyatt Tampa Bay in Tampa, FL, USA.

The ARCS series of conferences has over 30 years of tradition reporting top notch results in computer architecture and operating systems research. The focus of the 2014 conference will be on embedded computer systems connecting computing with the physical world. Like the previous conferences in this series, it continues to be an important forum for computer architecture research.

In 2014 ARCS will be organized by the Institute of Computer Engineering and will be hosted by the University of Lubeck, Germany.

Conference on High Confidence Networked Systems (HiCoNS) at CPSWeek 2014

3rd ACM International Conference on High Confidence Networked Systems (HiCoNS) will be held April 15-17, 2014 in Berlin, Germany as part of Cyber Physical Systems Week 2014 (CPSWeek 2014).