This year's edition of the TASE International Symposium is hosted by Aston University, in the heart of UK's second biggest city, Birmingham.
Software engineering is at the heart of many state of the art tools designed to simplify and improve our lives, including cloud computing applications, the semantic web and self configuring systems. As these instruments are involved in fields of vital importance, by providing customised solutions for education, businesses, government and health care, the role played by the theory behind their working principles bears an undeniable weight. In this context, the TASE International Smposium strives to provide top scientists with a framework for communicating their latest and most valuable theoretical results in the field of software engineering. We invite contributions in what concerns the theoretical aspects of the following areas (please note that this is not an exhaustive list):

• model driven software engineering
• component based software engineering
• service oriented and cloud computing
• semantic web and web services
• software security, reliability, simulation and verification
• probabilistic fundamentals of software engineering
• embedded and real time software systems
• program logics and underlying mathematical issues
  
• aspect, rule and object oriended software design
• self configuring software systems
• reverse engineering

The TASE 2013 organisers would like to welcome you to Aston University, where we do our best to offer you an enjoyable and scientifically rewarding experience.