Second Conference on Information-Theoretic Approaches to Logic, Language, and Computation Regent's College, London. 21-24 July, 1996 (note: The dates on our first Call For Papers were incorrect.) instructional workshops: 18-19 July SECOND CALL FOR PAPERS ---------------------------------------------------------------------------- Growing out of the series of meetings on Situation Theory and its Applications, the conference has broadened to include work on a wide range of foundational and applied issues on information. The aim of the conference is to bring together researchers from such fields as Computing, Linguistics, Logic, Philosophy and the Social Sciences. The themes of the conference include formal approaches to information and meaning, as well as applications in a number of relevant areas. ---------------------------------------------------------------------------- INVITED SPEAKERS: Johan van Benthem, Jerry Seligman, Steven Vickers, Deirdre Wilson ---------------------------------------------------------------------------- We solicit papers on the following topics: * Philosophical foundations of information, and information-based computation. * Applications of situation theory to the social sciences. * Visual logical systems and programming languages. * Mathematical foundations of the theory of information. * Formal theories of pragmatics and discourse. Papers on related subjects will also be considered. ---------------------------------------------------------------------------- SUBMISSIONS: authors are invited to submit a detailed abstract of a full paper of at most 10 pages by e-mail to ITALLC96@cs.indiana.edu (using `ITALLC96 Submission' as the subject line). The cover page should include title, authors and the coordinates of the corresponding author. Submissions in LaTeX are encouraged. Although we prever email submissions, we will also accept absbracts sent via surface mail. For this, please send to Robert Koons Philosophy Department University of Texas Austin TX 78712-1180 The deadline for submissions is January 1, 1996. Authors will be notified of acceptance by March 1, 1996. The accepted papers will appear on a World Wide Web server. We anticipate publishing a volume of proceedings. ---------------------------------------------------------------------------- INSTRUCTIONAL WORKSHOP: In addition to the conference, there will be an instructional workshop from 18-19 July. The workshop will include tutorial introductions to several topics broadly related to the conference. * David Barker-Plummer: Teaching logic with Hyperproof * Giles Fauconnier: Cognitive Semantics * Rachel Lunnon: Hypersets and applications * Greg Restall: Situation Theory and Channel Theory ---------------------------------------------------------------------------- PROGRAM COMMITTEE: * J. Ginzburg (Hebrew U.) * R. Koons (U. of Texas) * L. Moss (Program chair; Indiana U.) * H. Nakashima (ETL, Japan) * M. de Rijke (CWI, Amsterdam/U. of Warwick).