Yeah, they are using Sennheiser transmitters (some are lavs some are full XLR mics ) Basically, I am using an SDR(RTL-SDR V4 with a small antenna) and SDR++ they have set frequencies that I have bookmarked and saved.

Funny thing, this allows me to listen to courses in other rooms, its quite fun to tune in and guess the class xD