\documentstyle{article}

\topmargin-0.85in

\marginparwidth 0pt \oddsidemargin  -24pt \evensidemargin  24pt
\marginparsep 0pt
\textwidth 6.5in \textheight 10.2in\parskip 6pt \parindent 0pt
\newcommand{\ital}[1]{{\it #1 \/}}
\begin{document}
\thispagestyle{empty}

\begin{center}
{\bf  CALL FOR PAPERS}\\[1.2ex]
%moshe1:
{\Large\bf Formal Techniques for Networked and Distributed Systems}\\[2ex]
%{\Large\bf FORMAL METHODS FOR PROTOCOL ENGINEERING AND DISTRIBUTED SYSTEM}\\[2ex]
%moshe1:
{\large\it FORTE 2002}\\[1ex]
%{\large\it FORTE/PSTV 2002}\\[1ex]
%moshe1
{\large\it November 11 -- 14 , 2002, Houston, Texas}\\
{\tt http://www.ece.utexas.edu/FORTE} 
\end{center}
\small
\begin{minipage}[t]{2.1in}% first column
\parskip 4pt

{\bf Program Chairs:} \\[1mm]
Doron A.\  Peled\\
Dept.\ of Electrical and Comp.\  Eng. \\
The University of Texas at Austin\\
Austin, TX 78712 \\
Phone: +1-512-232-9371\\
{\tt doron@ece.utexas.edu} \\[1mm]
Moshe Y.\  Vardi\\
Department of Comp.\ Science \\
Rice University \\
6100 S. Main St.
Houston, TX 77005 \\
Phone: +1-713-348-5977\\
{\tt vardi@cs.rice.edu}\\[3mm]
{\bf Program Committee:} \\[1mm]
R.~Alur, UPenn \\
D.~Bjorner, IT University \\
G.~v.~Bochmann, Univ.\ of Ottawa \\
T.~Bolognesi, IEI, Italy \\
E.~Brinksma, Univ of Twente \\
A.~Cavalli, INT, France \\
S.~T.~Chanson, Hong Kong Univ \\
P.~Dembinski, IPI-PAN \\
H.~Garavel,  Inria \\
S.~Gnesi, CNR - IEI, Italy \\
G.~J.~Holzmann, Bell Labs, USA \\
A.~Hu, UBC, Canada \\
C.~Jard, IRISA - CNRS \\
G.~Leduc, Univ. of Liege \\
D.~Lee, Bell Labs, China \\
I.~Lee, UPenn \\
S.~Leue, Univ. of Freiburg \\
L.~Logrippo, Univ.\ of Ottawa \\
S.~Mauw, Eindhoven \\
K.~McMillan, Cadence \\
M.~Morley, Verisity \\
A.~Muscholl, Paris 7 \\
E.~Najm, ENST, France \\
A.~Petrenko, CRIM, Canada \\
S.~Smolka, Stony Brook \\
R.~Tenney, Univ.\ of Massachusetts \\
K.~Turner, Univ.\ of Stirling \\
B.~Roscoe,  Univ.\ of Oxford \\
S.~T.~Vuong, Univ.\ of BC  \\
M.~Yannakakis, Avaya Labs \\[3mm]
{\bf Steering Committee:} \\[1mm]
G.~v.~Bochmann, Univ.\ of Ottawa \\
E.~Brinksma, Univ.\ of Twente \\
S.~Budkowski, INT, France \\
G.~Leduc, Univ.\ of Liege \\
E.~Najm, ENST, France \\
R.~Tenney, Univ.\ of Massachusetts \\
K.~Turner, Univ.\ of Stirling 
\end{minipage}
\hskip .25 in
\begin{minipage}[t]{4.8in}% second column
\parskip 4pt

The IFIP TC6 WG 6.1 Joint International Conference on
%moshe1:
Formal Techniques for Networked and Distributed Systems (FORTE)
%on Formal Description Techniques for Distributed
%Systems and Communication Protocols (FORTE), and
%Protocol Specification, Testing and Verification (PSTV)
is focused on formal methods for communication protocols.
%moshe1:
FORTE is the new name of the joint FORTE/PSTV meeting, which has combined
FORTE and PSTV into a single joint meeting since 1997.
%Since 1997, these meetings are combined and are held together
%under the name {\em Formal Methods for Protocol
%Engineering and Distributed Systems}. 
%Doron Added the invited speakers, thought its a good advertisement
The conference will include invited talks and tutorials by
Edmund M.\ Clarke, David Harel, Dave Johnson, Dan Wallach
and Elaine J. Weyuker.

%The term FDT's, originally referring to the international standards
%Estelle, LOTOS, SDL, ASN.1 and TTCN, is taken here in its
%broadest sense, and includes a variety of formal methods and
%techniques, such as CCS, pi-calculus, timed and stochastic process
%algebra, VDM, Z, B, Automata and Timed Automata, Statecharts,
%Logics, TLA, Message Sequence Charts, ADT's, OBJ, Larch, formal
%Object-Oriented approaches, and others. 
The conference is a forum for
presentation and discussion of the state of the art in theory,
application, tools and industrialization of 
Formal Description Techniques (FDT's). Research papers and
industrial usage reports are solicited,
particularly in the following areas:
%FDT's.  
%It deals with the entire development cycle of communication protocols, 
%distributed systems and applications (requirements capture, specification, 
%design, verification, performance analysis, implementation and testing), and
%provides a valuable orientation for newcomers.  
\begin{itemize}
\item
FDT-based system and protocol engineering.
\vspace{-0.8ex}\item
Semantical foundations.
\vspace{-0.8ex}\item
Extensions of FDT's.
\vspace{-0.8ex}\item
Formal approaches to concurrent/distributed Object-Oriented systems.
\vspace{-0.8ex}\item
Real-time and probability aspects.
\vspace{-0.8ex}\item
Performance modeling and analysis.
\vspace{-0.8ex}\item
Quality of service modeling and analysis.
\vspace{-0.8ex}\item
Verification and validation.
\vspace{-0.8ex}\item
Relations between informal and formal specification.
\vspace{-0.8ex}\item
FDT based protocol implementation.
\vspace{-0.8ex}\item
Software tools and support environments.
\vspace{-0.8ex}\item
FDT application to distributed systems, high speed
internet protocols, multimedia and multicast protocols and services.
\vspace{-0.8ex}\item
FDT application to wireless and mobile communication, intelligent
networks, network management, network security and voice services.
\vspace{-0.8ex}\item
Protocol testing, including conformance testing, interoperability
testing, and performance testing.
\vspace{-0.8ex}\item
Test generation, selection and coverage.
\vspace{-0.8ex}\item
Practical experience and case studies.
\vspace{-0.8ex}\item
Corporate strategic and financial consequences of using formal methods.
\end{itemize}


{\bf Paper submission:} 
%moshe1:
Submission instruction will be available at the conference web site.
%Doron Postponed submission
Submissions should be received by April 20, 2002.
%Email an extended abstract of the paper
%to the program chairs at {\tt doron@tick.ece.utexas.edu} {\em and} 
%{\tt doron@tick.ece.utexas.edu} {\bf received} by
%{\bf March 5th, 2002}.  
{\sl The deadline is firm; late submissions and 
papers departing from the submission guidelines will not be considered.}
%papers without keywords will not be considered.}
%Doron Postponsed notification
Authors will be notified of acceptance or rejection by June 30, 2002.
%Doron - added the Springer format
Accepted papers will be published by Springer Verlag in the
{\em Lecture Notes in
Computer Science} series, and are due by August 12, 2002.
%Doron We said earlier that submission instruction will on www.
%Please format your abstract as a PostScript file,
%accompanied by a separately emailed textfile cover letter.

The first page of the extended abstract and the cover letter should
include the title of the paper, names and affiliations of authors, a
brief synopsis (at most 10 lines), keywords, and contact
author's name, address, phone number, fax number, and email address.
Full original research papers and industrial usage reports should
be up to 16 pages, including abstract, names and affiliations of
all authors, and a list of keywords facilitating the assignment of
papers to referees.  For industrial usage reports, short papers up
to 8 pages are also welcome.  
The submission must be in English and provide sufficient detail to
allow the program committee to assess the merits of the paper.  It
should begin with a succinct statement of the issues, a summary of the
main results, and a brief explanation of their significance and
relevance to the conference, all phrased for the non-specialist.
References and comparisons with related work should be included.
Technical development directed to the specialist should follow.
Submissions departing significantly from these guidelines risk
rejection.  The results must be unpublished and not submitted for publication
elsewhere, including the proceedings of other symposia or workshops.

\end{minipage}
\end{document}
