Since I'm one of the current computer science subscribers (though my PhD
was in algebra), I thought I ought to comment. I haven't voted - my mastery
of computers doesn't stretch to remembering Yahoo passwords.

>
> Some [computer scientists] may have some interesting problems for us,
especially,
> I think, if we are willing to look at multi-sorted algebras.

Don't stop at multi-sorted algebras. One good objective is algebras for
essentially algebraic theories (a.k.a. finite limit theories or cartesian
theories). These are theories where the operators may be partial, but with
domain of definition given by equations. Many fundamental constructions of
universal algebra work quite well for them, in particular the existence of
left adjoints (free algebra functors) to forgetful functors between
categories of algebras, and the use of generators and relations.

These theories include the theory of categories (two-sorted, with sorts for
objects and morphisms, and composition is partial with domain of definition
given by an equation: source of one arrow = target of the other). They also
include important theories of category with structure, for instance
categories with all finite limits and/or colimits, cartesian closed
categories, and elementary toposes. You see this algebraic point of view in
the book by Lambek and Scott, as well as (at a more elementary level)
Philip Higgins's "Notes on categories and groupoids". He constructs quite
explicitly free categories and free groupoids over directed graphs.

Computer scientists often end up constructing free categories with
structure, so maybe universal algebraists have some constribution to make
here.

>
> We could all get more of a feel for how to tap into the Computer
> Science gravy train

A bit of a mirage, I'm afraid.

>
>Some arguments against promoting the list to computer scientists are:
>
> I don't have too good of an idea how to so promote it

Most effective route would be a message to the categories list,
categories@.... Lots of the computer scientists that I know who use
universal algebra or lattices subscribe to that.

All the best,

Steve Vickers.