2015

event

Visible to the public  SETS 2015
Jun 23, 2015 8:00 am - 5:00 pm CEST

Submitted by Anonymous on Wed, 01/28/2015 - 1:24pm

2nd International Workshop about Sets and Tools (SETS 2015)
Affiliated to FM 2015, Oslo - Norway

The workshop aims at bringing together researchers interested in set theory, especially to design tools for dealing with set theory, such as interactive or automated theorem provers, proof checkers, theories for general purpose proof tools, constraint solvers, programming languages etc. See the call for papers for more details regarding the scope of this workshop.

event

Visible to the public  AVoCS 2015
Sep 01, 2015 8:00 am - Sep 04, 2015 5:00 pm BST

Submitted by Anonymous on Tue, 01/27/2015 - 6:54pm

The 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) will take place 1-4 September 2015 in Edinburgh, UK. The workshop is organised by the Computer Science department within the School of Mathematical and Computer Sciences at Heriot-Watt University and will be held in the ICMS building found in the historic old town of the Edinburgh, and will be collocated with the 6th AI4FM workshop, which will be held on 1 September.

event

Visible to the public  OSPERT 2015
Jul 07, 2015 8:00 am - 5:00 pm CEST

Submitted by Anonymous on Tue, 01/27/2015 - 6:37pm

11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications

OSPERT is a forum for researchers and engineers working on (and with) Real-Time Operating Systems (RTOSs) to present recent advances in RTOS technology, to promote new and existing initiatives and projects, and to identify and discuss the challenges that lie ahead. The workshop, now in its eleventh year, provides the RTOS community with an opportunity to meet, to exchange ideas, to network, and to discuss future directions.

event

Visible to the public  FNC 2015
Aug 17, 2015 8:00 am - Aug 20, 2015 5:00 pm CEST

Submitted by Anonymous on Tue, 01/27/2015 - 6:30pm

The 10th International Conference on Future Networks and Communications

held in conjunction with The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)

event

Visible to the public  SCC 2015
Jan 26, 2015 8:00 am - Jan 27, 2015 5:00 pm EST

Submitted by Anonymous on Tue, 01/20/2015 - 12:05pm

Join the 14th meeting of the Software Certification Consortium, Jan 26-27, 2015, North Bethesda, MD

See agenda at: http://cps-vo.org/node/17241
Register at: http://cps-vo.org/node/15846

event

Visible to the public  APRES 2015
Apr 13, 2015 8:00 am - 5:00 pm MDT

Submitted by Anonymous on Mon, 01/19/2015 - 5:24pm

7th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2015)

APRES 2015 is part of the CPSweek 2015, held in Seattle, April 13-17, 2015.

Overview

event

Visible to the public  SaFoMe 2015
Jun 22, 2015 8:00 am - 5:00 pm CEST

Submitted by Anonymous on Mon, 01/19/2015 - 12:58pm

2nd International Workshop on Safety and Formal Methods

Overview

The SaFoMe workshop aims at providing a forum for people from academia and industry to communicate their latest results on theoretical advances, industrial case studies, and lessons learned in the application of formal methods to safety certification, verification and/or validation in (but not limited to) component-based systems.

event

Visible to the public  RSN 15
Apr 13, 2015 8:00 am - 5:00 pm MDT

Submitted by Anonymous on Mon, 01/12/2015 - 3:07pm

Second International Workshop on Robotic Sensor Networks

part of CPSWEEK

Recent developments in sensing and actuation technology, along with the miniaturization of computing and communication, have led to the development of commodity robot technology such as hobby drones and robot toolkits. These platforms are bringing sensing and actuation at places where traditional technology does not reach; for example, for aerial pollution monitoring or for disaster management in remote areas.

event

Visible to the public  IST-AWSN'15
Jun 02, 2015 8:00 am - Jun 05, 2015 5:00 pm BST

Submitted by Anonymous on Mon, 01/12/2015 - 2:48pm

10th International Symposium on Intelligent Techniques for Ad hoc and Wireless Sensor Networks

IST-AWSN'15 will be held in conjunction with the 6th International Conference on Ambient Systems, Networks and Technologies (ANT-2015) in London, United Kingdom, June 2-5, 2015.

event

Visible to the public  ESWeek 2015
Oct 04, 2015 8:00 am - Oct 09, 2015 5:00 pm CEST

Submitted by Anonymous on Mon, 01/12/2015 - 1:29pm

Embedded Systems Week (ESWEEK) is the premier event covering all aspects of embedded systems and software. By bringing together three leading conferences (CASES, CODES+ISSS, and EMSOFT), two symposia (ESTIMedia and RSP) and several workshops and tutorials, ESWeek allows attendees to benefit from a wide range of topics covering the state of the art in embedded systems research and development.

One registration, three conferences