Lprolog -- List for discussions about Lambda Prolog, metalanguages, logical frameworks and computational logic aspects


About Lprolog
English (USA)

This is a moderated mailing list for discussions broadly related to the Lambda Prolog language. The list was created by Dale Miller at the University of Pennsylvania in 1992 and was moderated by him till September 2000. It has since moved to the University of Minnesota where it is moderated by Gopalan Nadathur. Messages concerning all aspects of research pertaining to Lambda Prolog and related metalanguages and generic theorem provers such as Coq, Elf and Isabelle are welcome. This mailing list also serves as a clearing house for book, course, conference and job announcements provided these are broadly related to the research themes of interest. The interpretation of these guidelines is at the discretion of the moderator.

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

Using Lprolog
To post a message to all the list members, send email to lprolog@cs.umn.edu.

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

Subscribing to Lprolog

Subscribe to Lprolog by filling out the following form. This is a closed list, which means your subscription will be held for approval. You will be notified of the list moderator's decision by email. This is also a private list, which means that the list of members is not available to non-members.

    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. Once a month, your password will be emailed to you as a reminder.
    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
Lprolog Subscribers
(The subscribers list is only available to the list members.)

Enter your address and password to visit the subscribers list:

Address: Password:   

To unsubscribe from Lprolog, 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

Lprolog list run by gopalan at cs.umn.edu
Lprolog administrative interface (requires authorization)
Overview of all cs.umn.edu mailing lists

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