The 7th International Symposium on Theoretical Aspects of Software Engineering

Call for Papers


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 self configuring systems, and many others. 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 Symposium strives to provide top scientists with a framework for communicating their latest and most valuable theoretical results in the field of software engineering.

Subject Areas

We invite contributions in what concerns the theoretical aspects of the following areas (please keep in mind 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 oriented software design
  • self configuring software systems
  • reverse engineering


Aston University Conference Centre, Aston Triangle, Birmingham, UK, B4 7ET


Paper Submission

We invite all prospective authors to submit their manuscripts via the TASE13 portal, hosted on Easychair. Please follow the following link to create an author account:


Further instructions for authors (e.g. paper format and size) will be communicated at a later date.

Important Dates

The submission deadlines have been extended as follows. Please note that the new deadlines are strict.
  • Title and abstract submission deadline: 18 January 2013 8 February 2013
  • Paper submission deadline: 25 January 2013 8 February 2013
  • Short paper submission deadline: 15 March 2013
  • Acceptance/rejection notification: 22 March 2013
  • Acceptance/rejection notification for short papers: 27 March 2013
  • Short papers camera-ready version due: 22 April 2013
  • Camera-ready version due: 26 April 2013
  • Author registration: 17 May 2013
  • Early bird registration: 31 May 2013
  • TASE 2013: 1st - 3rd July 2013




The Call for Papers is also available in PDF format.
You may also be interested in the Call for Short Papers.

Technically Co-Sponsored by

IEEE CS logo

Sponsored by


Employable Graduates; Exploitable Research