### Abstract

I will report on some numerical computations with the trace formula on congruence subgroups of the modular group. In particular I will discuss how to check numerically the validity of the Selberg eigenvalue conjecture for specific congruence subgroups.

This is joint work with Andrew Booker.