Re: [TYPES] [TYPES/announce] new moderator: Gabriel Scherer
Rishiyur Nikhil <[email protected]>
| Newsgroups | gmane.comp.science.types,gmane.comp.science.types.announce |
|---|---|
| Message-ID | <CAODMAjq_02mcYFyPZqFUHt6O4zhRjhWzh0YHzYkVriWtu8E_+Q@mail.gmail.com> |
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Many thanks for undertaking this task, Dimitrios and Gabriel. Nikhil On Mon, Oct 30, 2017 at 8:45 AM, Benjamin C. Pierce <[email protected]> wrote: > [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list > ] > > Many thanks, Dimitrios, for the great job you’ve done over the past three > years! The Types list is an important resource for the community, and your > stewardship has been much appreciated. > > And thanks to Gabriel for stepping up to take over this job! > > - Benjamin > > > On Oct 30, 2017, at 7:02 AM, Dimitrios Vytiniotis < > [email protected] <mailto:[email protected]>> wrote: > > > > [ The Types Forum (announcements only), > > http://lists.seas.upenn.edu/mailman/listinfo/types-announce < > http://lists.seas.upenn.edu/mailman/listinfo/types-announce> ] > > > > > > Dear all, > > > > It has been my great pleasure to act as the moderator of the TYPES forum > and the TYPES/announce mailing list over the past 3.5 years but I feel it > is now a good time for a successor. Going forward, I am very happy to > announce that Gabriel Scherer (from INRIA) has kindly agreed to take up the > job and serve as the next moderator – I am sure he will do a great job! > > > > Kind regards, > > Dimitrios Vytiniotis > >