CAI 2011: 4th International Conference on Algebraic Informatics
CAI 2011 continues the tradition established by CAI 2005, CAI 2007, and
CAI 2009: to bring together researchers from theoretical computer science
and algebra. This should enhance the understanding of syntactic and
semantic problems by algebraic models; and it should also propagate the
application of modern techniques from informatics in algebraic computation.
We will try to achieve this goal via invited lectures, tutorials, and
contributed research talks.