Fri, 09 Dec 2016
14:30 -
15:00
L5
Fri, 09 Dec 2016
14:00 -
14:30
L5
BiologicalWeb services: Integration, optimization, and reasoning
Benedikt, M
Lopez-Serrano, R
Tsamoura, E
Ceur Workshop Proceedings
volume 1718
21-27
(01 Jan 2016)
Complexity of two-variable logic on finite trees
Benaim, S
Benedikt, M
Charatonik, W
Kieroński, E
Lenhardt, R
Mazowiecki, F
Worrell, J
ACM Transactions on Computational Logic
volume 17
issue 4
(01 Nov 2016)
Fri, 09 Dec 2016
12:00 -
12:30
L5
Propagation of chaos for stochastic particle systems with Holder continuous interaction kernels
TOM HOLDING
(University of Warwick)
Fri, 09 Dec 2016
11:30 -
12:00
L5
Fri, 09 Dec 2016
11:00 -
11:30
L5
Fri, 09 Dec 2016
10:00 -
10:30
L5
Spectral Gap for the Stochastic Quantisation Equation on the 2-dimensional Torus
PAVLOS TSATSOULIS
(University of Warwick)
Fri, 09 Dec 2016
09:30 -
10:00
L5
Fri, 09 Dec 2016
09:00 -
09:30
L5