@Martinmagnusson thanks! it's at newecastle university, same as my undergrad, on decision problems in group theory