Logic-ml -- 論理学メイリングリスト


About Logic-ml
English (USA)

このメイリングリストは,論理学とその周辺の話題についての情報(研 究集会・セミナーの案内,論文のアブストラクトなど)交換を目的としていま す.論理学とその周辺の研究者・学生等,積極的・建設的な情報交換を行ない たい方の参加をお待ちしております.

To see the collection of prior postings to the list, visit the Logic-ml Archives.

Using Logic-ml

To post a message to all the list members, send email to . Currently, only subscribers can post messages. Messages from non-members may be discarded silently.

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

Subscribing to Logic-ml

Subscribe to Logic-ml by filling out the following form.

    You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. This is 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

Logic-ml 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 Logic-ml, 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

Logic-ml list run by logic-ml-owner at fos.kuis.kyoto-u.ac.jp
Logic-ml administrative interface (requires authorization)
Overview of all fos.kuis.kyoto-u.ac.jp mailing lists

Delivered by Mailman
version 2.1.29
Python Powered GNU's Not Unix Debian Powered