Real-Time Coordination

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

Visible to the public CfP: ICINCO 2015 - Int'l Conf. on Informatics in Control, Automation and Robotics (Colmar, Alsace/France)

12th International Conference on Informatics in Control, Automation and Robotics ICINCO

website: http://www.icinco.org

July 21 - 23, 2015
Colmar, Alsace, France

In Cooperation with: EUROMICRO, AAAI, APCA, INNS and APNNA Co-Sponsored by: IFAC Sponsored by: INSTICC INSTICC is Member of: WfMC and FIPA Logistics Partner: SCITEVENTS

IMPORTANT DATES:

event

Visible to the public  ETFA 2015
Sep 08, 2015 8:00 am - Sep 11, 2015 5:00 pm CEST

The 20th IEEE International Conference on Emerging Technologies and Factory Automation will be held September 8-11, 2015 in Luxembourg

The aim of this conference is to bring together researchers and practitioners from the industry and academia and provide them with a platform to report on recent advances and developments in the newly emerging areas of technology, as well as actual and potential applications to industrial and factory automation.

forum

Visible to the public ETFA 2015 - Call for Papers

Submission Deadline: March 15, 2015

CALL FOR REGULAR, SPECIAL SESSIONS, & WORK IN PROGRESS PAPERS

20th IEEE International Conference on Emerging Technologies & Factory Automation Luxembourg (ETFA 2015)

8-11 September 2015

Web site: http://www.etfa2015.org/

forum

Visible to the public Call for Papers SETTA 2015

Symposium on Dependable Software Engineering: Theories, Tools and Applications

Nanjing University | November 4-6, 2015

IMPORTANT DATES

  • June 12,2015 Abstracts
  • June 19,2015 Submission of papers
  • August 21,2015 Notification to authors
  • September 4,2015 Camera-ready versions

KEYNOTE SPEAKERS

event

Visible to the public  FMICS 2015
Jun 22, 2015 8:00 am - Jun 23, 2015 6:00 pm CEST

The 20th International Workshop on Formal Methods for Industrial Critical Systems will be held in co-location with FM 2015: 20th International Symposium on Formal Methods 22-23 June 2015 in Oslo, Norway

event

Visible to the public  TASE 2015
Sep 12, 2015 8:00 am - Sep 14, 2015 5:45 pm CST

The 9th Theoretical Aspects of Software Engineering Conference (TASE 2015) will be held in Nanjing, China in September, 2015.

event

Visible to the public  QAPL 2015
Apr 11, 2015 8:00 am - Apr 12, 2015 5:30 pm EDT

Thirteenth International Workshop on Quantitative Aspects of Programming Languages and Systems

at ETAPS 2015

forum

Visible to the public Extended Deadline QAPL 2015

SECOND CALL FOR PAPERS - Extended Deadline 13th Workshop on Quantitative
Aspects of Programming Languages and Systems (QAPL 2015)

Affiliated with ETAPS 2015 April 11 - 12, 2015, London, United Kingdom

http://qapl15.inria.fr

SCOPE:

forum

Visible to the public CfP ECRTS 15: 27th EUROMICRO Conference on real-time systems Lund, Sweden, 8-10th July 2015

CALL FOR PAPERS ECRTS 15
Submission deadline: 1 February 2015 (firm deadline)

EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS Lund, Sweden, 8-10th July 2015

Organized by the Euromicro Technical Committee on Real-Time Systems

Conference web site: ecrts15.ecrts.org

THEME AND TOPICS OF INTEREST