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.
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. We intend to ensure a quick refereeing process. Authors of published papers will be provided with 20 reprints free of charge.