論理学，数学基礎論，プログラミング言語に関する以下のメイリングリストを運営しています． 興味のある方は是非ご参加ください．購読は以下のリンクから．
このメイリングリストは，論理学とその周辺の話題についての情報（研 究集会・セミナーの案内，論文のアブストラクトなど）交換を目的としていま す．論理学とその周辺の研究者・学生等，積極的・建設的な情報交換を行ない たい方の参加をお待ちしております．
日本数学会・数学基礎論および歴史分科会のメイリングリストです． 数学基礎論および歴史分科会の評議員はお知らせやお願いなどを logic-ml に 掲示することがありましたが, 今後はこのメイリングリストに掲示します．ま た, 数学基礎論および歴史分科会の運営についてのご意見なども, ここに投稿 していただきたいと思います．
This mailing list seeks to provide a forum for the scholarly discussion and correspondence (including seminar/workshop announcements, paper abstracts and so on) on mathematical logic and related topics.
We welcome the participation of researchers and students who would engage in the active and constructive exchange of academic opinion and information on logic. Anyone whose posting includes personal offense or any other inappropriate contents will risk the removal from the membership.
日本ソフトウェア科学会プログラミング論研究会のメイリングリストで，プログラミングの理論と実践に関する研究者の情報交換を目的としています．