CINXE.COM
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> <!--<![endif]--> <!--[if lte IE 6]><table><tr><td><![endif]--> <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> <!--[if lte IE 6]></td></tr></table></a><![endif]--> </li> <li><a href="http://english.is.cas.cn/rh/">Research</a> <!--[if IE 7]><!--> <!--<![endif]--> <!--[if lte IE 6]><table><tr><td><![endif]--> <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> <!--[if lte IE 6]></td></tr></table></a><![endif]--> </li> <li><a href="http://english.is.cas.cn/pe/">People</a> <!--[if IE 7]><!--> <!--<![endif]--> <!--[if lte IE 6]><table><tr><td><![endif]--> <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> <!--[if lte IE 6]></td></tr></table></a><![endif]--> </li> <li><a href="http://english.is.cas.cn/ic/">International Cooperation</a> <!--[if IE 7]><!--> <!--<![endif]--> <!--[if lte IE 6]><table><tr><td><![endif]--> <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> <!--[if lte IE 6]></td></tr></table></a><![endif]--> </li> <li><a href="http://english.is.cas.cn/ns/">News</a> <!--[if IE 7]><!--> <!--<![endif]--> <!--[if lte IE 6]><table><tr><td><![endif]--> <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> <!--[if lte IE 6]></td></tr></table></a><![endif]--> </li> <li><a href="http://english.is.cas.cn/rs/">Resources</a> <!--[if IE 7]><!--> <!--<![endif]--> <!--[if lte IE 6]><table><tr><td><![endif]--> <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> <!--[if lte IE 6]></td></tr></table></a><![endif]--> </li> <li><a href="http://english.is.cas.cn/et/">Education & Training</a> <!--[if IE 7]><!--> <!--<![endif]--> <!--[if lte IE 6]><table><tr><td><![endif]--> <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> <!--[if lte IE 6]></td></tr></table></a><![endif]--> </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> <!-- main starts --> <div id="main_content"> <!-- 左侧 开始 --> <div class="column1"> <!-- 左侧_1 开始 --> <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="./">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="../ue/">Upcoming Events</a></p> </div> </div> <div class="bottom_left_box"> </div> </div> <!-- 左侧_1 结束 --> <!-- 左侧_2 开始 --> <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> <!-- 左侧_2 结束 --> </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="Events" class="CurrChnlCls">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="./202208/t20220830_313321.html">Dr Alexander Bentkamp Won Three Dissertation Awards Because of His PhD Thesis Superposition for Higher-Order Logic</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2022-08-30</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="./202208/t20220824_312878.html">Deep memory of Dr. Barry William Boehm</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2022-08-24</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="./201809/t20180917_197515.html">Concurrent theory and formal verification Joint Conference (CONFESTA 2018) was inaugurated on Sep.4th</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2018-09-17</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="./201806/t20180626_194484.html">Shuzhi Sam Ge, Academician of Singapore Academy of Engineering, and his Delegation Came to ISCAS for Academic Visit</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2018-06-26</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="./201806/t20180607_193947.html">CASA 2018 Held Successfully in ISCAS</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2018-06-07</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="./201804/t20180409_191510.html">Tianzhi-1 Uses Internet’s Open Source, Ready For Public Use</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2018-04-09</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="./201703/t20170323_175237.html">China-Austria Roundtable on Information and Communications Technology Held at ISCAS</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2017-03-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="./201404/t20140418_119716.html">Assoc. Prof. Carsten Witt Visits Institute of Software</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2014-04-18</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="./201403/t20140331_118808.html">Prof. Jean-Francois Monin Visits Institute of Software</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2014-03-31</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="./201306/t20130628_105304.html">Prof. Feng Qin Visits Institute of Software</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2013-06-28</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="./201305/t20130514_102018.html">Assoc. Prof. Qi Han Visits Institute of Software</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2013-05-14</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="./201305/t20130509_101801.html">Assoc Prof. Paolo Bottoni Visits Institute of Software</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2013-05-09</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="./201304/t20130423_101212.html">Prof. Edmund M. Clarke Visits Institute of Software</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2013-04-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="./201206/t20120613_87191.html">Turing Year in China 2012 was held</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2012-06-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="./201109/t20110928_75701.html">The 2011 ARTIST Summer School held in Beijing</a></FONT> </TD> <TD width=85 style="border:0px; text-align:left" align="left"><SPAN class=font07 align="left">2011-09-28</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"> 2 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_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_1.html'>Final</a> <script> var currentPage = 0;//所在页从0开始 var countPage = 2//共多少页 //跳转页面 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> <!-- mian ends --> <!-- footer starts --> <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> <!-- footer ends --> </div> </body> </html>