The 19th International Symposium on Theoretical Aspects of Software Engineering (TASE 2025) is dedicated to the theoretical aspects of software engineering.
Topics
- Software processes and workflows
- Software engineering, including:
- Software product lines
- Software architectures and design
- Model-driven software engineering
- Requirements engineering
- Software safety, security and reliability
- Software testing and quality assurance
- Component-based software engineering
- Reverse engineering and software maintenance
- Program synthesis
- Feature-oriented programming
- Formal methods and theoretical computer science, including:
- Use of AI and large language models in software engineering
- Model checking
- Deductive verification
- Specification languages
- Theorem proving, decision procedures, SAT and SMT
- Formal languages and automata theory
- Program logics and calculi
- Integration of formal methods
- Run-time verification and monitoring
- Programming language design and technology, including:
- Formal methods for AI systems, and vice versa
- Abstract interpretation and program analysis
- Formal semantics
- Type systems and behavioral typing
- Language paradigms, including object-oriented, functional, declarative, etc
- Domain-specific languages
- Compiler design
- Software tools putting theory into practice
- Tools and application areas, including:
- Distributed and concurrent systems
- Cyber-physical, embedded, and real-time systems
- Service-oriented programming and cloud computing
- Semantic web and web services
- Cryptographic algorithms
- Quantum circuits and programs
Who should Attend
Researchers and developers from academia and industry.
