The Linux workstations are located at: http://isg.ee.ethz.ch/en/our-range/infrastructure/workstations/unix.html