conferences.computer.science

All conferences / TASE / 2018

TASE 2018

12th International Symposium on Theoretical Aspects of Software Engineering

Held29–31 Aug 2018 WhereGuangzhou 🇨🇳 RankCORE C Website tase2018.jnu.edu.cn ↗
Closed

Submission closed on 2 Mar 2018.

Submission timeline

  • 23 Feb 2018 Abstract registration UTC
  • 2 Mar 2018 Full paper UTC
  • 6 May 2018 Notification
  • 29 Aug 2018 Conference opens

What to submit

Format
8 pages IEEE
Proceedings
IEEE Computer Society Press — Paywalled

Warning: all deadlines are UTC. The authors of selected papers will be invited after the symposium to submit an extended version to a special issue at Science of Computer Programming (SCP). Almost always in China (except once in UK and once in Taiwan).

Call for papers

The call, as published

Reproduced verbatim from the organisers’ announcement. The conference’s own page is at tase2018.jnu.edu.cn. 

                   TASE 2018 - CALL FOR PAPERS

******************************************************************
                The 12th International Symposium on
           Theoretical Aspects of Software Engineering
                           (TASE 2018)
                August 29-31, Guangzhou, China
                  http://tase2018.jnu.edu.cn

        For more information email: tase2018@easychair.org
******************************************************************

* Abstract submission: February 23, 2018
* Paper submission: March 2, 2018

--------
OVERVIEW
--------
The 12th Theoretical Aspects of Software Engineering Conference (TASE
2018) will be held in Guangzhou, China in August, 2018.

Modern society is increasingly dependent on software systems that are
becoming larger and more complex. This poses new challenges to the
various aspects of software engineering, for instance, software
dependability in trusted computing, interaction with physical
components in cyber physical systems, distribution in cloud computing
applications, etc. Hence, new concepts and methodologies are required
to enhance the development of software engineering from theoretical
aspects. TASE 2018 aims to provide a forum for people from academia
and industry to communicate their latest results on theoretical
advances in software engineering.

TASE 2018 is the 12th in the TASE series. The past TASE symposia were
successfully held in Shanghai ('07), Nanjing ('08), Tianjin ('09),
Taipei ('10), Xi'an ('11), Beijing ('12), Birmingham ('13),
Changsha('14), Nanjing('15), Shanghai('16) and Nice('17). The
proceedings of the TASE 2018 symposium are planned to be published by
the IEEE Computer Society Press. The authors of a selected subset of
accepted papers will be invited to submit extended versions of their
papers to appear in a special issue of the Science of Computer
Programs journal.

------
TOPICS
------
The symposium is devoted to theoretical aspects of software
engineering. Topics of interest include, but are not limited to:

* Abstract interpretation
* Algebraic and co-algebraic specifications
* Aspect oriented software
* Component-based software engineering
* 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
* Model-driven engineering
* Object-oriented systems
* Probability in software engineering
* Program analysis
* Program logics and calculi
* Quantum computation
* Requirements engineering
* Reverse engineering and software maintenance
* Run-time verification and monitoring
* Semantic web and web services
* Service-oriented and cloud computing
* Software processes and workflows
* Software architectures and design
* Software testing and quality assurance
* Software safety, security and reliability
* Specification and verification
* Type systems and behavioural typing
* Tools exploiting theoretical results

----------------
INVITED SPEAKERS
----------------
(To be announced)


----------
SUBMISSION
----------
Submission should be done through the TASE 2018 submission page,
handled by the EasyChair conference system:

https://www.easychair.org/conferences/?conf=tase2018

As in previous years, the proceedings of the conference are planned to
be published by the IEEE Computer Society Press. Papers must be
written in English and not exceed 8 pages in Two-Column IEEE format.

---------------
IMPORTANT DATES
---------------
Abstract submission : February 23, 2018
Paper submission : March 2, 2018
Notification : May 6, 2018
Camera-ready : June 6, 2018
Conference data: August 29-31, 2018

-------------
GENERAL CHAIR
-------------
Jifeng He          (East China Normal University, China)
Jian Weng          (Jinan University, China)

-----------------
PROGRAM CO-CHAIRS
-----------------
Jun Pang           (University of Luxembourg, Luxembourg)
Chenyi Zhang       (Jinan University, China)

-----------------
STEERING COMMITTEE
-----------------
Keijiro Araki      (Kyushu University, Japan)
Jifeng He          (East China Normal University, China)
Michael Hinchey    (Lero, Ireland)
Shengchao Qin      (Teesside University, UK)
Huibiao Zhu        (East China Normal University, China)

------------------
PROGRAM COMMITTEE
------------------
Erika Abraham, RWTH Aachen University, Germany
Toshiaki Aoki, Japan Advanced Institute of Science and Technology (JAIST),
Japan
Farhad Arbab, CWI and Leiden University, The Netherlands
Luis Barbosa, University of Minho, Portugal
Marcello Bonsangue, Leiden University, The Netherlands
Qingliang Chen, Jinan University, China
Rocco de Nicola, Institute for Advanced Studies Lucca, Italy
Yuxin Deng, East China Normal University, China
Ylies Falcone, INRIA, France
Rob van Glabbeek, CSIRO, Australia
Marieke Huisman, University of Twente, The Netherlands
Florian Kammueller, Middlesex University, UK
Pierre Kelsen, University of Luxembourg, Luxembourg
Laura Kovacs, Vienna University of Technology, Austria
Jingyi Long, Jinan University, China
Frederic Mallet, University of Nice Sophia Antipolis, France
Mohammad Reza Mousavi, University of Leicester, UK
Shin Nakajima, National Institute of Informatics (NII), Japan
Kazuhiro Ogata, Japan Advanced Institute of Science and Technology
(JAIST), Japan
Catuscia Palamidessi, INRIA, France
Shengchao Qin, Teesside University, UK
Bernhard Scholz, University of Sydney, Australia
Graeme Smith, University of Queensland, Australia
Fu Song, ShanghaiTech University, China
Jun Sun, Singapore University of Technology and Design, Singapore
Wang Yi, Uppsala University, Sweden
W. Eric Wong, The University of Texas at Dallas, USA
Lijun Zhang, Chinese Academy of Sciences, China
Min Zhang, East China Normal University, China
Huibiao Zhu, East China Normal University, China

----------------
ORGANIZING CHAIR
----------------
Guowei Luo         (Jinan University, China)

----------------
PUBLICITY CHAIR
----------------
Liangda Fang       (Jinan University, China)

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.