Finite and Algorithmic Model Theory
Lead Research Organisation:
Durham University
Department Name: Computer Science
Abstract
Mathematics plays an important role in computer science, especially logic. The study of the logical aspects of computer science enables us to prove things about computers and computer programs. The study of logic in computer science has enabled us to develop new programming languages, new techniques to solve problems and new ways of solving problems. This workshop is an opportunity for mathematicians, who sometimes dont concern themselves with computer science, and computer scientists to get together and see how they can further develop the role of mathematics within computer science.
Organisations
People |
ORCID iD |
| Iain Stewart (Principal Investigator) |
| Description | This was a grant to organise a workshop in finite and algorithmic model theory in conjunction with the Isaac Newton Institute. |
| Exploitation Route | Not really applicable though in general terms the research discussed might eventually become applicable within ICT. |
| Sectors | Digital/Communication/Information Technologies (including Software) |
| Description | This was a grant to organise a mathematics workshop. As such, there has been no immediate use of any findings. |