Mathematical Reasoning: The History and Impact of the DReaM Group

Tools and Algorithms for the Construction and Analysis of Systems

28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I

Database Systems for Advanced Applications

27th International Conference, DASFAA 2022, Virtual Event, April 11-14, 2022, Proceedings, Part III

Advances in Artificial Intelligence

19th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2020/2021, Málaga, Spain, September 22-24, 2021, Proceedings

Artificial Intelligence in Education

22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14-18, 2021, Proceedings, Part II