18th November 2013

Organiser: Manuela Bujorianu

First talk in Room A1.01
Talks from 13:00 in Room B3.02

11:00-11:15 Welcome

11:15-12:00 Andrea Lecchini (Leicester) Stochastic optimization on continuous domains by Markov chain Monte Carlo methods

12:00-13:00 Lunch in the Mathematics Institute Common Room

13:00-13:45 Rafael Wisniewski (Aalborg) Barrier Certificates, Converse Results, Algorithms

13:45-14:30 Michael Fisher (Liverpool) Formal Verification of Autonomous Systems

14:30-15:00 Adam Kowalewski (Cracow): Optimal control of parabolic systems with delays

15:00-15-30 Coffee in the Mathematics Institute Common Room

15:30-16:15 Nikos Athanasopoulos (Eindhoven) Control of large-scale linear systems

16:15-17:00 Ioannis Lestas (Cambridge) Fundamental limits for noise suppression in biological networks

17:00-17:30 James Marco (Warwick) Energy Management Control Systems for Low Carbon Vehicles

17:30-18:00 Vassili Kolokoltsov (Warwick) Controled CTRW (continuous time random walks), random switching and fractional calculus

18:00 Snacks and drinks in the Mathematics Institute Common Room

Dinner

Partly supported by the Sloan Foundation.