European collaboration on automated reasoning

Issue title: ECAI 2012 Turing and Anniversary Track

Article type: Research Article

Authors: Bundy, Alan

Affiliations: University of Edinburgh, Edinburgh, UK. E-mail: A.Bundy@ed.ac.uk

Abstract: I provide a personal perspective of a European collaboration in the area of automated reasoning. I describe the birth and growth of this collaboration and give a snapshot of its current state. My involvement started with a two-way collaboration on inductive theorem proving between my group in Edinburgh and Siekmann's group in Saarbrücken, but this grew to broaden both in research area and geographical area. It focused on several series of workshops/conferences, research grants and bilateral lab visits, and established both new applications and collaborations with researchers outwith automated reasoning.

Keywords: Automated reasoning, formal methods, computer algebra systems

DOI: 10.3233/AIC-130584

Journal: AI Communications, vol. 27, no. 1, pp. 25-35, 2014