From: devlin@csli.stanford.edu (Keith Devlin)
Subject: Information, computation, and situation theory
Organization: CSLI, Stanford University
Date: Sun, 20 Dec 1992 01:00:06 GMT
Expires: Mon, 1 Mar 1993 08:00:00 GMT


CONFERENCE ON INFORMATION-ORIENTED APPROACHES
TO LOGIC, LANGUAGE AND COMPUTATION
(4th Conference on Situation Theory and its Applications)

Colby College, Maine, USA

Conference: August 8 - 12, 1993
Instructional workshops: August 4 - 7, 1993

In the past few years, there has been a growing sense of
convergence in information-based work in the study of
language and logic. Situation theory, domain theory, and
linear logic, for example, are increasingly seen as having
common underlying intuitions and motivations. For this
reason, it has been decided to broaden the focus of the
Situation Theory and its Applications conference from
situation theory, per se, to the general study of logic,
language and computation from an informational
perspective.


=============================================================
PARTICIPANTS
=============================================================

A preliminary list of participants at the conference includes
   P. Aczel (Manchester)
   P. Agre (UC San Diego)
   J. Barwise (U Indiana, Bloomington)
   R. Cooper (Edinburgh)
   D. Israel (SRI, Menlo Park)
   Y. Katagiri (NTT, Tokyo)
   L. Moss (U Indiana, Bloomington)
   K. Mukai (Keio U, Fujisawa)
   J. Perry (Stanford)
   S. Peters (Stanford)
   C. Pollard (U Ohio, Columbus)
   W. Rounds (U Michigan, Ann Arbor)
   J. Sowa  (SUNY, Binghamton)


=============================================================
CONFERENCE TOPICS
=============================================================

Contributions related to this theme are invited from
researchers in logic, linguistics, computer science,
philosophy, and related fields. Relevant areas include,
but are not limited to:
   situation semantics
   information-based theories of grammar, semantics, and
      discourse
   dynamic semantics and logic
   situation theory and its applications
   theories of structured objects
   set theoretic models of semantic theories of information
   proof theoretic approaches to information and semantics
   constructivity, information, and semantics
   semantic applications of intensional logics
   informational approaches to propositional attitudes
   theories of graphical information and multi-modal
      reasoning
   situated automata
   applications of situation theory to knowledge
      representation, data processing, and systems design


=============================================================
WORKSHOPS:
=============================================================

Arrival and registration: Wed 4 August.

1. Situation theory: Larry Moss
   Th-Fr-Sa, 9.30am--12.00pm (break 10:30--11:00).

2. Situated action and systems design: Philip Agre
   Th-Fr, 1:30--4:30pm (break 3:00--3:30).

3. Situation semantics: Stanley Peters
   Th-Fr, 6:30pm--9:30pm (break 8.00--8:30).

4. Workshop invited talk: The Mathematics of Information
   Flow (Jon Barwise)   Sa, 8.00--9:30pm.


=============================================================
EXCURSION
=============================================================

Sunday 8, day trips to Maine coast and Bar Harbor.


=============================================================
CONFERENCE
=============================================================

Registration:
Saturday 7, afternoon, for participants who wish to go on
      the Sunday excursion.
Sunday 8, afternoon, remaining registration.

Sunday, 6.00pm: Conference reception.
Sunday, 8.00pm: invited talk (John Perry).

Monday 9 through Wednesday 11, STA 4 conference.

Thursday 12, morning departure.

Suggested arrival date/time for conference participants is
Saturday 7, late afternoon, to take part in Sunday excursions.


=============================================================
FEES
=============================================================

Registration fee for the conference: $150 (full-time
      students $100)

Workshop and conference accommodation:   8 nights,
      full board: $480

Conference accommodation only:
	Saturday arrival, 5 nights, full board: $300
	Sunday arrival, 4 nights, full board: $240

Workshop costs:	1 course:  $200
		2 courses: $300
		3 courses: $375

Full board does not include lunch on the Sunday; it is
assumed the participants will either go on the organized
trip to Bar Harbor and the Maine coast, or else spend the
day touring on their own. Participants who wish to depart
on the evening of Wednesday 11 August can obtain a $20
reduction in accommodation costs, but it should be noted
that the conference continues until the Wednesday evening,
and it is very hard to get out from the Colby area in the
evening.

Accompanying family fees (all full board):
	$35 per day for a spouse sharing a room;
	no charge for children under 3;
	ages 3-9 are 75% of the adult rate;
	ages 10-16 are 85% of the adult rate.


=============================================================
SUBMISSION OF ABSTRACTS
=============================================================

An extended abstract of 8-10 pages should be sent, (3 copies)
to:
   Dag Westerstahl
   Dept. of Philosophy
   Stockholm University
   106 91 Stockholm
   Sweden
   (email:  westerstahl@philosophy.su.se)
so that it arrives before the deadline of March 1, 1993.

March 1, 1993	Deadline for abstracts.

May 1993	Notification of acceptance.

August 1993	Meeting.


=============================================================
FINANCIAL SUPPORT
=============================================================

We have applied for financial support from the National
Science Foundation. If this request is successful, we should
be in a position to provide some attendants with partial
assistance in meeting the cost of attendance at the conference.


=============================================================
HOW TO REGISTER
=============================================================

Send a check, payable in US dollars, to cover the conference
registration fee (regular participants $150, full-time
students $100), together with FULL payment for the
instructional workshops you wish to attend, to:
Keith Devlin
Department of Mathematics and Computer Science
Colby College
Waterville
Maine 04901
USA.

DEADLINE FOR REGISTRATION: 1 MAY, 1993. (We MAY be
able to accommodate later applicants, subject to payment
of a supplementary late-fee of $50.)

Make your check payable to COLBY COLLEGE (STASS
ACCOUNT). Accompany your payment with the following
information:

NAME

AFFILIATION

ADDRESS

EMAIL ADDRESS

PHONE AND FAX NUMBERS

ARRIVAL DATE

DEPARTURE DATE

NUMBER OF ACCOMPANYING PERSONS AND ACCOMODATION
          REQUIREMENTS

INDICATE WHICH WORKSHOPS YOU ARE REGISTERING FOR

TAKE PART IN SUNDAY EXCURSION (YES/NO).


=============================================================
THE VENUE
=============================================================

Colby is one of the "New England small colleges". It is located
in mid-Maine, just over three hours from Boston by car. The
nearest major airport is Portland, Maine, 80 minutes away
from Colby by car. Small commuter flights connect Boston to
Augusta (twenty minutes from Colby by car). There is no
regular limousine or bus service between Portland and Colby.
If there is sufficient demand, we may be able to arrange
transport at the start and end of the conference. Our advice
is to rent a car and get the most out of your visit to Maine.

Maine is "Vacationland". That's what is says on the
automobile licence plates. Colby is situated in gorgeous
countryside, on the edge of the Belgrade Lakes
region, an hour north of Portland, an hour from the
coast, an hour from the central mountains, and an hour
and a half from Mount Desert Island. There are many
opportunities for hiking, swimming, sailing, canoeing,
boat trips, or plain old sightseeing, including sightseeing
by sailboat and by small plane. The college also has extensive
recreational facilities, all of which are available for use by
participants and their families, including: tennis,
basketball, squash, badminton, indoor swimming,
weight-room, Nautilus room, jogging trails.

If you want to see anything of Maine, a private car is
strongly recommended, bring or rent. The conference
is organized so as to facilitate participants combining the
trip with a family vacation.  If we have sufficient notice,
participants can stay on at the college for a few days after
the conference is over, at a principal daily rate of $60,
with rates for accompanying family members as listed
above.

All conference accommodation is on campus. Colby has a
selection of single, double, and triple rooms, and a number
of suites suitable for families.


=============================================================
ORGANIZATION
=============================================================

Program Committee:   Dag Westerstahl (chair), Elisabet
Engdahl, John Etchemendy, Jerry Seligman, Hidetosi Sirai.

Local organization: Keith Devlin  <email: stass@colby.edu>.