Call for Papers for the 
=======================


8th International Conference on Conceptual Structures (ICCS 2000)
=================================================================

Logical, Linguistic, and Computational Issues
=============================================


August 14-18, 2000, Darmstadt, Germany

http://www.mathematik.tu-darmstadt.de/ags/ag1/iccs2000


----------------------------------------------------------------------

The International Conference on Conceptual Structures (ICCS) is the
annual conference and principal research forum in the theory and
practice of conceptual structures. Previous ICCS conferences has been
held at the Universite Laval (Quebec City, 1993), the University of
Maryland (1994), the University of California (Santa Cruz, 1995),
Sydney (1996), the University of Washington (Seattle, 1997),
Montpellier (1998), and at Virginia Tech (Blacksburg, 1999). The
proceedings of the conference will be published by Springer
Verlag. ICCS 2000 will precede ECAI 2000 which will be held in Berlin,
August 20-25. 

Papers are invited on the following topics: conceptual structures
(application and experience); case  studies using conceptual
structures; conceptual analysis; natural language processing;
conceptual ontology; knowledge discovery and acquisition; conceptual
structures theory; modeling and visualization with conceptual
structures; and related topics. Comparisons with other representations
on the basis of expressiveness, ease of use, computational
performance, or reasoning simplicity are welcome. 
In order to widen the scope of the ICCS conference series, ICCS
2000 also provides a special track `Conceptual Ontology Engineering'.

Authors are invited to submit papers describing both theoretical and
practical research involving conceptual structures. Papers accepted or
under review by other conferences or journals are not acceptable as
submissions. 


Invited Speakers
================

Sixteen speakers have been invited to address topics in the scope of
the following themes: 

--- Philosophical and Linguistic Issues of Conceptual Structures
 Keith Devlin (Stanford) & Gisela Harras (Mannheim)

--- Logic and Language
Jacqueline Brunning (Toronto) & Hans Kamp (Stuttgart)

--- Conceptual Ontologies
Fritz Lehmann (Austin) & John Sowa (New York)

--- Nested Conceptual Graphs
Marie-Laure Mugnier (Montpellier) & Susanne Prediger (Darmstadt)

--- Applications of Conceptual Graphs
Michel Chein (Montpellier) & Guy Mineau (Quebec)

--- Computing Conceptual Structures
Bernhard Ganter (Dresden) & Robert Levinson (Santa Cruz)/Gerard Ellis (Sydney)

--- Conceptual Modeling
Alex Borgida (New Brunswick) & Deborah McGuinness (Stanford)

--- Logic-Based Networks
Peter Eklund (Gold Coast) & Stuart Shapiro (Buffalo)


Author's Information
====================

Papers are limited to 14 pages, single column in US letter
format. Position papers (2 pages) are also welcome. The electronic
submission in postscript or pdf format must be received before or on
Monday, January 10, 2000, at  mineau@ift.ulaval.ca. See 
http://www.mathematik.tu-darmstadt.de/ags/ag1/iccs2000 
for further details. Papers accepted for publication will appear in
the Lecture Notes in Artificial Intelligence Series by
Springer-Verlag. Editors of the volume are Bernhard Ganter (Dresden)
and Guy Mineau (Quebec). Papers accepted for presentation only, and
position papers will appear in supplementary proceedings.  


Conference Location 
===================


Surrounded by the recreational areas of the Odenwald and the
Bergstrasse, the Taunus and the Spessart, Darmstadt is favoured not
only by nature, having a mild climate and fertile countryside, but is
conveniently located only a 25 minute ride by a shuttle bus from the
Frankfurt Airport. 

Darmstadt is a city full of cultural life, with many museums,
galleries and expositions and an old theatrical tradition. As former
grand-ducal residency many old buildings, parks and gardens are giving
evidence of the various epochs of history. Darmstadt University of
Technology with more than 17000 students, and numerous other
scientific  institutions like the Society for Heavy-Ion Research, the
Research Center of the German Telecom, the European Space Operation
Center, two GMD institutes, two Fraunhofer Institutes (among them the
Institute for Computer Graphics), the Center for Computer Graphics,
the Center for Interdisciplinary Studies in Technology and the
ErnstSchroederCenter for Conceptual Knowledge Processing have long
become firmly integrated into the community.   


Chairs
======

General Chair: Rudolf Wille
Program Chair: Bernhard Ganter, Guy Mineau
Conference Chair: Gerd Stumme


Further Information
===================

This call for papers and the latest information regarding the
conference can be found on the World Wide Web at:
http://www.mathematik.tu-darmstadt.de/ags/ag1/iccs2000 
Further information is also available from Rudolf Wille or 
Gerd Stumme at 

FB Mathematik 
TU Darmstadt
D--64289 Darmstadt
Phone: ++49--6151--164686
Fax: ++49--6151--164011
email: iccs2000@mathematik.tu-darmstadt.de