home page header background 2
home page header background 1
home page header background 3

The 7th International Symposium on Theoretical Aspects of Software Engineering


July 1st - July 3rd 2013, Birmingham, UK


Important notice

  • Student registration is now open! 
The organisers warmly invite students to attend the TASE 2013 Symposium. To benefit from the student discount (proceedings, dinners and banquet NOT included), please register here:
  • We would like to remind all TASE participants that extra banquet tickets (GBP 50 per ticket) may be purchased by following this link:
  • Please be advised that due to catering constraints all TASE participants that wish to attend the symposium banquet and have not yet paid the registration fee (which includes ONE banquet ticket) should do so, as well as purchase any additional banquet tickets, before June 24th 2013. After this date registration is still possible, however, securing a place at the banquet is no longer guaranteed.
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.
Please check the following pages for last minute updates:

Important Dates



Employable Graduates; Exploitable Research