Atlas home || Conferences | Abstracts | about Atlas
Host: Batumi University
Homepage: http://www.illc.uva.nl/Batumi/
Organizers: I. van Loon (University of Amsterdam, Chair), P. Dekker (University of Amsterdam), G. Erbach (Universität des Saarlandes, Saarbrücken), V. Finn (Institute for Scientific & Technical Information, Moscow), T. Kutsia (Institute of Symbolic Computation, University of Linz), D. Pearce (GmbH, Saarbrücken), E. Tavadze-Melini (Royal Technical High School, Stockholm)
Deadline for abstracts: April 15, 1999
Description:
The Symposium welcomes papers on current research in all aspects of Linguistics, Logic and Computation, including but not
limited to:
Natural language semantics/pragmatics Algebraic and relational semantics Natural language processing Logic in AI and natural language Natural language and logic programming Automated reasoning Natural language and databases Information retrieval from text Natural language and internet Constructive logic and modal systems
In line with the main trend in this field we strongly encourage the submission of papers concerning applications of logic to computation and the application of logic and computation to language description and modelling.
Speakers: J. van Benthem (University of Amsterdam), G. Gottlob (Vienna University of Technology), J. D. McCawley (University of Chicago), I. Hodkinson (Imperial College, London), I. Melchuk (University of Montreal), V. Pratt (Stanford University), A. Zaenen (Xerox Research Centre Europe, Grenoble, to be confirmed)
Date received: February 03, 1999
© 2008 Atlas Conferences Inc.