The focus of the conference ranges from symbolic and numeric computation to formal methods applied to programming, artificial intelligence, distributed computing, and computing theory.