Projects per year
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 Saarbrucken, but this grew to broadened 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.
proving between my group in Edinburgh and Siekmann's group in Saarbrucken, but this grew to broadened 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.
Original language | English |
---|---|
Pages (from-to) | 25-35 |
Number of pages | 11 |
Journal | AI Communications |
Volume | 27 |
Issue number | 1 |
DOIs | |
Publication status | Published - 22 Nov 2013 |
Keywords / Materials (for Non-textual outputs)
- Automated reasoning, formal methods, computer algebra systems
Fingerprint
Dive into the research topics of 'European Collaboration on Automated Reasoning'. Together they form a unique fingerprint.Projects
- 1 Finished
-
The integration and interaction of multiple mathematical Reasoning Processes
Bundy, A., Aspinall, D., Colton, S., Fleuriot, J., Gow, J., Grov, G., Ireland, A., Jackson, P., Mcneill, F., Michaelson, G. & Smaill, A.
1/11/15 → 31/10/19
Project: Research