<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:SimSun;
panose-1:2 1 6 0 3 1 1 1 1 1;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:SimSun;
panose-1:2 1 6 0 3 1 1 1 1 1;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
text-align:justify;
font-size:10.5pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.EmailStyle18
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle19
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle20
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle21
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle22
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle23
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle24
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle25
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle26
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle27
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle28
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle29
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.EmailStyle30
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle31
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.EmailStyle32
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle33
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 90.0pt 72.0pt 90.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=ZH-CN link=blue vlink=purple style='text-justify-trim:punctuation'><div class=WordSection1><p class=MsoNormal><span lang=EN-US>10th International Symposium on Theoretical Aspects of Software Engineering<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> Call for Papers<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> TASE 2016<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> July 17-19, 2016, Shanghai, China<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> http://tase2016.ecnu.edu.cn<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>* We are pleased to announce that 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).<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>* Important dates<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Abstract research paper 10 January 2016<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Submission research paper 17 January 2016<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Author notification 20 March 2016<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Camera ready copy 10 April 2016<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>* Objectives and scope<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>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. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>We invite submissions of research papers on topics covering all theoretical aspects of software engineering, including, but not limited to, the following:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> + Abstract interpretation<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Algebraic and co-algebraic specifications<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Aspect oriented software<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Component-based systems<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Cyber-physical systems<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Deductive verification<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Distributed and concurrent systems<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Embedded and real-time systems<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Feature-oriented software<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Formal verification and program semantics<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Integration of formal methods<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Language design<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Model checking and theorem proving<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Object-oriented systems<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Program logics and calculi<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Quantum computation<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Run-time verification and monitoring<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Service-oriented and cloud computing<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Software architecture<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Software testing and quality assurance<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Software security and reliability<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Static analysis of programs<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Type systems and behavioural typing<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> + Tools exploiting theoretical results<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>* Venue and event<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>TASE 2016 will be held on the campus of the East China Normal University in Shanghai, China, on 17 - 19 July 2016.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>* Keynote speakers<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Christel Baier (Technical University of Dresden, DE)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Ana Cavalcanti (University of York, UK)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Jifeng He (East China Normal University, CN)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>* General chairs W. Eric Wong (The University of Texas at Dallas, USA)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Huibiao Zhu (East China Normal University, China)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>* PC chairs<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Marcello Bonsangue (Leiden University, NL)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Yuxin Deng (East China Normal University, CN)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>* Publicity chairs<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Frederic Mallet (University of Nice Sophia Antipolis, FR)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Min Zhang (East China Normal University, CN)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>* Programme committee<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Erika Abraham (RWTH Aachen University, DE) <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Bernhard Aichernig (Graz University of Technology, AT)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Elvira Albert (Complutense University of Madrid, ES)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Davide Ancona (University of Genova, IT)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Farhad Arbab (CWI, NL)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Luis Barbosa (University of Minho, PT)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Richard Bubel (Technical University of Darmstadt, DE)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Andrew Butterfield (Trinity College Dublin, IE)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Marco Carbone (IT University of Copenhagen, DK)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Rocco de Nicola (IMT-Institute for Advanced Studies, IT)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Zhenhua Duan (Xidian University, CN)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Yuxi Fu (Shanghai Jiao Tong University, CN)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Stefania Gnesi (ISTI-CNR, IT)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Hai-Feng Guo (University of Nebraska at Omaha, USA)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Zhenjiang Hu (National Institute of Informatics, JP)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Marieke Huisman (University of Twente, NL)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Dang Van Hung (Vietnam National University, VT)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Einar Broch Johnsen (Oslo University, NO)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Laura Kovacs (Chalmers University of Technology, SE)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Dexter Kozen (Cornell University, US)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Xuandong Li (Nanjing University, CN)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Shaoying Liu (Hosei University, JP)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Zhiming Liu (Birmingham City University, UK)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Antonia Lopes (University of Lisbon, PT)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Frederic Mallet (University of Nice Sophia Antipolis, FR)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Carroll Morgan (University of New South Wales, AU)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Mohammad Reza Mousavi (Halmstad University, SE)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Catuscia Palamidessi (INRIA, FR)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Jun Pang (University of Luxembourg, LU)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Luigia Petre (Abo Akademi University, FI)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Shengchao Qin (Teesside University, UK)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Zongyan Qiu (Peking University, CN)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Gerardo Schneider (Chalmers University of Technology, SE)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Emil Sekerinski (McMaster University, CA)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Georg Struth (University of Sheffield, UK)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Jing Sun (University of Auckland, NZ)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Jun Sun (Singapore University of Technology and Design, SG)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Jean Pierre Talpin (INRIA, FR)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Andrzej Tarlecki (Warsaw University, PL)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Viktor Vafeiadis (MPI-SWS, DE)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Chao Wang (Virginia Tech, US)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Yi Wang (Uppsala University, SE)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Heike Wehrheim (University of Paderborn, DE)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> W. Eric Wong (The University of Texas at Dallas, US)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Lijun Zhang (Chinese Academy of Sciences, CN)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Min Zhang (East China Normal University, CN)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Huibiao Zhu (East China Normal University, CN)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>* Steering Committee: <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Keijiro Araki (Kyushu University, JP)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Jifeng He (East China Normal University, CN)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Michael Hinchey (Lero, IE)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Shengchao Qin (Teesside University, UK)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Huibiao Zhu (East China Normal University, CN)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>* Submission guidelines<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>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 <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> http://www.easychair.org/conferences/?conf=tase2016.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>The proceedings of the TASE 2016 symposium will include all accepted papers and will be published by the IEEE Computer Society Press. The authors of selected papers will be invited after the symposium to submit an extended version to a journal special issue Sicence of Computer Programming.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p></div></body></html>