Foundations of the Formal Sciences III: Complexity in Mathematics and Computer Science PhD EuroConference