19th International Symposium on Theoretical Aspects of Software Engineering (TASE 2025)

Software engineering, including:

■ Software processes and workflows

■ Software architectures and design

■ Software product lines

■ Requirements engineering

■ Model-driven software engineering

■ Software testing and quality assurance

■ Software safety, security and reliability

■ Reverse engineering and software maintenance

■ Component-based software engineering

■ Feature-oriented programming

■ Program synthesis

■ Use of AI and large language models in software engineering

Formal methods and theoretical computer science, including:

■ Deductive verification

■ Model checking

■ Theorem proving, decision procedures, SAT and SMT

■ Specification languages

■ Program logics and calculi

■ Formal languages and automata theory

■ Run-time verification and monitoring

■ Integration of formal methods

■ Formal methods for AI systems, and vice versa

Programming language design and technology, including:

■ Formal semantics

■ Abstract interpretation and program analysis

■ Language paradigms, including object-oriented, functional, declarative, etc.

■ Type systems and behavioral typing

■ Compiler design

■ Domain-specific languages

Tools and application areas, including:

■ Software tools putting theory into practice

■ Cyber-physical, embedded, and real-time systems

■ Distributed and concurrent systems

■ Semantic web and web services

■ Service-oriented programming and cloud computing

■ Quantum circuits and programs

■ Cryptographic algorithms