E流网讯（通讯员 刘存利） 2008年6月23日至27日，第29届Petri网理论与应用国际会议暨第8届系统设计的并发应用国际会议在我校计算理论与技术研究所（ICTT）和国际合作与交流处的共同努力下，在西安宾馆成功举办。

　　在正式大会前，6月23到24日并行召开了4个研讨会和2个高级讲座。ATPN 2008共收到了来自21个国家的75篇论文，ACSD 2008共收到来自17个国家的61篇论文，经过国内外专家认真评审，最终ATPN 2008录用了23篇论文，会议论文集由国际著名的Springer-Verlag出版社出版发行，ACSD 2008录用了27篇论文，会议论文集由国际著名的IEEE出版社出版发行。共有来自美国、日本、韩国、荷兰、丹麦、澳大利亚、突尼斯、瑞典、加拿大、德国、意大利、法国、英国和中国等20多个国家的130余人参加了本次会议，其中国外代表110人。

　　6月25日上午举行了大会开幕式。开幕式前，我校段宝岩校长会见了会议主席和特邀嘉宾。开幕式由大会组委会主席、我校计算理论与技术研究所所长段振华教授主持，我校校长段宝岩教授代表学校致欢迎词，与会者介绍了我校的概况；中国计算机学会Petri网专业技术委员会秘书长单志广博士代表学会也发表了热情洋溢的讲话；ATPN执行委员会主席、丹麦Aarhus大学的 Kirt Jensen教授和ACSD执行委员会主席、英国纽卡斯尔大学（University of Newcastle）的Alex Yakovlev 教授也分别致词。最后，ATPN 2008程序委员会主席、荷兰 Technical University of Eindhoven 的Kees van Hee 教授和ACSD 2008程序委员会主席、澳大利亚的South Australia大学的Jonathan Bilington 教授分别就论文的录取工作做了说明。

　　此次会议针对Petri网和并发计算模型领域的理论和应用问题以及系统设计中并发应用等问题进行了学术交流。大会特邀了5名国际知名专家作大会主旨报告：来自美国Intel公司的Mike Kishinevsky教授做了题为“Time Elastic Digital Systems and Petri Nets”的报告；来自瑞士联邦理工学院的Gustavo Alonso教授做了题为“Challenges and Opportunities for Formal Specifications in Service Oriented Architectures”的报告；来自美国Texas大学的堵丁柱教授作了题为“Analysis of Greedy Approximation with Non-submodular potential Function”的报告；来自中科院软件所的林惠民院士做了题为“Stratifying Winning Positions in Parity Games; mu-calculus and Model Checking”的报告；Petri网之父Adam Petri也委托Rüdiger Valk教授做了题为“On the Physical Basis of Information Flow”的专题报告。

　　通过成功举办此次国际会议，不仅为海内外学者研讨Petri网和并发计算模型理论与应用以及系统设计中的并发应用等领域的发展现状、展示最新研究成果和探讨未来发展趋势提供了一个交流平台，而且为我国学者和研究人员以及我校学生学习和吸收国外同行的先进成果提供了良好的机会，同时也对进一步提升我校在此领域的知名度，扩大西电的影响，促进我校在Petri网和并发计算模型理论和应用领域的研究水平都起到了积极的促进作用。（计算理论与技术研究所、国际交流与合作处）