Program Chairs: Doron A. Peled Department of Computer Science The University of Warwick Coventry, CV4 7AL, UK doron@dcs.warwick.ac.uk Moshe Y. Vardi Department of Comp. Science Rice University 6100 S. Main St. Houston, TX 77005 Phone: +1-713-348-5977 vardi@cs.rice.edu Program Committee: Rajeev Alur, UPenn Dines Bjorner, Tech. Univ. DK Gregor v. Bochmann, Univ. Ottawa Tommaso Bolognesi, IEI, Italy Ed Brinksma, Univ. Twente Ana Cavalli, INT, France Samuel Chanson, Hong Kong Univ. Piotr Dembinski, IPI-PAN, Poland Hubert Garavel, Inria Stefania Gnesi, CNR - IEI, Italy Gerard Holzmann, Bell Labs, USA Alan J. Hu, UBC, Canada Claude Jard, IRISA - CNRS, France Guy Leduc, Univ. Liege David Lee, Bell Labs, China Insup Lee, UPenn Stefan Leue, Univ. Freiburg Luigi Logrippo, Univ. Quebec a Hull Sjouke Mauw, Tech. Univ. Eindhoven Ken McMillan, Cadence, USA Mathew J. Morley, Verisity, USA Anca Muscholl, Univ. Paris 7 Elie Najm, ENST, France Doron Peled, Univ. Texas, Austin Alex Petrenko, CRIM, Canada Scott Smolka, SUNY Stony Brook Richard Tenney, Univ. Mass. Ken Turner, Univ. Stirling Moshe Vardi, Rice Univ. Son T. Vuong, Univ. BC, Mihalis Yannakakis, Avaya Labs, USA Steering Committee Gregor v. Bochmann, Univ. Ottawa Ed Brinksma, Univ. Twente Stanislaw Budkowski, INT, France Guy Leduc, Univ. Liege Elie Najm, ENST, France Richard Tenney, Univ. Mass. Ken Turner, Univ. Stirling

FORTE'02 attendees will have wireless access to the Internet. You need to bring your own notebook computer with 802.11b ("WiFi") network hardware - usually a PC Card, such as an Lucent or Avaya card. You need to configure your software for no WEP (encryption), and to aquire its address from the network (DHCP). Further instructions, including the username and password you need to register your wireless equipment with the Rice network, will be available upon your arrival at Rice. A small number of terminals will be available for wired connection.