2017

event

Visible to the public  2017 Safe and Secure Systems and Software Symposium (S5)
Aug 01, 2017 7:00 am - Aug 03, 2017 6:00 pm EDT

Submitted by Anonymous on Mon, 03/06/2017 - 3:09pm

Registration for the 2017 Safe and Secure Systems and Software Symposium (S5) to be held from 1-3 August at the Crowne Plaza Dayton, Dayton, Ohio (near Wright Patterson Air Force Base) is Now OPEN!

Safe and Secure Systems and Software Symposium (S5)

The Air Force Research Laboratory, Aerospace Systems Directorate, Power and Control Division will be hosting the 2017 Safe and Secure Systems and Software Symposium (S5) on 1 - 3 August 2017 at The Crowne Plaza Dayton, Ohio. Please mark your calendars!

event

Visible to the public  SLE 2017
Oct 23, 2017 7:00 am - Oct 24, 2017 6:00 pm PDT

Submitted by Anonymous on Mon, 03/06/2017 - 2:31pm

10th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2017)

(Co-located with SPLASH 2017)

The 10th ACM SIGPLAN International Conference on Software Language Engineering (SLE) is devoted to the principles of software languages: their design, their implementation, and their evolution.

event

Visible to the public  SiPS 2017
Oct 03, 2017 7:00 am - Oct 05, 2017 6:00 pm CEST

Submitted by Anonymous on Mon, 03/06/2017 - 2:18pm

IEEE Workshop on Signal Processing Systems (SiPS 2017)

IEEE SiPS is a premier international forum collecting researchers and practitioners from industry and academia for exchanging the latest scientific and technical advances in the area of design and implementation of signal processing systems. It addresses current and future challenges and new directions in research and development of these systems. Prospective authors are invited to submit manuscripts on topics including, but not limited to:

event

Visible to the public  FMICS-AVoCS 2017
Sep 18, 2017 7:00 am - Sep 20, 2017 6:00 pm CEST

Submitted by Anonymous on Mon, 03/06/2017 - 1:30pm

International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and Automated Verification of Critical Systems (AVoCS)

The conference is co-located with 13th International Conference on integrated Formal Methods (iFM 2017). All information regarding the venue, registration and accommodation can be found on iMF 2017 website http://ifm2017.di.unito.it/.

The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.

event

Visible to the public  BDNT 2017
Jul 24, 2017 7:00 am - Jul 26, 2017 6:00 pm CEST

Submitted by Anonymous on Mon, 03/06/2017 - 1:20pm

CALL FOR PAPERS

International Workshop on Big Data and Networks Technologies (BDNT'2017)

Held in parallel with The 12th International Conference on Future Networks and Communications

event

Visible to the public  Halmstead Summer School 2017
Jul 17, 2017 7:00 am - Jul 21, 2017 6:00 pm CEST

Submitted by Anonymous on Mon, 03/06/2017 - 1:00pm

Summer School on Cyber-Physical Systems, CPS 2017

The Summer School on Cyber-Physical Systems brings together the theoretical foundations and the industrial practice of the area in Halmstad, a place known both for innovation in embedded systems and popular beaches.

event

Visible to the public  PATMOS 2017
Sep 25, 2017 7:00 am - Sep 27, 2017 6:00 pm EEST

Submitted by Anonymous on Mon, 03/06/2017 - 12:48pm

27th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS)

25 - 27 September 2017 | Thessaloniki, Greece | http://patmos2017.web.auth.gr

PATMOS is Technically Sponsored by IEEE CASS. The conference proceedings will be included in the IEEE Xplore Digital Library.

event

Visible to the public  MARKTOBERDORF SUMMER SCHOOL
Mar 06, 2017 12:15 pm - 1:15 pm CET

Submitted by Anonymous on Mon, 03/06/2017 - 12:22pm

Logical Methods for Safety and Security of Software Systems

August 2-11 2017 | Marktoberdorf, Germany | https://asimod.in.tum.de/2017/

Apply online: https://asimod.in.tum.de/2017/participation.shtml
Deadline: April 9

event

Visible to the public  RTSOPS 2017
Jun 27, 2017 7:00 am - Jun 30, 2017 6:00 pm CEST

Submitted by Anonymous on Mon, 03/06/2017 - 12:12pm

8th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2017)

Satellite workshop of 29th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS
Organised by the Euromicro Technical Committee on Real-Time Systems - ecrts17.ecrts.org

Dubrovnik, Croatia | 27-30th June 2017 | www.cister.isep.ipp.pt/rtsops2017/