Real-Time Coordination

Coordinating individual systems to function dynamically and simultaneously in all situations.
forum

Visible to the public CfP: FMICS-AVoCS 2017

CALL FOR PAPERS

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

18-20 September 2017 | University of Torino, Italy | http://www.es.mdh.se/conferences/fmics-avocs-2017/

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/.

event

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

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

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  PATMOS 2017
Sep 25, 2017 7:00 am - Sep 27, 2017 6:00 pm EEST

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.

forum

Visible to the public CFP: 8th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2017)

CALL FOR PAPERS

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/

event

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

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/

forum

Visible to the public RTCSA 2017 Call for Workshop Proposals

CALL FOR WORKSHOP PROPOSALS

THE 23RD IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS

Hsinchu, Taiwan | August 16-18, 2017 | http://www.rtcsa.org/

The IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) is the premier conference of the IEEE Computer Society Technical Committee on Real-Time Systems located in Asia. The 23rd edition will take place in Hsinchu, Taiwan, from August 16th to 18th, 2017.