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
2002 IEEE Symposia on Human-Centric Computing Languages and Environments. This conference focuses on the design, formalization, implementation, and evaluation of computing languages that are easier to learn, easier to use, and easier to group of people.
The IEEE conference series on Human Centric Computing Languages and Environments replaces the
Its mission is design, formalization, implementation, and evaluation of computing languages as well as computing environments that are easier to learn, easier to use, and easier to understand by a broader
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.