| EPSRC Reference: |
EP/H04714X/1 |
| Title: |
Coalgebraic Probabilistic Logic over Measurable Spaces via Stone Duality |
| Principal Investigator: |
Kurz, Professor A |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of Leicester |
| Scheme: |
Standard Research |
| Starts: |
29 March 2010 |
Ends: |
28 October 2010 |
Value (£): |
27,905
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The applicants are coinvestigators on the EPSRC supported projectEP/G041296/1, Coalgebraic Logic: Expanding the Scope (CLES),which started in September 2009. The purpose of the current proposalis to strengthen the existing project by drafting in the expertise ofMAM for a period of 5 months in the Spring Term 2010. The opportunityfor this has arisen because of the study leave recently granted toMAM. Since the largest part of MAM's salary will be paid by his homeinstitution, this application is merely asking for financial help withthe additional costs associated with living away from home; it thuspromises to provide excellent value in return for a very modestinvestment.
|
|
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: |
http://www.le.ac.uk |