Fri, 24 Feb 2017
11:45 -
12:45
L4
Analysis of Carrier's problem
Chapman, S
Farrell, P
SIAM Journal on Applied Mathematics
volume 77
issue 3
924-950
(13 Jun 2017)
doi:10.1137/16M1096074
From molecular to continuum modelling of bistable liquid crystal devices
Robinson, M
Luo, C
Farrell, P
Erban, R
Majumdar, A
Liquid Crystals
volume 44
issue 14-15
2267-2284
(21 Feb 2017)
doi:10.1080/02678292.2017.1290284
Tue, 07 Feb 2017
12:45 -
13:30
C5
Fri, 10 Feb 2017
10:00 -
11:00
L4
Topic 1: Modeling customer and staff movement through a retail store. Topic 2: Predicting a customers next shopping basket.
Robert Armstrong, Francesco Bucci and Alisdair Wallis
(Tesco)
Thu, 23 Feb 2017
17:30
17:30
L6
What is model theory behind homomorphic encryption and black box algebra?
Alexandre Borovik
(Manchester)
Abstract
Using some new results in probabilistic recognition of black box groups
(Joint work with Sukru Yalcinkaya), I will discuss some emerging
structures that beg for a model-theoretic analysis.
Wed, 01 Feb 2017
16:00 -
17:00
C1
Thu, 02 Feb 2017
11:00
11:00
C4
Model Theoretic Aspects of Gelfand-Naimark duality.
Nicholas Wentzlaff-Eggebert
(Oxford)
Abstract
Abstract: We will consider a model theoretic approach to Gelfand-Naimark duality, from the point of view of (generalized) Zariski structures. In particular we will show quantifier elimination for compact Hausdorff spaces in the natural Zariski language. Moreover we may see a slightly unusual construction and tweak to the language, which improves stability properties of the structures.
