Anon FTP file for conference scheduling

To: types@theory.lcs.mit.edu, concurrency@theory.lcs.mit.edu, logic@theory.lcs.mit.edu, logic@cs.Stanford.EDU, rewriting-list@loria.fr, rus@herky.cs.uiowa.edu, vardi@almaden.ibm.com, halpern@almaden.ibm.com, fagin@almaden.ibm.com, theorynt@vm1.nodak.edu
Subject: Anon FTP file for conference scheduling
From: John "C." Mitchell <jcm@cs.stanford.edu>
Date: Fri, 02 Oct 92 13:56:21 -0700
Approved: types@dcs.glasgow.ac.uk


The purpose of this message is to announce a file for posting
tentative and confirmed conference announcements. The current
orientation is towards conferences and workshops in areas related 
to logic in computer science or overlapping with logic-related 
conferences in some way. However, if other people start using it,
the scope may expand.

The file of conference names and dates is 

   pub/conferences

on the machine

  theory.stanford.edu

This may be read by anyone by anonymous ftp. The protocol for
posting an announcement is described below, in a message that
is stored in conferences-README in the same directory.

This scheme will work only if (1) conference organizers use it,
and (2) postings are of the correct format so that the time involved
in maintaining the list is kept to a minimum. 

John Mitchell



--------------------- conferences-README ----------------------


The file ``conferences'' in this directory contains tentative and
confirmed dates of conferences and workshops, primarily in areas 
related to logic in computer science or overlapping with logic-related 
conferences in some way. Each entry contains the date of the conference 
itself and the submission date.

The reasons for establishing this file are

(1) to provide an up-to-date on-line calendar for researchers
   who might want to participate in the meetings themselves,

(2) to provide a mechanism for scheduling conferences. Organizers
  are encouraged to post TENTATIVE dates WELL IN ADVANCE and 
  check for conflicts before setting firm dates. It is not the
  intention of the maintainers of this list to negotiate 
  dates, but merely to help conference organizers identify
  possible conflicts.

Since one goal is to avoid conflicting dates, posting of meetings
with restricted attendace is encouraged. Even if a workshop is
by invitation only, it may be important for organizers of another
meeting to know about it.

Protocol for submitting dates:

Send a one or two-line message of the form illustrated by 
the following examples to conferences@theory.stanford.edu.

Feb 13-15, 92: STACS, Paris (SUBMIT AUG 15 1991)
Feb 24-28, 92: CAAP_ESOP (SUBMIT NOV 12, 91)
Mar 18-20, 92: Theorem Proving with Analytic Tableaux, Lautenbach,
        Germany, fronhoef@informatik.tu-muenchen.de
Mar 19-22, 92: ASL Annual Mtng, Durham, NC

It is helpful to include an email address or other contact point.