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 listsData Science and Computational Statistics Seminar BritGrav 15 PIPS - Postgraduate Informal Physics Seminars## Other talksQuantum simulations using ultra cold ytterbium Sensing and metrology activities at NPL, India Hodge Theory: Connecting Algebra and Analysis Geometry of alternating projections in metric spaces with bounded curvature Modelling uncertainty in image analysis. The development of an optically pumped magnetometer based MEG system |