Logic and Algebra in Concurrency
Dresden, September 13-16, 2000 (Wednesday - Saturday)
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.
Interested participants are most welcome.
Program:
The lectures will take place in Willersbau, Zellescher Weg 12-14, room A 124 (at the Department of Mathematics).
Links:
Submissions:
The Journal of Automata,
Languages and Combinatorics (JALC) has agreed to publish a special
issue on this topic.
Submissions related to this topic could be either survey articles or
research papers and will be refereed as usual.
Participation in the above workshop is encouraged, but is not a prerequisite
for a submission.
Authors are asked to submit preferably a PostScript file (or else manuscripts
in triplicate) to either of the editors of the special issue:
Manfred Droste, Institut
für Algebra, TU Dresden, D-01062 Dresden,
e-mail: droste@math.tu-dresden.de
Paul Gastin,
LIAFA, Université Paris 7, 2 place Jussieu, F-75251 Paris Cedex
05,
e-mail: Paul.Gastin@liafa.jussieu.fr
Deadline for submissions: Oct 31, 2000.
We intend to ensure a quick refereeing process.
Authors of published papers will be provided with 20 reprints free of charge.
Other Events:
This workshop precedes the annual meeting of the German Mathematical Society
(DMV), held in Dresden from Sep 18-22. For information see http://www.math.tu-dresden.de/DMV2000.
Also note the "Colloquium
Logicum 2000" in Dresden, Sep 22-24, 2000.
This workshop will be supported by:
Manfred Droste, Institut für Algebra,
Technische Universität Dresden, D-01062 Dresden, Germany,
Tel. +49 351 463 3908, Fax +49 351 463 4235, droste@math.tu-dresden.de
(September 15, 2000/dk)
