IFIP WG 6.1 International Conference on
Formal Techniques for Networked and Distributed
November 11 -- 14 , 2002, Houston, Texas
Department of Computer Science
The University of Warwick
Department of Comp. Science
Alex Petrenko, CRIM, Canada
Mihalis Yannakakis, Avaya Labs, USA
Stanislaw
waiting for hand_moderation
GEometric and Topological methods in COncurrency and distributed systems theory. A satellite workshop to DISCO'02. ENSEEIHT, Toulouse, France; 30--31 October 2002.
and distributed systems theory
DISC: October 28-30, 2002
GETCO: October 30-31, 2002
The main mathematical disciplines that have been used in computer science
are discrete mathematics (especially, graph theory and ordered structures),
logics (mostly proof theory for all kinds of logics,
waiting for hand_moderation
Joining mailing list will entitle you
to receive occasional emails informing you of news and
updates to the site and any special offers that may be
of interest to you.