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

TASE 2022   Theoretical Aspects of Software Engineering
AAMAS 2023   The 22nd International Conference on Autonomous Agents and Multiagent Systems
SEKE 2023   The 35th International Conference on Software Engineering and Knowledge Engineering
IEEE--ISCMI 2022   IEEE--2022 9th Intl. Conference on Soft Computing & Machine Intelligence (ISCMI 2022)--SCIE
ESEC/FSE 2023   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
IEEE CAIT 2022   IEEE--2022 The 3rd International Conference on Artificial Intelligence Technology (CAIT 2022)
SEAI 2023   2023 3rd IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI 2023)
ICMT 2023   2023 International Conference on Metaverse Technology (ICMT 2022)
ICMLT--Ei, Scopus 2023   2023 8th International Conference on Machine Learning Technologies (ICMLT 2023)--EI Compendex, Scopus
CVIE--EI 2023   2023 The 3rd International Conference on Computer Vision and Information Engineering (CVIE 2023)