[TYPES/announce] A new year, a new mailing list for announcements

[Stephanie Weirich]

Happy new year, everyone!

I'm happy to announce the creation of a new mailing list:

   types-announce at lists.seas.upenn.edu

This list is intended for conference and other announcements that are
usually sent to TYPES.  Anyone who is currently a member of the TYPES
forum has been automatically subscribed to this list. If you do
nothing, you will continue to get all of the same messages that
normally appear in the TYPES forum.

However, the headers of the two lists will be different.

Normal types discussion will have the usual [TYPES] in the subject
line and start with:
[The Types Forum, 
http://lists.seas.upenn.edu/mailman/listinfo/types-list].  

Posts to the announcement list will have [TYPES/announce] in the
subject line and will start with:
[The Types Forum (announcements only),
              http://lists.seas.upenn.edu/mailman/listinfo/types-announce]

Both lists are moderated and only list members may post. In either
case, messages must be related to types and programming languages. If
they are not obviously related, they should be prefaced by a short
description of their relevance. Duplicate announcements will be
rejected unless changes are highlighted at the top of the message. I
will be using the same (somewhat lax) criteria as before to decide if an
announcement, etc. is relevant. (Recently, 20 people told me that they
were happy with the current policy vs.12 who wished for more stricter
moderation.)

To ease the transition to the new mailing list, for the next six
months, all posts for either the TYPES discussion list or
types-announce may be sent to the usual address:
types at cis.upenn.edu. I will make sure that the messages are directed
to the appropriate list. After that time, announcements must be sent
only to types-announce at lists.seas.upenn.edu, so update your address
books and publicity lists.

Thanks,

Stephanie Weirich
TYPES Forum moderator