Atlas home || Conferences | Abstracts | about Atlas

GETCO'2000 2nd Workshop on Geometric and Topological Methods in Concurrency Theory

with CONCUR 2000

August 21, 2000

University Park, PA, USA

Mathematics

Host: Pennsylvania State University
Homepage: http://www.dmi.ens.fr/~goubault/getco.html

Description:
Topics include (but are not limited to) Semantics, Concurrency Theory, Model-checking, Abstract Interpretation, Fault-tolerant Protocols for Distributed Systems, Geometrical/Topological models, application of algebraic topology, category theory etc.

Mail Address:

Eric Goubault 
DEIN/SLA 
CEA/Saclay 
F91191 Gif-sur-Yvette 
Phone: (+33) 1 69 08 94 72 
Fax: (+33) 1 69 08 83 95

Date received: May 11, 2000

© 2008 Atlas Conferences Inc.