The formal name for the city is Surakarta. Less formal but widely used is Solo. From time to time you may see it written as Sala. This is because of a pronunciation quirk in Javanese that means final and penultimate -a are pronounced -o as in h o t.