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.
Venue
St Raphael Resort ,
Amathus Avenue, Limassol, Cyprus
19th International Symposium on Theoretical Aspects of Software Engineering (TASE 2025) - 14-16 Jul 2025, St Raphael Resort, Limassol, Cyprus (104775)
International Symposium on Theoretical Aspects of Software Engineering (TASE) 2026
Important
Please, check "International Symposium on Theoretical Aspects of Software Engineering (TASE)" official website for possible changes, before making any traveling arrangements
Event Categories
Science: Computer Science
Technology: Information Technology (IT), Software & Applications, Software engineering
We use cookies to enhance your browsing experience, serve personalized ads or content, and analyze our traffic.By clicking "Accept", you consent to our use of cookies. You can manage your preferences or learn more by clicking "Customize" or visiting our Cookies Policy page.