Aims and Scope
The EPSRC Bridging the Gaps series of workshops aims to bring researchers from different areas together, often around a common inter-disciplinary theme. In this workshop the general theme will be ergodic theory. We intend to invite speakers and participants from different disciplines (Computer Science, Engineering and Mathematics) so they can present and discuss their work, and possibly create new research collaborations.Jeremy Avigad |
Carnegie Mellon University |
Mark Pollicott |
University of Warwick |
Ulrich Kohlenbach |
University of Darmstadt |
Oliver Jenkinson |
Maths, QMUL |
Oscar Bandtlow |
Maths, QMUL |
Angus MacIntyre |
Maths, QMUL |
Thomas Ward |
University of East Anglia |
Jonathan Kirby |
University of East Anglia |
Paulo Oliva |
CS, QMUL |
Rob Arthan |
CS, QMUL |
Soren Riis |
CS, QMUL |
Hongseok Yang |
CS, QMUL |
Gilda Ferreira |
CS, QMUL |
Max Kanovich | CS, QMUL |
Federico Aschieri |
CS, QMUL |
Graham White |
CS, QMUL |
Mark Holland |
Exeter University |
John Schormans |
EE, QMUL |
Tijana Timotijevic |
EE, QMUL |
Roman Belavkin |
Middlesex University |
Fawad Jamshed |
Middlesex University |
Olof Sisask |
Maths, QMUL |
Dudley Stark |
Maths, QMUL |
Thomas Prellberg |
Maths, QMUL |
Franco Vivaldi |
Maths, QMUL |
Peter Cameron |
Maths, QMUL |
Victor Falgas-Ravry |
Maths, QMUL |
Andy Drizen |
Maths, QMUL |
Georgie Knight |
Maths, QMUL |
Christopher Penrose |
Maths, QMUL |
Christian Rodrigues |
University of Aberdeen |
Henry Reeve |
Bristol University |
Colin Little |
University of Surrey |
Ian Melbourne |
University of Surrey |
Dalia Terhesiu |
University of Surrey |
Greg Clack |
University of Surrey |
Robin Whitty |
London South Bank University |
Carrie Rutherford |
London South Bank University |
Tony Forbes |
Program
SEMS Seminar Room (EE, 3rd floor) |
09:50 – 10:10 | Coffee |
10:10 – 10:20 | Introduction and Welcome |
|
10:20 – 11:00 | Proof
mining in ergodic theory and additive combinatorics (slides) Jeremy Avigad, Carnegie Mellon University |
|
11:00 – 11:40 | Rates
of mixing and ergodic averages (slides) Mark Pollicott, University of Warwick |
|
11:40 – 12:20 | Optimization
of ergodic averages Oliver Jenkinson, Queen Mary, University of London |
|
EE room 105 (EE, 1st floor) |
12:20 – 13:40 | Buffet lunch |
SEMS Seminar Room (EE, 3rd floor) |
13:40 – 14:20 | Applications
of proof theory in fixed point and ergodic theory (slides) Ulrich Kohlenbach, University of Darmstadt |
14:20 – 15:00 | Numerical computations in smooth ergodic
theory (slides) Oscar Bandtlow, Queen Mary, University of London |
|
Francis
Bancroft Building Room 2.40 |
15:00 – 15:30 | Coffee break |
15:30 – 16:10 | Conversations between ergodic theory and
number theory (slides) Thomas Ward, University of East Anglia |
|
16:10 – 16:50 | Adapting
highlevel proofs in modern number theory to fit into first-order Peano
arithmetic Angus MacIntyre, Queen Mary, University of London |
|
FB Foyer Ground floor |
16:50 – 17:30 | Wine |