We have a single HDMI cable run to the front projector. This is currently in use for the DVD player, but we do intend to include connectivity for HDMI for laptops in the future. At current KCC supports VGA as it's video connection format but this will be being reviewed in the coming years as HDMI supersedes it (hence the upwards compatibility being built into the G39 AV system).
Should you require HDMI for a specific event then please get in touch with the Music Technology Technician at avsupport.music@trinitylaban.ac.uk.