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

CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2020)--Ei Compendex & Scopus
ACM-CSSE 2020-Ei/Scopus 2020   2020 3nd International Conference on Computer Science and Software Engineering (CSSE 2020)
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
MLHMI--Ei and Scopus 2021   2021 2nd International Conference on Machine Learning and Human-Computer Interaction (MLHMI 2021)--Ei Compendex, Scopus
AIFU 2020   6th International Conference on Artificial Intelligence and Applications
IEEE--ICISE--Ei Compendex & Scopus 2020   IEEE--2020 the 5th International Conference on Information Systems Engineering (ICISE 2020)--Ei Compendex & Scopus
STACS 2020   Symposium on Theoretical Aspects of Computer Science
ICALP 2020   47th International Colloquium on Automata, Languages and Programming