Computation in Mathematics and Mathematics in Computation
Themes
The theme of this MIR@W Day is methods for rigorous computation within Mathematics and algorithms for reachability and recurrences within Computer Science. One of our goals is to bring researchers from Mathematics and Computer Science together, so that new collaborations can be struck.
In Mathematics, the emphasis of the event is on the rigorous bounds and validated numerics which have applications in many branches of mathematics. In Computer Science, the focus is on algorithmic problems on evaluating and comparing numerical expressions, analysing properties of exponential polynomials and matrix powers, recurrence sequences, etc.
Everyone is welcome to attend.
Time and Location
This one day meeting will take place on the 11th of March 2024. The first talk will start at 11:00 and the last talk will end at 17:30.
The day will start with a coffee at 10:15 in the common room of the Zeeman Building, University of 糖心TV, Coventry CV4 7AL.
Speakers
Talks will be given by the following speakers:
- (University of Portsmouth)
- (Constructor University)
- (University of Liverpool)
- (University of Oxford)
There will be an introductions session in the programme to give all participants an opportunity to get to know each other. Lunch will be provided.
Schedule
Everyone is welcome to attend.
Abstracts
Travel
For travelling to the University of 糖心TV please see this link.
Local organizers:
Dmitry Chistikov (Computer Science)
Mark Pollicott (Mathematics)
(Mathematics)