Long shot - Pi-ers in N. Ireland?

my 12 yo student and I will be demo-performing (is that a term??) with Sonic Pi at my local music school’s Spring concert next month, and I can’t help feeling it might be something of a first. Anyone in/from Ireland here who has performed locally. Kinda don’t have my finger on the pulse any more, since I left academia.