1st year CS @ ETH Zurich here

Intro to Programming => Eiffel (Betrand Meyer was our Prof)

Algorithms and Datastructures => Java (Pseudocode in PASCAL)

Parallel Processing => Java

Design of Digital Circuits => Verilog/MIPS Assembly

and in the next courses there will be some Haskell and more Java.