LINGUIST List 10.1581

Thu Oct 21 1999

Calls: Modal Logic/Temporal Logic, Cognitive Typology

Editor for this issue: Jody Huellmantel <>

As a matter of policy, LINGUIST discourages the use of abbreviations or acronyms in conference announcements unless they are explained in the text.


  1. Maarten de Rijke, AiML-ICTL 2000: First Call for Papers
  2. Jan.Nuyts, International Cognitive Typology Conference

Message 1: AiML-ICTL 2000: First Call for Papers

Date: Thu, 21 Oct 1999 22:15:25 +0200 (MET DST)
From: Maarten de Rijke <>
Subject: AiML-ICTL 2000: First Call for Papers


AiML-ICTL 2000 
Advances in Modal Logic - International Conference on Temporal Logic 2000

October 4-7, 2000, University of Leipzig, Germany

AiML-ICTL 2000
In the year 2000, the Advances in Modal Logic workshop and the
International Conference on Temporal Logic will be run as a combined
event, bringing together the strongly related modal logic and computer
science oriented temporal logic communities to present and share the
latest exciting results in all relevant areas.

Topics of interest include: common-sense temporal reasoning,
complexity of modal and temporal logics, deontic logic, description
logics, dynamic logic, epistemic logic, modal logics of agency and
space, modal logic and game theory, modal logic and grammar
formalisms, modal realism and anti-realism, modal and temporal logic
programming and theorem proving, model theory and proof theory of
modal and temporal logic, representation of time in natural language
semantics, non-monotonic modal logics, provability logic, temporal
databases. Papers on related subjects will also be considered.

During the workshop there will be a special session on description
logics and applications of modal logic in Knowledge Representation.

Invited speakers include: 
 Nuel Belnap (Pittsburgh) Mark Reynolds (Perth)
 Stephane Demri (Grenoble) Krister Segerberg (Uppsala)
 Silvio Ghilardi (Milan) Colin Stirling (Edinburgh)
 Giuseppe de Giacomo (Rome) Moshe Vardi (Houston)
Authors are invited to submit a detailed abstract of a full paper of
at most 10 pages (a4paper, 11pt) by e-mail to the programme chair,
using `AiML-ICTL Submission' as the subject line. The cover page
should include title, names of authors, the coordinates of the
corresponding author, and some keywords describing the topic of the
paper. Following this it should be indicated whether this is a
submission to AiML or ICTL. To be considered, submissions must be
received no later than May 15, 2000.

Preliminary versions of the full papers should be made available at
the workshop; two separate proceedings volumes (AiML and ICTL) will be
submitted to CSLI Publications. Notification date for the conference
is July 15, 2000; for the volumes it is December 1, 2000. Full
versions of accepted ICTL papers can be offered fast track journal
publication in one of D.M. Gabbay's Oxford Journals.

 Franz Baader, Aachen Greg Restall, Sydney
 Howard Barringer, Manchester Maarten de Rijke, Amsterdam
 Marcelo Finger, Sao Paulo Heinrich Wansing, Dresden (chair)
 Nissim Francez, Haifa Frank Wolter, Leipzig
 Dov Gabbay, London Michael Zakharyaschev, Leeds

 Heinrich Wansing, 
 Dresden University of Technology,
 Institute of Philosophy,
 01062 Dresden, Germany,
 E-mail: <>
 Phone: +49 351 463 5489 
 Fax: +49 351 463 6068

 Frank Wolter, Leipzig Holger Sturm, Leipzig

 Submission deadline: May 15, 2000 
 Notification: July 15, 2000
 Workshop: October 4-7, 2000 
 Preliminary version for workshop volume due: at the workshop
 Notification of acceptance for publication: December 1, 2000

E-mail enquiries about AiML-ICTL 2000 should be directed to 
<>. Information about AiML can be obtained 
on the World-Wide Web at
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue

Message 2: International Cognitive Typology Conference

Date: Thu, 21 Oct 1999 09:34:06 +0200 (MET DST)
From: Jan.Nuyts <>
Subject: International Cognitive Typology Conference

 Second (and final) call for papers


 April 12-14, 2000
 University of Antwerp (UIA), Belgium

 Main Organisers: Jan Nuyts and Johan van der Auwera

The purpose of this conference is to bring together researchers from
the field of linguistic typology and from the domain of cognitive
approaches to language (broadly defined) to reflect on how the
typological and the cognitive enterprises in language research
interrelate, what they have to offer each other, and/or how they can
join forces in view of their shared goal of achieving an explanatory
account of language.

Invited plenary speakers include
Bill Croft (University of Manchester & Max-Planck Institute for
 Evolutionary Anthropology, Leipzig)
Suzanne Kemmer (Rice University)
Stephen Levinson (Max-Planck Institute for Psycholinguistics,

Abstracts are invited for 30-minute presentations (plus 10 minutes
discussion time) on any topic contributing to this overall purpose.

 (Extended) deadline for receiving abstracts:
 ** November 15, 1999 **

Abstracts should be no longer than 400 words. Please add a full
correspondence address and an indication of any special equipment you
may need. Send your submission (in plain ASCII format or in RTF
format) either (preferentially) via email or (both in hard copy and on
an IBM-readable floppy) via regular mail, to the following address:

'Cognitive Typology Conference'
p/a Jan Nuyts
University of Antwerp
Linguistics (GER)
Universiteitsplein 1
B-2610 Wilrijk
fax: 0032/3/820.27.62

You will be notified of whether your submission has been accepted by
December 15, 1999.

A selection of the papers presented at the conference will be published
by the organizers.

Information regarding the venue of the conference, accommodation, and
social events (conference dinner on Thursday evening, April 13), will be
provided later via our website (currently under construction).

Conference fee:
regular participant 1500 BEF/40EURO/40USD
students/unemployed 750BEF/20EURO/20USD

The fee is payable in one of the following ways:

(i) By means of a (barred) Eurocheque, made payable to 'Cognitive
Typology Conference'.

(ii) By means of a bank transfer into account number 413-6196681-87
(KBC-Bank Belgium) of the 'Cognitive Typology Conference'. If the
transfer is international (i.e. from outside of Belgium), you should add
300BEF/8EURO/8USD to the amount due, to cover the costs charged by
the bank for handling the transfer.

(iii) Payment on site (only in Belgian Francs).
If you wish to pay by means of (i) or (ii), your payment should reach us
no later than April 1, 2000.

If you are intending to participate or are interested in receiving further
information, please return the pre-registration form below asap (unless
you have already done so in reaction to the first call for papers).

 Pre-registration form
April 12-14, 2000 - University of Antwerp (UIA), Belgium



I intend to participate: yes/no
I intend to present a paper: yes/no

Jan Nuyts					phone: 32/3/820.27.73
University of Antwerp				fax: 32/3/820.27.62
Linguistics					email:
Universiteitsplein 1
B-2610 Wilrijk - Belgium
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue