Institute of Software Chinese Academy of Sciences

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> <title>Institute of Software Chinese Academy of Sciences</title> <link href="../../images/style_en.css" rel="stylesheet" type="text/css"> </head> <body> <div id="main_container"> <div id="header"> <div id="logo"> <a href="#"><img src="http://english.is.cas.cn/images/en_logo.png" width="341" height="58" border="0" /></a> </div> <div class="banner_adds"> <ul> <li><a href="http://english.is.cas.cn">Home</a></li> <li><a href="http://english.is.cas.cn/sitemap/">Sitemap</a></li> <li><a href="http://english.is.cas.cn/au/ct/">Contact</a></li> <li><a href="http://www.is.cas.cn/" target="_blank">中文</a></li> <li style="border:none"><a href="http://english.cas.cn/" target="_blank">CAS</a></li> </ul> </div> <div class="menu"> <ul> <li><a href="http://english.is.cas.cn/au/">About us</a>   <ul> <li><a href="http://english.is.cas.cn/au/bi/">Brief Introduction</a></li> <li><a href="http://english.is.cas.cn/au/hy/">History</a></li> <li><a href="http://english.is.cas.cn/au/ds/">Director</a></li> <li><a href="http://english.is.cas.cn/au/aftd/">Address from the Director</a></li> <li><a href="http://english.is.cas.cn/au/an/">Organization</a></li> <li><a href="http://english.is.cas.cn/au/ct/">Contact</a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/rh/">Research</a>    <ul> <li><a href="http://english.is.cas.cn/rh/rd/">Research Divisions</a></li> <li><a href="http://english.is.cas.cn/rh/rp/">Research Progress</a></li> <li><a href="http://english.is.cas.cn/rh/as/">Achievements</a></li> <li><a href="http://english.is.cas.cn/rh/rps/">Research Programs</a></li> <li><a href="http://english.is.cas.cn/rh/tt/">Technology Transfer</a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/pe/">People</a>    <ul> <li><a href="http://english.is.cas.cn/pe/fas/">Faculty and Staff</a></li> <li><a href="http://english.is.cas.cn/pe/LT/">Managing Team</a></li> <li><a href="http://english.is.cas.cn/pe/cm/">CAS Members</a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/ic/">International Cooperation</a>    <ul> <li><a href="http://english.is.cas.cn/ic/in/">Introduction</a></li> <li><a href="http://english.is.cas.cn/ic/ip/">International Projects </a></li> <li><a href="http://english.is.cas.cn/ic/ic/">International Conferences </a></li> <li><a href="http://english.is.cas.cn/ic/ios/">International Organizations </a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/ns/">News</a>    <ul> <li><a href="http://english.is.cas.cn/ns/es/">Events </a></li> <li><a href="http://english.is.cas.cn/ns/icn/">Int’l Cooperation News </a></li> <li><a href="http://english.is.cas.cn/ns/ue/">Upcoming Events</a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/rs/">Resources</a>    <ul> <li><a href="http://english.is.cas.cn/rs/ma/">Multimedia</a></li> <li><a href="http://english.is.cas.cn/rs/fs/">Facilities</a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/et/">Education & Training</a>    <ul> <li><a href="http://english.is.cas.cn/et/education_intro/">Introduction</a></li> <li><a href="http://english.is.cas.cn/et/Enrollment/">Enrollment </a></li> <li><a href="http://english.is.cas.cn/et/Fellowship_Scholarship/">Fellowship&Scholarship </a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/ju/">Join Us</a></li> <li><a href="http://english.is.cas.cn/sp/">Societies & Publications</a></li> <li><a href="http://english.is.cas.cn/ls/">Links</a></li> </ul> </div> </div>  <div id="main_content">  <div class="column1">  <div class="left_box"> <div class="top_left_box"> </div> <div class="center_left_box"> <div class="box_title"><span>News</span> :</div> <div class="box_text"> <p><img src="../../images/bit02.gif" width="11" height="7" alt="" class="dot" /><a href="../es/">Events</a></p> <p><img src="../../images/bit02.gif" width="11" height="7" alt="" class="dot" /><a href="../icn/">Int’l Cooperation News</a></p> <p><img src="../../images/bit02.gif" width="11" height="7" alt="" class="dot" /><a href="./">Upcoming Events</a></p> </div> </div> <div class="bottom_left_box"> </div> </div>   <div class="left_box"> <div class="top_left_box"> </div> <div class="center_left_box"> <div class="box_title"><span>Find</span> information:</div> <div class="form"> <form name="searchform" action="http://english.is.cas.cn/Search/index.html" method="get" onSubmit="return search_check()" target="_top" style="margin:0px"/> <div class="form_row"> <label class="left">Search: </label> <input type="text" name="keyword" id="iptSword" onClick="javascript:if(this.value=='') this.value=''" value="" class="form_input" /> </div> <div style="float:right; padding:10px 25px 10px 0;"> <input type="image" src="http://english.is.cas.cn/images/go.gif" border="0" /> </div> </form> <script type="text/javascript"> function escapeTrs(str){//转义trs关键字 var arr = new Array("\\\\","!","@","#","\\$","\%","\\^","\&","\\*","\$","\$","\\_","\\+","\-","\=","\\{","\\}","\\|","\\[","\\]",";","'",":","\"","\<","\>","\\?","\,","\\.","\/"); for(var i=0;i<arr.length;i++){ var re = new RegExp(arr[i],"img"); str = str.replace(re, '\\' + arr[i]); } return str; } function dealKeywords(sword, relation) { var sTemp = ""; var swordtemp = ""; var sArray; if(sword.indexOf("*")<0&&sword.indexOf("+")<0&&sword.indexOf(")")<0&&sword.indexOf("(")<0&&sword.indexOf("\\")<0) { sword = escapeTrs(sword); //不含trs关键字 sArray = sword.split(" ");//输入框空格处理,空格表示 relation 关系 for(var i=0; i<sArray.length;i++) { sTemp = sArray[i].replace(/^\s+|\s+$/g,"");//去掉sword前后空格 if(sTemp!="") { swordtemp += "'"+ sTemp + "' "+relation+" ";/*加上''符号,处理trs带运算符的检索词报错的问题*/ } } if(swordtemp.lastIndexOf(" "+relation+" ")!=-1)//去掉relation结尾 { swordtemp = swordtemp.substring(0,swordtemp.length-relation.length-2); } } else//包含trs关键字 { if(sword.indexOf("\\")!=-1){ var re = new RegExp("\\\\","img"); sword = sword.replace(re, '\\\\'); } swordtemp = "'"+sword+"'"; } return swordtemp; } function search_check() { var sword =document.getElementById("iptSword").value.replace(/^\s+|\s+$/g,""); if (sword=='' || sword=='please enter keywords') { alert('please enter keywords!'); return false; } else { document.searchform.keyword.value = encodeURI(document.getElementById("iptSword").value);//传参前进行编码 document.searchform.submit(); } } </script> </div> </div> <div class="bottom_left_box"> </div> </div>  </div>   <div class="column_right_2"> <div class="column5"> <div class="small_title" style="color:#000000"><a href="../../" title="Home" class="CurrChnlCls">Home</a> > <a href="../" title="News" class="CurrChnlCls">News</a> > <a href="./" title="Upcoming Events" class="CurrChnlCls">Upcoming Events</a></div> <div class="main_text_box"> <div class="main_text_box_4"> <TABLE class=list_bottom cellSpacing=0 cellPadding=0 width=650 border=0> <TBODY> <TR> <TD width=580 style="border:0px; text-align:left" align="left"><IMG height=3 src="../../images/bit01.gif" width=3 /><FONT color=#4a4949><a href="./202001/t20200113_229362.html">[2020-01-14]Groebner Bases: Universality, Parametricity and Canonicity</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2020-01-13</SPAN> </TD></TR> <TR> <TD width=580 style="border:0px; text-align:left" align="left"><IMG height=3 src="../../images/bit01.gif" width=3 /><FONT color=#4a4949><a href="./202001/t20200113_229361.html">[2019-12-26] Interaction with Large and Multiple Displays</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2020-01-13</SPAN> </TD></TR> <TR> <TD width=580 style="border:0px; text-align:left" align="left"><IMG height=3 src="../../images/bit01.gif" width=3 /><FONT color=#4a4949><a href="./201912/t20191223_228353.html">[2019-12-20] Proving that Programs are Differentially Private" "Quantitative information flow: when is one leak worse than another?"</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2019-12-23</SPAN> </TD></TR> <TR> <TD width=580 style="border:0px; text-align:left" align="left"><IMG height=3 src="../../images/bit01.gif" width=3 /><FONT color=#4a4949><a href="./201912/t20191223_228351.html">[2019-12-18] Quantum Computing Engineering: Challenges and Opportunities</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2019-12-23</SPAN> </TD></TR> <TR> <TD width=580 style="border:0px; text-align:left" align="left"><IMG height=3 src="../../images/bit01.gif" width=3 /><FONT color=#4a4949><a href="./201912/t20191223_228350.html">[12-10] Compositional Techniques for the Verification of a Separation Micro-kernel for Multi-Core Architectures</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2019-12-23</SPAN> </TD></TR> <TR> <TD width=580 style="border:0px; text-align:left" align="left"><IMG height=3 src="../../images/bit01.gif" width=3 /><FONT color=#4a4949><a href="./201912/t20191223_228349.html">[12-20] Toward AI-Assisted UX Analysis Methods: Leveraging Subtle Verbalization and Speech Patterns to Help Evaluators Identify UX Problems in Think-Aloud Usability Testing</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2019-12-23</SPAN> </TD></TR> <TR> <TD width=580 style="border:0px; text-align:left" align="left"><IMG height=3 src="../../images/bit01.gif" width=3 /><FONT color=#4a4949><a href="./201912/t20191223_228348.html">[11-20] Logipedia: towards a Wikipedia of formal proofs</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2019-12-23</SPAN> </TD></TR> <TR> <TD width=580 style="border:0px; text-align:left" align="left"><IMG height=3 src="../../images/bit01.gif" width=3 /><FONT color=#4a4949><a href="./201912/t20191223_228347.html">[10-25] Software Engineering Issues in Cyber-Physical Systems</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2019-12-23</SPAN> </TD></TR> <TR> <TD width=580 style="border:0px; text-align:left" align="left"><IMG height=3 src="../../images/bit01.gif" width=3 /><FONT color=#4a4949><a href="./201912/t20191223_228346.html">[09-23] View-Centric Performance Optimization for Database-Backed Web Applications</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2019-12-23</SPAN> </TD></TR> <TR> <TD width=580 style="border:0px; text-align:left" align="left"><IMG height=3 src="../../images/bit01.gif" width=3 /><FONT color=#4a4949><a href="./201912/t20191223_228345.html">[9-17] On Solving String Constraints</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2019-12-23</SPAN> </TD></TR> <TR> <TD width=580 style="border:0px; text-align:left" align="left"><IMG height=3 src="../../images/bit01.gif" width=3 /><FONT color=#4a4949><a href="./201912/t20191223_228344.html">[08-14] High-Performance Software Development Challenges in the Post-Moore Era</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2019-12-23</SPAN> </TD></TR> <TR> <TD width=580 style="border:0px; text-align:left" align="left"><IMG height=3 src="../../images/bit01.gif" width=3 /><FONT color=#4a4949><a href="./201912/t20191223_228343.html">[08-21] Scalable Analysis and Control of Boolean Networks</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2019-12-23</SPAN> </TD></TR> <TR> <TD width=580 style="border:0px; text-align:left" align="left"><IMG height=3 src="../../images/bit01.gif" width=3 /><FONT color=#4a4949><a href="./201912/t20191223_228342.html">[07-16] Sapienz deployment at Facebook</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2019-12-23</SPAN> </TD></TR> <TR> <TD width=580 style="border:0px; text-align:left" align="left"><IMG height=3 src="../../images/bit01.gif" width=3 /><FONT color=#4a4949><a href="./201912/t20191223_228341.html">[07-17] Beyond NP Revolution</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2019-12-23</SPAN> </TD></TR> <TR> <TD width=580 style="border:0px; text-align:left" align="left"><IMG height=3 src="../../images/bit01.gif" width=3 /><FONT color=#4a4949><a href="./201912/t20191223_228337.html">[07-03] Formal Proofs of Tarjan's Strongly Connected Components Algorithm in Why3, Coq and Isabelle</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2019-12-23</SPAN> </TD></TR> </TBODY></TABLE> <TABLE class=list_bottom02 cellSpacing=0 cellPadding=0 width=500 border=0> <TBODY> <TR> <TD colSpan=2 style="border:0px"> <TABLE cellSpacing=0 cellPadding=0 width="100%" align=center border=0> <TBODY> <TR> <TD class=font01 vAlign=top align=right style="border:0px">   30 Page(s)   <span id='pagenav_0' style="font-size:13px;color:#FF0000;padding-left:3px;padding-right:3px;">1</span><a id='pagenav_1' class="fy" style="padding-left:3px;padding-right:3px;"target='_self' href='index_1.html'>2</a><a id='pagenav_2' class="fy" style="padding-left:3px;padding-right:3px;"target='_self' href='index_2.html'>3</a><a id='pagenav_3' class="fy" style="padding-left:3px;padding-right:3px;"target='_self' href='index_3.html'>4</a><a id='pagenav_4' class="fy" style="padding-left:3px;padding-right:3px;"target='_self' href='index_4.html'>5</a><a id='pagenav_1' class="fy" style="padding-left:3px;padding-right:3px;"target='_self' href='index_1.html'>Next</a><a id='pagenav_tail' class="fy" style="padding-left:3px;padding-right:3px;"target='_self' href='index_29.html'>Final</a> <script> var currentPage = 0;//所在页从0开始 var countPage = 30//共多少页 //跳转页面 document.write("<font class='9ptb'>Go to Page<input type='text' id='num' value="+(currentPage+1)+" style='width:30px;font-size:12px;' />"+" <input style='font-size:12px' type='submit' value='Submit' onClick=javascript:toPage() /></font>"); function toPage(){ var _num = document.getElementById("num").value; if(isNaN(_num)){ alert("Please enter a number"); return false; } var str = "index"+"_"+(_num-1)+"."+"html"; var url = location.href.substring(0,location.href.lastIndexOf("/")+1); if(_num<=1||_num==null) location.href = url+"index"+"."+"html"; else if(_num>countPage) alert("Please enter numbers only "+countPage); else location.href = url+str; } </script> </TD></TR></TBODY></TABLE></TD></TR></TBODY></TABLE></TD></TR> <TR> <TD> </TD></TR></TBODY></TABLE></TD></TR></TBODY></TABLE> </div> <div class="clear"></div> </div> </div> </div>  </div>   <div id="footer"> <div id="footer"> <div id="copyright"> <div>©2011 Institute of Software, CAS. All rights reserved.info(at)iscas.ac.cn</div> </div> </div> </div>  </div> </body> </html>

CINXE.COM

Institute of Software Chinese Academy of Sciences