posted by user: agoeb || 9200 views || tracked by 29 users: [display]

TASE 2013 : 7th International Symposium on Theoretical Aspects of Software Engineering

FacebookTwitterLinkedInGoogle


Conference Series : Theoretical Aspects of Software Engineering
 
Link: http://www1.aston.ac.uk/eas/research/groups/csrg/events/tase13/
 
When Jul 1, 2013 - Jul 3, 2013
Where Birmingham, UK
Abstract Registration Due Jan 18, 2013
Submission Deadline Jan 25, 2013
Notification Due Mar 22, 2013
Final Version Due Apr 26, 2013
Categories    software engineering
 

Call For Papers

Overview

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

Venue

Aston University Conference Centre, Aston Triangle, Birmingham, UK, B4 7ET
http://www1.aston.ac.uk/about/directions/

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:

https://www.easychair.org/conferences/?conf=tase2013
Further instructions for authors (e.g. paper format and size) will be communicated at a later date.

Important Dates

Title and abstract submission deadline: 18 January 2013
Paper submission deadline: 25 January 2013
Acceptance/rejection notification: 22 March 2013
Camera-ready version due: 26 April 2013
Registration for conference papers: 3 May 2013
General registration: 31 May 2013
TASE 2013: 1st - 3rd July 2013

Contact

tase2013[at]aston.ac.uk

Related Resources

MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
ACM-MLNLP-Ei/Scopus 2019   2019 2nd International Conference on Machine Learning and Natural Language Processing
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
STACS 2020   Symposium on Theoretical Aspects of Computer Science
AIAA 2019   9th International Conference on Artificial Intelligence, Soft Computing and Applications
ICTAC 2019   16th International Colloquium on Theoretical Aspects of Computing
MSR 2020   Mining Software Repositories
STACS 2019   36th International Symposium on Theoretical Aspects of Computer Science