TASE 2025 aims to bring together researchers and developers from academia and industry withinterest in the theoretical aspects of software engineering. Modern society is increasinglydependent on software systems that are becoming larger and more complex. This poses newchallenges to current software engineering methodologies that need to be enhanced usingmodern results from theoretical computer science. We invite submission of research papers ontopics covering all theoretical aspects of software engineering, including those describingapplications of theoretical computer science in industrial applications and software engineeringmethodologies.