The town of Pavia ( then known as Ticinum ) was a big city and a special military area for the Romans . Dating back to pre-Roman times , the town of Pavia ( then known as Ticinum ) was a municipality and an important military site ( a castrum ) under the Roman Empire .