<div style="line-height:1.7;color:#000000;font-size:14px;font-family:Arial"><div id="isForwardContent"><p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">TASE 2023 - CALL FOR PAPERS</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p> </o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">******************************************************************</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS""><span style="mso-spacerun:yes"> </span>The 17th International Symposium
on</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS""><span style="mso-spacerun:yes"> </span>Theoretical Aspects of Software
Engineering</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS""><span style="mso-spacerun:yes"> </span>(TASE 2023)</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS""><span style="mso-spacerun:yes"> </span>July 4-6, Bristol, UK</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS""><span style="mso-spacerun:yes"> </span></span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica">https://bristolpl.github.io/tase2023/<o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p> </o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">******************************************************************</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Abstract submission (not mandatory,
but preferred):<span style="mso-spacerun:yes"> </span>February 3, 2023</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm;margin-right:0cm;margin-bottom:0cm;
margin-left:9.8pt;margin-bottom:.0001pt;text-indent:-9.8pt;mso-list:l0 level1 lfo1;
tab-stops:list 0cm"><!--[if !supportLists]--><span lang="DE" style="font-size:10.0pt;
mso-bidi-font-size:12.0pt;font-family:OpenSymbol;mso-fareast-font-family:OpenSymbol;
mso-bidi-font-family:OpenSymbol;mso-ansi-language:DE"><span style="mso-list:
Ignore">*<span style="font:7.0pt "Times New Roman""> </span></span></span><!--[endif]--><span lang="DE" style="font-family:"Helvetica",sans-serif;mso-bidi-font-family:"Arial Unicode MS";
mso-ansi-language:DE">Paper Submission:<span style="mso-spacerun:yes"> </span><span style="mso-spacerun:yes"> </span></span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-bidi-font-family:"Arial Unicode MS""><span style="mso-spacerun:yes"> </span>February
24, 2023</span><span lang="DE" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS";mso-ansi-language:DE"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm;margin-right:0cm;margin-bottom:0cm;
margin-left:9.8pt;margin-bottom:.0001pt;text-indent:-9.8pt;mso-list:l0 level1 lfo1;
tab-stops:list 0cm"><!--[if !supportLists]--><span lang="EN-US" style="font-size:
10.0pt;mso-bidi-font-size:12.0pt;font-family:OpenSymbol;mso-fareast-font-family:
OpenSymbol;mso-bidi-font-family:OpenSymbol"><span style="mso-list:Ignore">*<span style="font:7.0pt "Times New Roman""> </span></span></span><!--[endif]--><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-bidi-font-family:"Arial Unicode MS"">Author
Notification:<span style="mso-spacerun:yes">
</span>April 10, 2023<o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm;margin-right:0cm;margin-bottom:0cm;
margin-left:9.8pt;margin-bottom:.0001pt;text-indent:-9.8pt;mso-list:l0 level1 lfo1;
tab-stops:list 0cm"><!--[if !supportLists]--><span lang="EN-US" style="font-size:
10.0pt;mso-bidi-font-size:12.0pt;font-family:OpenSymbol;mso-fareast-font-family:
OpenSymbol;mso-bidi-font-family:OpenSymbol"><span style="mso-list:Ignore">*<span style="font:7.0pt "Times New Roman""> </span></span></span><!--[endif]--><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-bidi-font-family:"Arial Unicode MS"">Camera-ready
versions:<span style="mso-spacerun:yes">
</span>May 1, 2023<o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm;margin-right:0cm;margin-bottom:0cm;
margin-left:9.8pt;margin-bottom:.0001pt;text-indent:-9.8pt;mso-list:l0 level1 lfo1;
tab-stops:list 0cm"><!--[if !supportLists]--><span lang="EN-US" style="font-size:
10.0pt;mso-bidi-font-size:12.0pt;font-family:OpenSymbol;mso-fareast-font-family:
OpenSymbol;mso-bidi-font-family:OpenSymbol"><span style="mso-list:Ignore">*<span style="font:7.0pt "Times New Roman""> </span></span></span><!--[endif]--><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-bidi-font-family:"Arial Unicode MS"">Conference
date:<span style="mso-spacerun:yes"> </span><span style="mso-spacerun:yes"> </span>July
4-6, 2023<o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p> </o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">--------</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">OVERVIEW</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">--------</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">The 17th International Symposium on
Theoretical Aspects of Software Engineering (TASE 2023) will be held in
Bristol, UK on July 4-6, 2023</span><span lang="DE" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS";mso-ansi-language:DE">. Modern</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-bidi-font-family:"Arial Unicode MS"">
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, quality
assurance in AI systems, distribution in cloud computing applications, security
and privacy in general. Hence, new concepts and methodologies are required to
enhance the development of software engineering from theoretical aspects. </span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p> </o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">TASE 2023 aims to provide a forum for
people from academia and industry to communicate their latest results on
innovative advances in software engineering. TASE 2023 is the 17th 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 </span><span lang="IT" style="font-family:"Helvetica",sans-serif;mso-bidi-font-family:"Arial Unicode MS";
mso-ansi-language:IT">('15), Shanghai</span><span lang="EN-US" style="font-family:
"Helvetica",sans-serif;mso-bidi-font-family:"Arial Unicode MS""> (’16), Nice </span><span lang="NL" style="font-family:"Helvetica",sans-serif;mso-bidi-font-family:"Arial Unicode MS";
mso-ansi-language:NL">('17), Guangzhou</span><span lang="EN-US" style="font-family:
"Helvetica",sans-serif;mso-bidi-font-family:"Arial Unicode MS""> ('18), Guilin
(’19), Hangzhou (’20), Shanghai (’21), Cluj (’22).</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p> </o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">------</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">TOPICS</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">------</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">Authors are invited to submit high
quality technical papers describing original and unpublished work in all
theoretical aspects of software engineering. Topics of interest include, but
are not limited to:</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="DE" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS";mso-ansi-language:DE">* Abstract
interpretation</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Algebraic and co-algebraic
specifications</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* AI for formal methods</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Component-based software engineering</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Cyber-physical systems</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Deductive verification</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Distributed and concurrent systems</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Domain Engineering</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Embedded and real-time systems</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Feature-oriented software</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Formal methods, verification and
testing for AI systems</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Formal verification and program
semantics</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Fundamental theories and techniques
for trustworthy AI systems</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Integration of formal methods</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Language design</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Model checking and theorem proving</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Model-driven engineering</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Object-oriented systems</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Probability in software engineering</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Program analysis</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Program logics and calculi</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Requirements engineering</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Reverse engineering and software
maintenance</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Run-time verification and monitoring</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Semantic web and web services</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Service-oriented and cloud computing</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Software processes and workflows</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Software architectures and design</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Software testing and quality
assurance</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Software safety, security and
reliability</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Specification and verification</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Type systems and behavioral typing</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">* Tools exploiting theoretical results</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p> </o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">---------------</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="ES-TRAD" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS";mso-ansi-language:ES-TRAD">KEYNOTE
SPEAKERS</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">---------------</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica">Stefan Kiefer – University of Oxford<o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US">Naijun Zhan</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"> – </span><span lang="EN-US">Institute of Software, Chinese Academy of
Sciences</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica">Peter Schrammel – CTO of </span><span lang="EN-US"><a href="https://www.diffblue.com/"><span style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica">Diffblue, AI for Code</span></a></span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica">, Oxford<o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p> </o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">----------</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">SUBMISSION</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">----------</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">Submissions to the conference must not
have been published or be concurrently considered for publication elsewhere.
All submissions will be judged on the basis of originality, contribution to the
field, technical and presentation quality, and relevance to the conference. The
proceedings will be published in the Springer Lecture Notes in Computer Science
series. Papers should be written in English and should not exceed 16 pages
(excluding bibliography) for long papers and 6 pages (excluding bibliography)
for short papers in LNCS format. Submissions should be made through the TASE
2023 submission page, handled by the EasyChair conference management system.</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p> </o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">Submission link: </span><span class="MsoHyperlink"><span lang="EN-US" style="font-size:10.0pt;mso-bidi-font-size:
12.0pt;font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:#1D419F;
mso-bidi-font-style:italic">https://easychair.org/conferences/?conf=tase23</span></span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p> </o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">Selected papers will be invited after
the symposium to submit an extended version </span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">to a special issue at Science of
Computer Programming.</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p> </o:p></span></p>
<p class="a0" style="margin-top:0cm"><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-bidi-font-family:"Arial Unicode MS"">---------------</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Arial;Helvetica;sans-serif",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Arial;Helvetica;sans-serif",serif;color:black">HONORARY CHAIR</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Ian Nabney –
University of Bristol, UK</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Arial;Helvetica;sans-serif",serif;color:black">-------------</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Arial;Helvetica;sans-serif",serif;color:black">GENERAL CHAIR</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Meng Wang –
Univeristy of Bristol, UK</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Arial;Helvetica;sans-serif",serif;color:black">-----------------</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Arial;Helvetica;sans-serif",serif;color:black">PROGRAM CO-CHAIRS</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Cristina David
– University of Bristol, UK</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Meng Sun –
Peking University, China</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Arial;Helvetica;sans-serif",serif;color:black">----------------</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Arial;Helvetica;sans-serif",serif;color:black">PUBLICITY CO-CHAIRS</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Guoqiang Li --
Shanghai Jiaotong University, China</span><span lang="EN-US" style="font-family:
"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica;
color:black">Guillaume Dupont -- Toulouse INP – ENSEEIHT, France</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Arial;Helvetica;sans-serif",serif;color:black">----------------</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Arial;Helvetica;sans-serif",serif;color:black">LOCAL ORGANIZING
CHAIR</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Samantha
Frohlich – University of Bristol, UK</span><span lang="EN-US" style="font-family:
"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Arial;Helvetica;sans-serif",serif;color:black">------------------</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Arial;Helvetica;sans-serif",serif;color:black">WEB CHAIR</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Roly Perera –
University of Bristol, UK</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Arial;Helvetica;sans-serif",serif;color:black">------------------</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Arial;Helvetica;sans-serif",serif;color:black">WORKSHOP CO-CHAIRS</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Ileana Ober --
Université Paul Sabatier, France</span><span lang="EN-US" style="font-family:
"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Min Zhang --
East China Normal University, China</span><span lang="EN-US" style="font-family:
"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Arial;Helvetica;sans-serif",serif;color:black">------------------</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Arial;Helvetica;sans-serif",serif;color:black">PUBLICATION CHAIR</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Neeraj Singh
-- </span><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;
line-height:140%;font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica;color:black">Toulouse INP – ENSEEIHT, France</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Arial;Helvetica;sans-serif",serif;color:black">------------------</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Arial;Helvetica;sans-serif",serif;color:black">PROGRAM COMMITTEE</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:
Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Bernhard K.
Aichernig, Graz University of Technology</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Yamine Ait
Ameur, IRIT/INPT-ENSEEIHT</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Toshiaki Aoki,
JAIST</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Guangdong Bai,
The University of Queensland</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Richard
Banach, University of Manchester</span><span lang="EN-US" style="font-family:
"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Luís Soares
Barbosa, University of Minho</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Marcello
Bonsangue, Leiden University</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Martin Brain,
City, University of London</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Liqian Chen,
National University of Defense Technology</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Zhenbang Chen,
National University of Defense Technology </span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Wei-Ngan Chin,
National University of Singapore</span><span lang="EN-US" style="font-family:
"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Lucas
Cordeiro, University of Manchester</span><span lang="EN-US" style="font-family:
"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Andreeea
Costea, National University of Singapore</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Florin
Craciun, Cluj University</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Cristina
David, University of Bristol (PC Co-chair)</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Flavio
Ferrarotti, Software Competence Centre Hagenberg</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Simon Foster,
University of York</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Marc Frappier,
Université de Sherbrooke</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Robvan
Glabbeek, Data61 - CSIRO</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Matthias
Güdemann, University of Applied Sciences, Munich</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Fei He,
Tsinghua University</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Thai Son
Hoang, University of Southampton</span><span lang="EN-US" style="font-family:
"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Zoltán
Horváth, Eotvos Lorand University, Budapest</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Zhe Hou,
Griffith University</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Xiaowei Huang,
University of Liverpool </span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Fuyuki
Ishikawa, National Institute of Informatics</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Andreas Katis,
KBR Inc. at NASA Ames Research Center</span><span lang="EN-US" style="font-family:
"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Olga
Kouchnarenko, University of Franche-Comté</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Pascal
Kesseli, Diffblue, UK</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Regine Laleau,
Paris Est Creteil University</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Kim Guldstrand
Larsen, Aalborg University</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Dorel Lucanu,
Alexandru Ioan Cuza University</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Frederic
Mallet, Universite Nice Sophia-Antipolis</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Kazutaka
Matsuda, Tohoku University</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Diego
Marmsoler, University of Exeter </span><span lang="EN-US" style="font-family:
"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Dominique
Mery, Université de Lorraine, LORIA</span><span lang="EN-US" style="font-family:
"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Kazuhiro
Ogata, JAIST</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Peter
Ölveczky, University of Oslo</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Dominic
Orchard, University of Kent</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Jun Pang,
University of Luxembourg</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Geguang Pu,
East China Normal University</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Adrian Riesco,
Universidad Complutense de Madrid</span><span lang="EN-US" style="font-family:
"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Shengchao Qin,
Teesside University</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Quang Loc Le,
University College London</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Cristina
Seceleanu, Mälardalen University</span><span lang="EN-US" style="font-family:
"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Meng Sun,
Peking University (PC Co-chair)</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Cong Tian,
Xidian University</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Jaco van de
Pol, University of Twente</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Xiaofei Xie,
Singapore Management University</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Naijun Zhan,
Institute of Software, Chinese Academy of Sciences </span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Xiyue Zhang,
xiyue.zhang@cs.ox.ac.uk, University of Oxford </span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Yongwang Zhao,
zhaoyw@zju.edu.cn, Zhejiang University</span><span lang="EN-US" style="font-family:
"Helvetica",sans-serif;mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Huibiao Zhu,
East China Normal University</span><span lang="EN-US" style="font-family:"Helvetica",sans-serif;
mso-fareast-font-family:Helvetica"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-bottom:9.0pt;line-height:140%"><span lang="EN-US" style="font-size:11.0pt;mso-bidi-font-size:12.0pt;line-height:140%;
font-family:"Verdana;Arial;Helvetica;sans-se",serif;color:black">Xue-Yang Zhu,
Institute of Software, Chinese Academy of Sciences</span></p></div></div><br>