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 Warwick, Coventry CV4 7AL.

Speakers

Talks will be given by the following speakers:

• Andrew Burbanks (University of Portsmouth)
• Igors Gorbovickis (Constructor University)
• Igor Potapov (University of Liverpool)
• James Worrell (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

Abstracts

Travel

For travelling to the University of Warwick please see this link.

Local organizers:

Dmitry Chistikov (Computer Science)

Mark Pollicott (Mathematics)

Julia Slipantschuk (Mathematics)