Eleventh International Symposium on Theoretical Aspects of Software Engineering (TASE)

Now on its 11th edition, TASE is an international symposium that aims to bring  together researchers and developers from academia and industry with interests in the theoretical aspects of software engineering. We invite submissions of  research papers on topics covering all theoretical aspects of software engineering, including, but not limited to, the following:  

•   Abstract interpretation           
•   Algebraic and co-algebraic specifications   
•   Aspect oriented software           
•   Component-based systems   
•   Cyber-physical systems           
•   Deductive verification   
•   Distributed and concurrent systems       
•   Embedded and real-time systems   
•   Feature-oriented software           
•   Formal verification and program semantics    
•   Integration of formal methods          
•   Language design    
•   Model checking and theorem proving       
•   Object-oriented systems     
•   Program logics and calculi           
•   Quantum computation     
•   Run-time verification and monitoring       
•   Service-oriented and cloud computing     
•   Software architecture          
•   Software testing and quality assurance     
•   Software security and reliability       
•   Static analysis of programs     
•   Type systems and behavioural typing       
•   Tools exploiting theoretical results