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.

1st International Workshop on Synthesis of Continuous Parameters

April 6th 2014, Grenoble, France

Aim

SynCoP aims at bringing together researchers working on parameter synthesis for systems with continuous variables, where the parameters consist of a (usually dense) set of constant values. Such problems arise for real-time, hybrid or probabilistic systems where the goal is to identify suitable parameters to achieve desired behavior, or to verify the behavior for a given range of parameter values.

6th Workshop on:
Rapid Simulation and Performance Evaluation:
 Methods and Tools


Jan 2014, Vienna, Austria

9th International Conference on High-Performance and Embedded Architectures and Compilers

The HiPEAC conference aims to become the premier forum for experts in computer architecture, programming models, compilers and operating systems for embedded and general-purpose systems.  Emphasis is given on either cross-cutting research (embedded/high performance, architecture/software stack, etc.) or innovative ideas (new programming models, novel architecture approaches to cope with technology constraints or new technologies, et

2nd Workshop on
High-performance and Real-time Embedded Systems
(HiRES 2014)

January 20, 2014, Vienna, Austria

To be held in conjunction with the
9th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2014)
http://www.hipeac.net/hipeac2014

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.  

4th International Workshop on

held within the
SCS/ACM/IEEE Symposium on Theory of Modeling and Simulation
part of SpringSim 2014

Needham, MA—The Object Management Group (OMG®) will be hosting the formative meeting of a Security Fabric Special Interest Group (SFSIG) at its quarterly technical meeting at the Hyatt Regency in New Brunswick, NJ on Wednesday, September 25th at 1:30pm EST.
 

       The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to facilitate their uptake in the software industry and to encourage their integration with practical engineering methods. Papers that combine formal methods and software engineering are especially welcome.

Call for Participation