Monthly Archives: March 2019

FORMATS 2019: Call for papers

Call for papers 17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2019) Amsterdam, The Netherlands August 26-31, 2018 https://lipn.univ-paris13.fr/formats2019/ (Co-located with CONCUR 2019 and FMICS 2019) NEW this year: tool papers NEW this year: special sessions

Posted in CFP | Comments Off on FORMATS 2019: Call for papers

RTNS 2019: Call for papers – submission deadline April 30, 2019

Call for Papers 27th International Conference on Real-Time Networks and Systems (RTNS2019) Toulouse, France, November 6-8, 2019 https://www.irit.fr/rtns2019/

Posted in CFP | Comments Off on RTNS 2019: Call for papers – submission deadline April 30, 2019

WCET 2019 – Call for Papers

Call for Papers 19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019) Stuttgart, Germany July 9, 2019 www.ecrts.org/wcet

Posted in CFP | Comments Off on WCET 2019 – Call for Papers