22nd IFIP WG 6.1 International Conference on

Formal Techniques for Networked and Distributed Systems

FORTE 2002

November 11 -- 14 , 2002, Houston, Texas



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, USA
Phone: +1-713-348-5977
vardi@cs.rice.edu

Program Committee:
Rajeev Alur, UPenn
Dines Bjorner, Tech. Univ. DK
Gregor v. Bochmann, Univ. of Ottawa
Tommaso Bolognesi, IEI, Italy
Ed Brinksma, Univ of 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, Fr
Guy Leduc, Univ. of Liege
David Lee, Bell Labs, China
Insup Lee, UPenn
Stefan Leue, Univ. of Freiburg
Luigi Logrippo, Univ. of Ottawa
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. of Warwick
Alex Petrenko, CRIM, Canada
Scott Smolka, SUNY Stony Brook
Richard Tenney, Univ. of Mass.
Ken Turner, Univ. of Stirling
Moshe Vardi, Rice Univ.
Son T. Vuong, Univ. of BC
Mihalis Yannakakis, Avaya Labs, USA

Steering Committee
Gregor v. Bochmann, Univ. of Ottawa
Ed Brinksma, Univ of Twente
Stanislaw Budkowski, INT, France
Guy Leduc, Univ. of Liege
Elie Najm, ENST, France
Richard Tenney, Univ. of Mass.
Ken Turner, Univ. of Stirling

The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) is focused on formal methods for communication protocols. FORTE is the new name of the joint FORTE/PSTV meeting, which has combined FORTE and PSTV into a single joint meeting since 1997.

Local organization: Department of Computer Science, Rice University.

 

Important dates:

  • Final version: August 12th, 2002
  • Conference: November 11th - 14th, 2002
  • Early registration deadline: Sept. 27, 2002.

RELATED EVENTS:


FMCAD 2002 Fourth International Conference on Formal Methods in Computer Aided Design. November 6-8, Portland, Oregon, USA.
RTSS 2002 23rd IEEE International Real-Time Systems Symposium, December 3-5, Austin, TX (USA)

Industrial Support: