University of Birmingham > Talks@bham > Theoretical computer science seminar > Parametric completeness for separation theories (via hybrid logic)

## Parametric completeness for separation theories (via hybrid logic)Add to your list(s) Download to your calendar using vCal - James Brotherston, University College London
- Friday 18 October 2013, 16:00-17:00
- UG10 Learning Centre.
If you have a question about this talk, please contact Paul Levy. In this talk, we consider the logical gap between the following two concepts: (1) (2) Here, we show first that several typical properties of separation theories are in fact This is joint work with Jules Villard, also at UCL . This talk is part of the Theoretical computer science seminar series. ## This talk is included in these lists:- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Theoretical computer science seminar
- UG10 Learning Centre
- computer sience
Note that ex-directory lists are not shown. |
## Other listsType the title of a new list here Theoretical computer science seminar Aerospace Seminar Series## Other talksCounting cycles in planar graphs Life : it’s out there, but what and why ? TBA Control variates for computing transport coefficients TBA Wave turbulence in the Schrödinger-Helmholtz equation |