Atlas home || Conferences | Abstracts | about Atlas

Logic and Algebra in Concurrency

September 13-16, 2000

Dresden, Germany

Mathematics

Host: TU Dresden
Homepage: http://www.math.tu-dresden.de/~kirsten/lac/lac.html

Organizers: Manfred Droste, Paul Gastin

Description:
The goal of this workshop is to highlight applications of algebra and logic, like semigroup theory, predicate logic or temporal logics, in the area of concurrency in theoretical computer science.

Date received: August 15, 2000

© 2008 Atlas Conferences Inc.