Editor for this issue: <>
INTERNATIONAL CONFERENCE ON INTERFACES IN LINGUISTICS Oporto, November 13th-17th, 1995 CALL FOR PAPERS Recent advances in Theoretical Linguistics impose an accurate discussion on interfaces between levels of knowledge in the Grammar and levels of linguistic knowledge and other components of the mind-brain. The Associacao Portuguesa de Linguistica (APL) is organizing an International Conference mainly concerned with the following Interfaces - Morphology/Syntax; Morphology/Phonology; Phonology/Syntax; Syntax/Semantics. The Conference will take place in Oporto (Portugal), November 13th-17th, and is featuring the participation of renowned specialists, who will make a brief survey of the problems in the field and present their recent research - - Bernardette Abaurre, Mark Baker, Hagit Borer, Gennaro Chierchia, Rochelle Lieber, Marina Nespor, Tim Stowell. During the Conference, we also plan include 16 talks of 30 minutes each, on topics related to the above mentioned interfaces. So, we are calling for your contributions. Abstracts, written in English, must be typed in 12 pt, and should not exceed one page, with 2.5cm margin in all four sides. If sent by fax, then another copy must be sent by mail. They should be sent anonymously in twofold, accompanied by an original with the author's name, address and affiliation, to: Associacao Portuguesa de Linguistica Gabriela Ardisson Matos Departamento de Linguistica Geral e Romanica Faculdade de Letras, Universidade de Lisboa Cidade Universitaria 1699 Lisboa Codex PORTUGAL Fax: 351 1 796 00 63 NO E-MAIL UNFORTUNATELY! DEADLINE FOR SUBMISSION OF ABSTRACTS: JUNE 15TH 1995 For further information and subscriptions please write to the above mentioned address.Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue
Content-Length: 3293 COMMON SENSE 96 THIRD SYMPOSIUM ON LOGICAL FORMALIZATIONS OF COMMONSENSE REASONING http://www-formal/tjc/96FCS CALL FOR PAPERS Stanford University January 6-8, 1996 To endow computers with common sense is one of the major long term goals of Artificial Intelligence research. Although we know how to build programs that excel at certain mechanical tasks which humans find difficult, such as playing chess, we have very little idea how to program computers to do well at common sense tasks which are easy for humans. One approach to this problem is to formalize common sense reasoning using mathematical logic. This will be the focus of the symposium. Topics of interest include, but are not limited to: change, action, and causality ontologies, including space, time, shape, and matter non-monotonic reasoning formal theories of context mental attitudes including knowledge, belief, intention, obligation, etc. belief change, update and revision large common sense knowledge bases other mathematical tools for capturing common sense reasoning The symposium aims to bring together researchers who have studied the formalization of common sense reasoning. The focus of the symposium is on representation rather than on algorithms, and on formal rather than informal methods. Papers should be rigorous, theoretical and concrete. Technical papers offering new results in the area are especially welcome. However, survey papers, and papers studying the relationship between different approaches are also encouraged. SUBMISSION INFORMATION Persons wishing to make presentations at the workshop should submit papers (up to 12 pages, 12pt font). Persons wishing only to attend the workshop should submit a 1-2 page research summary including a list of relevant publications. A postscript file or 8 paper copies should be sent to one of the program co-chairs. TIMETABLE September 25, 1995 Submission deadline November 1, 1995 Notification of the committee's decision December 1, 1995 Final papers due January 6-8, 1996 Symposium PROGRAM COMMITTEE Sasa Buvac (program co-chair). Department of Computer Science, Stanford University, Stanford CA 94305-2140. buvacMail to author|Respond to list|Read more issues|LINGUIST home page|Top of issuecs.stanford.edu Tom Costello (program co-chair). Department of Computer Science, Stanford University, Stanford CA 94305-2140. costello
cs.stanford.edu Ben Kuipers. CIS Department, University of Texas, Austin, TX 78712. kuipers
cs.utexas.edu John McCarthy (conference chair). Department of Computer Science, Stanford University, Stanford CA 94305-2140. jmc
cs.stanford.edu Leora Morgenstern. IBM T.J. Watson Research Center, PO Box 704, Yorktown Heights, NY 10598-6740. leora
watson.ibm.com. Murray Shanahan. Imperial College Department of Computing, 180 Queen's Gate, London SW7 2BZ, England. mps
doc.ic.ac.uk Vladimir Lifschitz. Department of Computer Science, University of Texas, Austin, TX 78712. vl
cs.utexas.edu Raymond Reiter. Department of Computer Science, University of Toronto, Toronto ON M5S 1A4, Canada. reiter
ai.toronto.edu. The symposium home page is http://www-formal/tjc/96FCS