*****************************************************************************

 11th International Symposium on Theoretical Aspects of Software Engineering

                             Call for Papers

                                 TASE 2017

                   13 - 15 September 2017, Nice, France,

                           http://tase2017.unice.fr

* Important dates

   **********************************************************

     Abstract research paper       12 March 2017

     Submission research paper     19 March 2017

     Author notification           21 May 2017

     Camera ready copy             05 June 2017

   **********************************************************

* Objectives and scope

    Now on its 11th 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.

  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

* Venue and event

    TASE 2017 will be held on the  the SophiaTech Campus in Sophia Antipolis, France, on 13 -15 September 2017.

* Keynote speakers

    TBA

* PC chairs 

    Frederic Mallet (University of Nice Sophia Antipolis, FR)

    Min Zhang (East China Normal University, CN)

* Organization chair 

    Eric Madelaine (INRIA, FR)

* Publication chair 

    Marcello Bonsangue (Leiden University, NL)

* Keynote speakers

    TBA

* Programme committee (to be confirmed)

    Erika Abraham (RWTH Aachen University, Germany)

    Bernhard Aichernig (Graz University of Technology, Austria)

    Toshiaki Aoki (JAIST, Japan)

    Farhad Arbab (CWI, Netherlands)

    Cyrille Artho (AIST, Japan)

    Luis Soares Barbosa (University of Minho, Portugal)

    Marcello Bonsangue (Leiden University, The Netherlands)

    Andrew Butterfield (Trinity College Dublin, Ireland)

    Yuxin Deng (East China Normal University, China)

    Rocco de Nicola (IMT - Institute for Advanced Studies Lucca, Italy)

    Yuxi Fu (Shanghai Jiao Tong University, China)

    Stefania Gnesi (ISTI-CNR, Italy)

    Marieke Huisman (University of Tweente, Netherlands)

    Dang Van Hung (Vietnam National University, Vietnam)

    Einar Broch Johnsen (Oslo University, Norway)

    Laura Kovacs (Chalmers University of Technology, Sweden)

    Dexter Kozen (Cornell University, USA)

    Zhiming Liu (Birmingham City University, UK)

    Antonia Lopes (University of Lisbon, Portugal)

    Eric Madelaine (INRIA, France)

    Kazuhiro Ogata (JAIST, Japan)

    Catuscia Palamidessi (INRIA, France)

    Jun Pang (University of Luxembourg, Luxembourg)

    Shengchao Qin (Teesside University, UK)

    Jean Pierre Talpin (INRIA, France)

    Andrzej Tarlecki (Warsaw University, Poland)

    Kazunori Ueda (Waseda University, Japan)

    Yi Wang (Uppsala University, Sweden)

    Eric Wong (The University of Texas at Dallas, USA)

    Lijun Zhang (Chinese Academy of Sciences, China)

    Huibiao Zhu (East China Normal University, China)

    ¡­

* Steering Committee: 

    Keijiro Araki (Kyushu University, JP)

    Jifeng He (East China Normal University, CN)

    Michael Hinchey (Lero, IE)

    Shengchao Qin (Teesside University, UK)

    Huibiao Zhu (East China Normal University, CN) 

* Submission guidelines

    We solicit contributions that describe original and unpublished research, and should not be submitted for publication elsewhere. They are limited to 8 pages, must be written in English, and the format should adhere to the A4 double column IEEE style. Please prepare your manuscripts with respect to the IEEE guidelines. Papers should be submitted electronically as a PDF file via the Easychair system at 

            http://www.easychair.org/conferences/?conf=tase2017.

  The proceedings of the TASE 2017 symposium will include all accepted papers and will be published by the IEEE Computer Society Press. 

  As usual, we are now contacting the journal of Science of Computer Programming, and hopefully selected papers will be invited after the symposium to submit an extended version to a journal special issue Science of Computer Programming.

******************************************************************************

--