理论计算机科学电子笔记96（2004）1-3www.elsevier.com/locate/entcs前言EXPRESS研讨会旨在汇集对各种正式系统之间的关系感兴趣的研究人员，特别是在Con-currency领域。更具体地说，他们专注于编程概念之间的比较（如并发，函数，命令，逻辑和面向对象编程）和计算的数学模型之间的比较（如进程代数，Petri网，事件结构，模态逻辑，重写系统等）。基于他们的相对表达能力。欲了解更多信息，请访问http://express03.epfl.ch/。EXPRESS讲习班最初是作为人力资本管理项目EXPRESS的会议举行的，该项目从1994年1月至1997年12月以同样的重点积极开展。前三次研讨会分别在美国（1994 年，由Frits Vaandrager 主持） 、Tarquinia（1995年，由Rocco De Nicola主持）和Dagstuhl（1996年，由UrsulaGoltz和Rocco De Nicola共同主持1997年的讲习班在圣玛格丽塔利古雷举行，由Catuscia Palamidessi和Joachim Parrow共同主持，是一次会议，呼吁提交论文，项目外的与会者很多。1998年的讲习班是在尼斯举行的CONCUR'98会议的附属讲习班，由Ilaria Castellani和Catuscia Palamidessi共同主持，与那次讲习班一样，EXPRESS'99也是由在埃因霍温举行的CONCUR'99 会 议 主 办 的 ， 由 Ilaria Castellani 和 Bjorn Victor 共 同 主 持 。EXPRESS'00工作组是美国宾夕法尼亚州立大学CONCUR 2000的一个工作组 ， 由Luca Acet o 和 B joürn Victor 共 同主 持。EXPRESS'01工作组作为CONCUR'01的一个卫星由奥尔堡大学的BRICS主持，并由LucaAceto和PrakashPanangelo共同主持。EXPRESS在提交的29篇论文中，有9篇被接受在1571-0661 © 2004 Elsevier B. V.根据CC BY-NC-ND许可证开放访问。doi：10.1016/j.entcs.2004.04.0182前言/理论计算机科学电子注释96（2004）1-3讲习班;接受的九份中有一份是提交的简短论文，不打算出版。这些会议记录包含八篇完整的论文以及卢卡·阿塞托邀请演讲我们感谢提交论文的作者、受邀演讲者和项目委员会成员对会议和本卷的贡献。此外，我们还要感谢EPFL印刷了初步会议记录，感谢Michael Mislove在编辑初步和最终会议记录方面提供的帮助会议记录编辑：Flavio Corradini（Univ.乌韦·内斯特曼（瑞士洛桑联邦理工学院二○ ○三年十二月特快专递JosBaeten（埃因霍温大学）技术，NL），MicheleBoreale（Univ. di Firenze，IT），Flavio Corradini（Univ. ofSzeged，HU），Wan Fokkink（CWI，NL），Andrew Gordon（英国微软研究院）， IreneGuessarian（法国巴黎第六大学）， Massimo Merro（意大利维罗纳大学），MichaelMislove（杜兰大学，美国），Uwe Nestmann（EPFL，CH），Catuscia Palamidessi（INRIA，FR），PeterSewell（英国剑桥大学），Alberto Vincentelli（美国伯克利大学），Walter Vogler（德国奥格斯堡大学），Igor Walukiewicz（德国奥格斯堡大学），（Bordeaux，FR）。前言/理论计算机科学电子注释96（2004）1EXPRESSTorben Amtoft ， Andre Arnold ， Elmar Bihler ， Mikolaj Bojanczyk ，JohannesBorgstr ？om ， PatriciaBou yer ， Ro bertoBruni ， CristianoCalcagno ， MarcoCar-bone ， Gian-Luca Cattani ， Marsha Bohik ，Silvano Dal Zilio，Giuseppe Della Penna，Giorgio Delzanno，Maria RitaDi Berardini，Rik Eshuis，Maribel Fer- nandez，Rachele Fuzzati，JamieGabbay，Fabio Gadducci，Paul Gastin，Maria Grazia Vigliotti，Arie Gurfinkel，Keijo Heljanko，Claudio Hermida，Daniel Hirschko Boggy，TonyHoare，Lin Huimin，Anna Ingolfsdottir，Josva Kleist，Alex Kondratjev，Rom Langerak，Kamal Lodaya，Michele Loreti，Bas Luttik，Ser- gio MaJoupeis ， Marino Miculan ， Kees Middelburg ， Damian Niwinski ， JoelOuak- nine ， Rosario Pugliese ， Antonio Ravara ， Diletta RomanaCacciagrano ， Davide Sangiorgi ， Alan Schmitt ， Natalia Sidorova ， JiriSrba，Enrico Tronci，Daniele Varacca，Marc Voorhoeve，Pascal Weil，Tim Willemse，Gianluigi Zavattaro，Pascal Zimmer.
