posted by user: agoeb || 17600 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

Springer NLPIR 2026   Springer--2026 10th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2026)
CAAIE 2027   7th Conference on Advanced Artificial Intelligence and Education
Sydney, Australia-GBSCE 2026   2026 International Conference on Green Building and Sustainable Civil Engineering (GBSCE 2026)
ICAIES 2027   2027 International Conference on Artificial Intelligence for Engineering Systems (ICAIES 2027)
MECN 2026   7th International Conference on Mechanical Engineering
ICIAI 2027   2027 the 11th International Conference on Innovation in Artificial Intelligence (ICIAI 2027)
CSEITT 2026   4th International Conference on Computer Science, Engineering and Information Technology Trends
ICSIE 2027   2027 15th International Conference on Software and Information Engineering (ICSIE 2027)
ICAICE 2026   IEEE 2026 7th International Conference on Artificial Intelligence and Computer Engineering
ICBAIE 2026   IEEE 2026 7th International Conference on Big Data, Artificial Intelligence and Internet of Things Engineering