EPSRC logo

Details of Grant 

EPSRC Reference: EP/D056853/1
Title: Finite and Algorithmic Model Theory
Principal Investigator: Stewart, Professor IA
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Computer Science
Organisation: Durham, University of
Scheme: Standard Research (Pre-FEC)
Starts: 08 January 2006 Ends: 07 April 2006 Value (£): 19,000
EPSRC Research Topic Classifications:
Fundamentals of Computing Logic & Combinatorics
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:  
Summary on Grant Application Form
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.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: