13th International Conference on Graph Transformation (ICGT 2020) The use of graphs and graph-like structures as a formalism for specification and modelling is widespread in all areas of computer science as well as in many fields of computational research and engineering. Relevant examples include software architectures, pointer structures, state space graphs, control/data flow graphs, UML and other domain-specific models, network layouts, topologies of cyber-physical environments, and molecular structures.

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.

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/

24th International Symposium on Temporal Representation and Reasoning (TIME 2017) Mons (Belgium) | 16-18 October 2017 | http://informatique.umons.ac.be/time2017/ Aims and scope

20th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2017) A next edition of the workshop on Software and Compilers for Embedded Systems  (SCOPES) will be organized in 2017. The workshop will feature a combination of research papers and research presentations (details see below). The papers and presentation abstracts will also be published in the ACM digital library. The workshop is held in cooperation with ACM SIGBED and EDAA. AIM AND SCOPE

17th International Conference on Application of Concurrency to System Design (ACSD 2017) CONFERENCE SCOPE The conference aims at cross-fertilizing both theoretical and applied research about formal approaches (in a broad sense) to designing computer systems that exhibit some kind of concurrent behaviour. In particular, the following topics are of interest:     * Formal models of computation and concurrency for the above systems and

ACM International Conference on Computing Frontiers 2016 (CF'16) May 16 - 18, 2016, Como, Italy |  www.computingfrontiers.org

19th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2016) A next edition of the workshop on Software and Compilers for Embedded Systems  (SCOPES) will be organized in 2016. The workshop will feature a combination of research papers and research presentations (details see below). The papers and presentation abstracts will also be published in the ACM digital library. The workshop is held in cooperation with ACM SIGBED and EDAA. AIM AND SCOPE

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 ECRTS is the premier European venue for presenting research into the broad area of real-time and embedded systems. Along with RTSS and RTAS, ECRTS ranks as one of the three top international conferences on real-time systems.

20th International Symposium on Temporal Representation and Reasoning Symposium Scope