Atlas home || Conferences | Abstracts | about Atlas

Logic, Algebra, and Formal Verification of Concurrent Systems

November 26 - December 1, 2000

Wadern, Germany

Mathematics

Host: Schloss Dagstuhl
Homepage: http://www.dagstuhl.de/DATA/Seminars/00/#00481
Email: office@dagstuhl.de

Organizers: V. Diekert (Stuttgart), M. Droste (Dresden), A. Muscholl (Paris), D. A. Peled (Bell Labs, Murray Hill)

Date received: March 21, 2000

© 2008 Atlas Conferences Inc.