Fixed Points In Computer Science. Affiliated with LICS 2002. Copenhagen, Denmark; 20--21 July 2002.
International Workshop on Graph Transformation and Visual Modeling Techniques. A satellite event of the First International Conference on Graph Transformation (ICGT 2002). Barcelona, Spain; 11--12 October 2002.
GEometric and Topological methods in COncurrency and distributed systems theory. A satellite workshop to DISCO'02. ENSEEIHT, Toulouse, France; 30--31 October 2002.
ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation. Preceding POPL'02. Portland, Oregon, USA; 14--15 January 2002.
The 29th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages. Portland, Oregon, USA; 16--18 January 2002.
Fourth European Dependable Computing Conference. Parc des Expositions, Toulouse, France; 23--25 October 2002.
Second International Symposium on Foundations of Information and Knowledge Systems. Schloß Salzau (near Kiel), Germany; 19--23 February 2002.
12th International Conference on Computer Theory and Applications. Alexandria, Egypt; 27--29 August 2002.
3rd International Workshop on Policies for Distributed Systems and Networks. Monterey, CA, USA; 5--7 June 2002.
Conference on Computer-Aided Verification, part of the Federated Logic Conference FLoC'02. Copenhagen, Denmark; 27--31 July 31 2002.
|