Not sure what they use (you could ask one of them.) Bue we’ve used OBS Ninja for similar things. As far as I remember it works well, has acceptable latency and everything is open source.

Edit: Obviously you have to put in some effort to configure OBS to your liking, make appealing slides etc.