It should be possible to live stream two or more lecture halls from one streaming server. This is required, when multiple lecture halls share the same server room and AV infrastructure.
We currently have two streaming servers at TUM that have a (Blackmagic Decklink Quad)[https://www.blackmagicdesign.com/de/products/decklink/techspecs/W-DLK-36] and therefore support up two 4x HDMI inputs.