Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: 

·  Abstract interpretation 

·  Algebraic and co-algebraic specifications 

·  Aspect oriented and feature oriented software 

·  Cyber physical systems 

·  Deductive verification 

·  Distributed and concurrent systems 

·  Embedded and real-time systems 

·  Formal verification and program semantics 

·  Integration of formal methods 

·  Language design 

·  Model checking and theorem proving 

·  Object oriented and component based 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