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

SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
ITE 2021   2nd International Conference on Integrating Technology in Education
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
SEKE 2021   The Thirty Third International Conference on Software Engineering and Knowledge Engineering
IJCSES 2020   International Journal of Computer Science and Engineering Survey
JSS SI on Test Automation 2021   Special Issue on “Test Automation: Trends, Benefits, and Costs” - Journal of Systems and Software (Elsevier)
ACM--ADIP--EI Compendex, Scopus 2020   ACM--2020 2nd Asia Digital Image Processing Conference (ADIP 2020)--EI Compendex, Scopus