G22_3033_007_fa10 -- Announcements and discussion, Topics in Automated Deduction, Fall 2010


About G22_3033_007_fa10
English (USA)

This is the mailing list for the Fall 2010 edition of Topics in Automated Deduction (G22.3033-007). For more information please visit the course web site at http://cs.nyu.edu/courses/fall10/G22.3033-007/

To see the collection of prior postings to the list, visit the G22_3033_007_fa10 Archives. (The current archive is only available to the list members.)

Using G22_3033_007_fa10
To post a message to all the list members, send email to g22_3033_007_fa10@cs.nyu.edu.

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

Subscribing to G22_3033_007_fa10

Subscribe to G22_3033_007_fa10 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
G22_3033_007_fa10 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 G22_3033_007_fa10, 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

G22_3033_007_fa10 list run by mdeters at cs.nyu.edu
G22_3033_007_fa10 administrative interface (requires authorization)
Overview of all cs.nyu.edu mailing lists

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