EPSRC Reference: |
EP/G016267/1 |
Title: |
Workshop Domains IX |
Principal Investigator: |
Reus, Dr BG |
Other Investigators: |
|
Researcher Co-Investigators: |
|
Project Partners: |
|
Department: |
Sch of Engineering and Informatics |
Organisation: |
University of Sussex |
Scheme: |
Standard Research |
Starts: |
01 September 2008 |
Ends: |
30 November 2008 |
Value (£): |
9,352
|
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 Workshop Domains will be organised from 22 to 24 September 2008 at the University of Sussex.This workshop is aimed at computer scientists and mathematicians alike who share an interest in the mathematical foundations of computation. It focuses on domains, their applications and related topics. Meetings are organised at mathematics as well as computer science departments at irregular intervals. The emphasis is on the exchange of ideas between participants. Participation is open and PhD students are encouraged to attend so as to meet experienced researchers in this field.Domain Theory is highly interdisciplinary; topics of interaction for this workshop include, but are not limited to: program semantics, program logics, probabilistic computation, exact computation over the real numbers, lambda calculus, games, models of sequential computation, constructive mathematics, recursion theory, realizability, real analysis, topology, locale theory, metric spaces, category theory, topos theory, and type theory.At this year's event, it is planned to particularly address applications of the above areas to semantics and reasoning about programs, for instance the verification of properties of sequential, concurrent, and distributed software.This workshop will give a platform to international researchers in the field of Semantic Foundations of Computing, a theoretical subject in which the UK computer science community is particularly strong. The funding will provide the means to pay expenses for internationally renowned invited speakers and for participating PhD students.
|
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.sussex.ac.uk |