Re: [TYPES/announce] New moderator: Derek Dreyer

2009-04-22 Thread Benjamin Pierce
[ The Types Forum (announcements only), 
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Excellent -- thanks very much, Derek, for stepping up!

We also owe a huge round of thanks to Stephanie for her excellent  
management of the list for six years!!!

 - Benjamin
   (former former TYPES forum moderator :-)



On Apr 21, 2009, at 4:38 PM, Stephanie Weirich wrote:

> [ The Types Forum (announcements only),
> http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
>
> It is my pleasure to announce that Derek Dreyer has taken over
> the job as moderator of the TYPES forum. After six years of
> running types-list and types-announce, it is time to pass the
> baton. Please join me in thanking Derek for taking on this
> valuable service for the community.
>
> With this handover, the list addresses will not change.
> As always, send discussion to
>types-l...@lists.seas.upenn.edu
> and announcements to
>types-announce@lists.seas.upenn.edu
> Derek is eagerly awaiting your submissions.
>
> Cheers,
>
> Stephanie Weirich
>
> Former TYPES forum moderator



[TYPES/announce] New moderator: Derek Dreyer

2009-04-21 Thread Stephanie Weirich
[ The Types Forum (announcements only), 
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

It is my pleasure to announce that Derek Dreyer has taken over
the job as moderator of the TYPES forum. After six years of
running types-list and types-announce, it is time to pass the
baton. Please join me in thanking Derek for taking on this
valuable service for the community.

With this handover, the list addresses will not change.
As always, send discussion to
types-l...@lists.seas.upenn.edu
and announcements to
types-announce@lists.seas.upenn.edu
Derek is eagerly awaiting your submissions.

Cheers,

Stephanie Weirich

Former TYPES forum moderator