[TYPES] stricter moderation...?

Thorsten Altenkirch txa at cs.nott.ac.uk
Wed Dec 21 12:09:34 EST 2005

Dear Eijiro,

I see your point but the costs in implementing it may be higher than 
the benefits, since the exact distinction between on- and off-topic is
highly controversial and hence it is better for the moderator to be

One option would be to split the list in two: one for discussions 
(types-discuss) and one for announcements (types-announce) and types 
would be the merge of the two but people could opt out of either 
sublist. In this case the decision for the moderator is easy - 
announcements always go to types-announce.


Eijiro Sumii wrote:
> [The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]
> Dear all,
> I am afraid this might be a somewhat controversial suggestion, but may
> I propose the TYPES list be moderated a little more strictly?  I am
> seeing more and more messages that are not _directly_ and _explicitly_
> related to types (or logics).  They are "too many" to just ignore (and
> yet the list is too useful to quit:-).  Of course, this means more
> work for Stephanie and I am not sure if others agree - so everything
> depends on how people think.  Any ideas...?
> Best regards,
> --
> Eijiro Sumii (http://www.kb.ecei.tohoku.ac.jp/~sumii/)
> Graduate School of Information Sciences, Tohoku University

Dr. Thorsten Altenkirch		   phone : (+44) (0)115 84 66516
Lecturer			   http://www.cs.nott.ac.uk/~txa/
School of Computer Science & IT	   University of Nottingham

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.

More information about the Types-list mailing list