[TYPES] stricter moderation...?

[Stephanie Weirich]

I'm happy to implement Eijiro's suggestion if others agree. (I do  
admit that I have become *slightly* more lax after switching to  
member-only posts last fall. The additional announcements you see are  
from those who have taken the trouble to become members of the TYPES  
list, and so therefore do think that their announcements are relevant  
to this community.)

Either way, please send any thoughts either directly to this list, or  
straight to me at sweirich at cis.upenn.edu. In particular, I'd like to  
know if there are subjects (such as security, formal methods,  
software engineering, etc.) that you particularly do or do not want  
to see announcements about.

Also feel free to send me feedback about the TYPES forum at any time.

Thanks,

Stephanie Weirich
TYPES forum moderator
sweirich at cis.upenn.edu



On Dec 20, 2005, at 8:46 PM, 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