Types-announce -- Announcements of interest to the TYPES community


About Types-announce
English (USA)

Types-announce is a moderated, announcement only list focusing on Type Theory in Computer Science. For more general discussion, see the Types Forum.

Announcements of a general nature should not be sent to this list. The usual criterion for deciding relevance is that the announcement should mention "type" somewhere in the text. If an announcement does not obviously meet this criterion but would still be of interest to many Types readers, it may be prefaced with a brief note explaining its relevance.

Normally, only one announcement of a given event will be accepted for distribution. Exceptions will be made for second announcements where there have been important changes in information such as submission dates, provided these changes are mentioned prominently at the top of the message.

To see the collection of prior postings to the list, visit the Types-announce Archives.

Using Types-announce
To post a message to all the list members, send email to types-announce@LISTS.SEAS.UPENN.EDU.
  • Submissions must literally include the address types-announce@lists.seas.upenn.edu in their To: or Cc: headers. Mailing to a blind To: or Cc: list that happens to include types-announce@lists.seas.upenn.edu may result in your message being silently ignored.
  • Submissions should be in plain ASCII format -- please, no embedded HTML, document attachments, or MIME-encodings.
  • Please include an informative subject line with your message. To announce a paper, the subject line should state the subject of the paper rather than just `New paper.' To announce a conference, please put the conference's name in the subject line, rather than just 'Call for papers.' Submissions with blank subject lines run the risk of being silently discarded.
  • Please don't begin your message with an apology for sending it to multiple lists -- this is just a further waste of readers' attention. (Many announcements these days are cross-posted, for reasons that people generally accept as valid. But if you truly feel bad about it, a better solution might be not to post to so many lists!)

You can subscribe to the list, or change your existing subscription, in the sections below.

Subscribing to Types-announce

Subscribe to Types-announce by filling out the following form. You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. This is a hidden list, which means that the list of members is available only to the list administrator.

    Your email address:  
    Your name (optional):  
    You may enter a privacy password below. This provides only mild security, but should prevent others from messing with your subscription. Do not use a valuable password as it will occasionally be emailed back to you in cleartext.

    If you choose not to enter a password, one will be automatically generated for you, and it will be sent to you once you've confirmed your subscription. You can always request a mail-back of your password when you edit your personal options.

    Pick a password:  
    Reenter password to confirm:  
    Which language do you prefer to display your messages? English (USA)  
    Would you like to receive list mail batched in a daily digest? No Yes

Types-announce Subscribers
(The subscribers list is only available to the list administrator.)

Enter your admin address and password to visit the subscribers list:

Admin address: Password:   

To unsubscribe from Types-announce, get a password reminder, or change your subscription options enter your subscription email address:

If you leave the field blank, you will be prompted for your email address

Types-announce list run by types-announce-owner at LISTS.SEAS.UPENN.EDU
Types-announce administrative interface (requires authorization)
Overview of all LISTS.SEAS.UPENN.EDU mailing lists

Delivered by Mailman
version 2.1.30
Python Powered GNU's Not Unix