From devlin@CSLI.Stanford.EDU Thu Nov 11 16:56:59 EST 1993 Article: 5061 of news.announce.conferences Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5061 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!MathWorks.Com!europa.eng.gtefsd.com!uunet!sparky!rick From: devlin@CSLI.Stanford.EDU (Keith Devlin) Subject: CFP: Information-Oriented Approaches to Logic, Language, and Computation Message-ID: <1993Nov11.145132.21507@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: CSLI, Stanford University Date: Thu, 11 Nov 1993 14:51:32 GMT Approved: rick@sparky.sterling.com Expires: Tue, 15 Feb 1994 08:00:00 GMT Lines: 253 X-Md4-Signature: 92f4b2752a23ccea6880d0f5afcc4f6d CONFERENCE ON INFORMATION-ORIENTED APPROACHES TO LOGIC, LANGUAGE AND COMPUTATION (4th Conference on Situation Theory and its Applications) Saint Mary's College of California, Moraga, California, USA Conference: June 12--15, 1994 Instructional workshops: June 8--11, 1994 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. A special feature of this year's conference is a symposium on visual reasoning, organized by Jon Barwise and John Etchemendy. ============================================================= PARTICIPANTS ============================================================= A preliminary list of participants at the conference includes, in addition to the conference organizers: P. Aczel (U Manchester) P. Agre (UC San Diego) J. Barwise (Indiana U, Bloomington) J. van Benthem (U Amsterdam) R. Cooper (U Edinburgh) J. Etchemendy (Stanford U) D. Israel (SRI, Menlo Park) Y. Katagiri (NTT, Tokyo) L. Moss (Indiana U, Bloomington) K. Mukai (Keio U, Fujisawa) D. Oehrle (U Arizona, Tuscon) J. Perry (Stanford U) S. Peters (Stanford U) C. Pollard (Ohio State U, Columbus) V. Pratt (Stanford U) W. Rounds (U Michigan, Ann Arbor) J. Sowa (SUNY, Binghampton) ============================================================= 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 informational approaches to propositional attitudes situated automata applications of situation theory to knowledge representation, data processing, and systems design visual and multi-modal reasoning (special symposium) ============================================================= WORKSHOPS: ============================================================= Arrival and registration: Wed 8 June. 1. Situation theory: Larry Moss Th-Fr, 9.00am--12.00pm (break at 10:30). 2. Situation semantics: Stanley Peters Th-Fr, 1:30--4:30pm (break at 3:00). 3. Teaching logic with Hyperproof: Jon Barwise and John Etchemendy Th-Fr, 6:30pm--9:30pm (break at 8.00pm). ============================================================= EXCURSIONS ============================================================= Saturday 11, free for trips to San Francisco, etc. Sunday 12, day trip to the Napa Valley wine region. ============================================================= CONFERENCE ============================================================= Registration: Saturday 11, afternoon, for participants who wish to go on the Sunday excursion. Sunday 12, afternoon, remaining registration. Sunday, 8.00pm: invited talk (John Perry). Monday 13 through Wednesday 15, STA 4 conference. Thursday 16, morning departure. Suggested arrival date/time for conference participants is Saturday 11, late afternoon, to take part in Sunday excursion. ============================================================= FEES ============================================================= Registration fee: regular participants $150, full-time students $100. Workshop and conference accommodation: 8 nights, full board: $500 (single room); $400 (shared double room, cost per person). Conference accommodation only: 5 nights, full board: $320 (single room); $250 (shared double room, cost per person). Meals only: 5 days (June 9, 10, 13, 14, 15) $105; 3 days (June 13, 14, 15) $63. (This plan covers breakfast, lunch, and dinner. No other meals-only plans are available through the conference organizers.) Full board does not include lunch on the weekend. These are special, conference rates, and are less than half the cost of accommodation and meals off-campus in the area. The conference organizers regret that they cannot make special accommodation arrangements (other than special dietary requirements, such as vegetarian). In particular, participants who wish to arrive a day later or depart a day earlier will still have to pay the same amount. Workshop costs: 1 course: $150 2 courses: $250 3 courses: $300 ============================================================= 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 February 14, 1994. February 14, 1994 Deadline for abstracts April 1, 1994 Notification of acceptance June 1994 Meeting Conference email address: devlin@stmarys-ca.edu ============================================================= FINANCIAL SUPPORT ============================================================ We are applying 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 School of Science Saint Mary's College Moraga California 94575 USA. DEADLINE FOR REGISTRATION: APRIL 15, 1994. (We MAY be able to accommodate later applicants, subject to payment of a supplementary late-fee of $50.) Make your check payable to STASS. 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 ACCOMMODATION REQUIREMENTS INDICATE WHICH WORKSHOPS YOU ARE REGISTERING FOR TAKE PART IN SUNDAY EXCURSION (YES/NO). ============================================================= THE VENUE ============================================================= Saint Mary's College of California is located in Moraga, a small township nestled in the Oakland hills, ten miles to the east of Berkeley. Public bus transportation connects the campus to the train station in the nearby town of Lafayette, with regular trains to and from San Francisco (BART). The area is extremely picturesque, quiet, and safe, with lots of activities to offer accompanying persons not involved in the conference itself. The June weather is normally sunny and warm, with daytime temperatures in the 70F to 90F range. Rain in June is extremely unlikely. ============================================================= ORGANIZATION ============================================================= Program committee: Dag Westerstahl (chair, U Stockholm), Elisabet Engdahl (U Edinburgh), John Etchemendy (Stanford U), Jerry Seligman (U Amsterdam), Hidetosi Sirai (Chukyo U). Local organization: Keith Devlin (Saint Mary's College). email: devlin@stmarys-ca.edu.