Conference Information
TASE 2018: International Symposium on Theoretical Aspects of Software Engineering
Submission Date:
2018-03-09 Extended
Notification Date:
Conference Date:
Guangzhou, China
CCF: c   CORE: c   QUALIS: b3   Viewed: 15525   Tracked: 33   Attend: 10

Conference Location
Call For Papers
Now on its 12th edition, TASE is an international symposium that aims to bring together researchers and developers from academia and industry with interests in the theoretical aspects of software engineering. We invite submissions of research papers on topics covering all theoretical aspects of software engineering, including, but not limited to, the following:

Abstract interpretation
Algebraic and co-algebraic specifications
Aspect oriented software
Component-based systems
Cyber-physical systems
Deductive verification
Distributed and concurrent systems
Embedded and real-time systems
Feature-oriented software
Formal verification and program semantics
Integration of formal methods
Language design
Model checking and theorem proving

Object-oriented systems
Program logics and calculi
Quantum computation
Run-time verification and monitoring
Service-oriented and cloud computing
Software architecture
Software testing and quality assurance
Software security and reliability
Static analysis of programs
Type systems and
behavioural typing
Tools exploiting theoretical results
Last updated by Dou Sun in 2018-03-12
Acceptance Ratio
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ICITEInternational Conference on Information Technology in Education2019-02-162019-03-102019-03-23
PRAWorkshop on Pattern Recognition Applications2019-10-012019-11-012020-04-09
ICAICEInternational Conference on Artificial Intelligence and Control Engineering2015-04-07 2015-05-15
FCSITEuropean Conference on Frontiers of Computer Science and Information Technology2019-09-052019-09-102019-09-22
AIEEInternational Conference on Artificial Intelligence in Electronics Engineering2019-08-202019-09-102020-01-04
aa*a2ESECEuropean Software Engineering Conference2020-03-052020-05-212020-11-13
ICICCInternational Conference on Intelligent Control and Computing2018-11-252018-12-052019-01-12
ICGCTInternational Conference On Green Computing and Technology2013-06-302013-07-172013-09-05
ASWECAustralian Software Engineering Conference2013-10-282013-12-202014-04-07
bb1ISITInternational Symposium on Information Theory2019-01-202019-03-312019-07-07