Title:
Quadratic Chabauty for Atkin-Lehner quotients of modular curves of
prime level and genus 4,5,6 and a conjecture of Galbraith

Abstract:
I will explain the verification of a conjecture of Galbraith on the
list of rational points of the Atkin-Lehner quotients X_0(p)^+ with p a
prime such that the genus is 4, 5, or 6. We use the quadratic Chabauty
algorithm and have to find suitable plane models of our curves.