24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings

21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

11th International Conference, ICBL 2018, Osaka, Japan, July 31- August 2, 2018, Proceedings

9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part II

13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings

18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III

18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings