Tue, 07 Feb 2017
13:00 -
14:00
N3.12
Fri, 28 Apr 2017
11:45 -
12:45
L4
Fri, 31 Mar 2017
11:45 -
12:45
L5
Fri, 24 Feb 2017
11:45 -
12:45
L4
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.