One Day Workshop on Ergodic Theory

Bridging the Gaps Workshop

Friday, October 30, 2009

Electronic Engineering SEMS Seminar Room (until 3pm)
Francis Bancroft Room 2.40 (after 3pm)

Queen Mary, University of London
London E1 4NS, UK


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.



Registration

Participation at the workshop is free of charge. We require, however, that you confirm participation by sending an email to the organisers at pbo@dcs.qmul.ac.uk. Tea and coffee, and a buffet lunch will be provided, as well as a wine reception at the end.

List of participants
:

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


Last updated 2 Nov 2009 (Paulo Oliva)