13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17–21, 2018, Proceedings

16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I

15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers