Foundations

Theoretical aspects of cyber-physical systems.
event

Visible to the public  NAS 2019
Aug 15, 2019 7:00 am - Aug 17, 2019 6:00 pm +07

14th International Conference on Networking, Architecture, and Storage (NAS 2019)

NAS provides a high-quality international forum to bring together researchers and practitioners from academia and industry to discuss cutting-edge research on networking, high-performance computer architecture, and parallel and distributed data storage technologies. NAS 2019 will expose participants to the most recent developments in the interdisciplinary areas. Authors are invited to submit previously unpublished work for possible presentation at the conference.

forum

Visible to the public CfP: 27th International Conference on Real-Time Networks and Systems (RTNS 2019)

CALL FOR PAPERS - Paper submission: April 30, 2019

27th International Conference on Real-Time Networks and Systems (RTNS 2019)

November 6-8, 2019 | Toulouse/France | https://www.irit.fr/rtns2019

RTNS is a friendly and inclusive conference with a great sense of community that presents excellent opportunities for collaboration. Original unpublished papers on all aspects of real-time systems and networks are welcome. RTNS covers a wide-spectrum of topics in real-time and embedded systems.

event

Visible to the public  RTNS 2019
Nov 06, 2019 7:00 am - Nov 08, 2019 6:15 pm CET

27th International Conference on Real-Time Networks and Systems (RTNS 2019)

RTNS is a friendly and inclusive conference with a great sense of community that presents excellent opportunities for collaboration. Original unpublished papers on all aspects of real-time systems and networks are welcome. RTNS covers a wide-spectrum of topics in real-time and embedded systems.

event

Visible to the public  VECoS 2019
Oct 07, 2019 7:00 am - Oct 09, 2019 6:00 pm WEST

International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2019)

co-located with the International Symposium on Formal Methods, FM 2019.

forum

Visible to the public CfP: 38th International Conference on Computer Safety, Reliability and Security (SafeComp 2019)

CALL FOR PAPERS

38th International Conference on Computer Safety, Reliability and Security (SafeComp 2019)

Turku, Finland | 10 - 13 September 2019 | https://conferences.ncl.ac.uk/safecomp2019/

SAFECOMP was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7).

forum

Visible to the public CfP: The 30th International Conference on Concurrency Theory (CONCUR 2019)

The 30th International Conference on Concurrency Theory (CONCUR 2019)

The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.

Invited speakers

event

Visible to the public  CONCUR 2019
Aug 26, 2019 7:00 am - Aug 30, 2019 6:00 pm CEST

The 30th International Conference on Concurrency Theory

The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.

Invited speakers