<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<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 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;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{mso-style-priority:99;
mso-style-link:"\7EAF\6587\672C Char";
margin:0cm;
margin-bottom:.0001pt;
text-align:justify;
font-size:10.5pt;
font-family:SimSun;}
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;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.EmailStyle34
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle35
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.Char
{mso-style-name:"\7EAF\6587\672C Char";
mso-style-priority:99;
mso-style-link:\7EAF\6587\672C;
font-family:SimSun;}
.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=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'>*****************************************************************************<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> 11th International Symposium on Theoretical Aspects of Software Engineering<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Call for Papers<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> TASE 2017<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> 13 - 15 September 2017, Nice, France,<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> http://tase2017.unice.fr<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'>* Important dates<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> **********************************************************<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Abstract research paper 12 March 2017<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Submission research paper 19 March 2017<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Author notification 21 May 2017<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Camera ready copy 05 June 2017<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> **********************************************************<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'>* Objectives and scope<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> 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.<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> 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=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Abstract interpretation<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Algebraic and co-algebraic specifications<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Aspect oriented software<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Component-based systems<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Cyber-physical systems<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Deductive verification<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Distributed and concurrent systems<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Embedded and real-time systems<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Feature-oriented software<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Formal verification and program semantics<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Integration of formal methods<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Language design<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Model checking and theorem proving<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Object-oriented systems<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Program logics and calculi<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Quantum computation<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Run-time verification and monitoring<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Service-oriented and cloud computing<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Software architecture<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Software testing and quality assurance<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Software security and reliability<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Static analysis of programs<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Type systems and behavioural typing<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> + Tools exploiting theoretical results<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'>* Venue and event<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> TASE 2017 will be held on the the SophiaTech Campus in Sophia Antipolis, France, on 13 -15 September 2017.<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'>* Keynote speakers<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> TBA<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'>* PC chairs <o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Frederic Mallet (University of Nice Sophia Antipolis, FR)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Min Zhang (East China Normal University, CN)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'>* Organization chair <o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Eric Madelaine (INRIA, FR)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'>* Publication chair <o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Marcello Bonsangue (Leiden University, NL)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'>* Keynote speakers<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> TBA<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'>* Programme committee (to be confirmed)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Erika Abraham (RWTH Aachen University, Germany)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Bernhard Aichernig (Graz University of Technology, Austria)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Toshiaki Aoki (JAIST, Japan)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Farhad Arbab (CWI, Netherlands)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Cyrille Artho (AIST, Japan)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Luis Soares Barbosa (University of Minho, Portugal)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Marcello Bonsangue (Leiden University, The Netherlands)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Andrew Butterfield (Trinity College Dublin, Ireland)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Yuxin Deng (East China Normal University, China)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Rocco de Nicola (IMT - Institute for Advanced Studies Lucca, Italy)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Yuxi Fu (Shanghai Jiao Tong University, China)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Stefania Gnesi (ISTI-CNR, Italy)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Marieke Huisman (University of Tweente, Netherlands)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Dang Van Hung (Vietnam National University, Vietnam)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Einar Broch Johnsen (Oslo University, Norway)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Laura Kovacs (Chalmers University of Technology, Sweden)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Dexter Kozen (Cornell University, USA)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Zhiming Liu (Birmingham City University, UK)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Antonia Lopes (University of Lisbon, Portugal)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Eric Madelaine (INRIA, France)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Kazuhiro Ogata (JAIST, Japan)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Catuscia Palamidessi (INRIA, France)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Jun Pang (University of Luxembourg, Luxembourg)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Shengchao Qin (Teesside University, UK)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Jean Pierre Talpin (INRIA, France)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Andrzej Tarlecki (Warsaw University, Poland)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Kazunori Ueda (Waseda University, Japan)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Yi Wang (Uppsala University, Sweden)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Eric Wong (The University of Texas at Dallas, USA)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Lijun Zhang (Chinese Academy of Sciences, China)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Huibiao Zhu (East China Normal University, China)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> ”<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'>* Steering Committee: <o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Keijiro Araki (Kyushu University, JP)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Jifeng He (East China Normal University, CN)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Michael Hinchey (Lero, IE)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Shengchao Qin (Teesside University, UK)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> Huibiao Zhu (East China Normal University, CN) <o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'>* Submission guidelines<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> 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=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> http://www.easychair.org/conferences/?conf=tase2017.<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> The proceedings of the TASE 2017 symposium will include all accepted papers and will be published by the IEEE Computer Society Press. <o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'> 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.<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='font-size:10.0pt;font-family:"Times New Roman",serif'>******************************************************************************<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p></div></body></html>