BiCi Events 2002
SFM-02: 2nd International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model Checking
7th CaberNet Radicals Workshop
FuDiCo 2002: International Workshop on Future Directions in Distributed Computing
RANDOM GRAALS 2002: Random(ized) Graphs and Algorithms
BISS 2002: Bertinoro International Summer School for Graduate Studies in Computer Science