[ANN] RadiiPolynomial.jl: computer-assisted proofs in Julia

Hey, this is really really cool! Would you be interested in giving a talk about this in an upcoming JuliaDynamics monthly meeting?