10.1581, Calls: Modal Logic/Temporal Logic, Cognitive Typology

[LINGUIST Network]

LINGUIST List:  Vol-10-1581. Thu Oct 21 1999. ISSN: 1068-4875.

Subject: 10.1581, Calls: Modal Logic/Temporal Logic, Cognitive Typology

Moderators: Anthony Rodrigues Aristar: Wayne State U.<aristar at linguistlist.org>
            Helen Dry: Eastern Michigan U. <hdry at linguistlist.org>
            Andrew Carnie: U. of Arizona <carnie at linguistlist.org>

Reviews: Andrew Carnie: U. of Arizona <carnie at linguistlist.org>

Associate Editors:  Martin Jacobsen <marty at linguistlist.org>
                    Ljuba Veselinova <ljuba at linguistlist.org>
		    Scott Fults <scott at linguistlist.org>
		    Jody Huellmantel <jody at linguistlist.org>
		    Karen Milligan <karen at linguistlist.org>

Assistant Editors:  Lydia Grebenyova <lydia at linguistlist.org>
		    Naomi Ogasawara <naomi at linguistlist.org>
		    James Yuells <james at linguistlist.org>

Software development: John H. Remmers <remmers at emunix.emich.edu>
                      Chris Brown <chris at linguistlist.org>
                      Qian Liao <qian at linguistlist.org>

Home Page:  http://linguistlist.org/


Editor for this issue: Jody Huellmantel <jody at linguistlist.org>
 ==========================================================================

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

=================================Directory=================================

1)
Date:  Thu, 21 Oct 1999 22:15:25 +0200 (MET DST)
From:  mdr at wins.uva.nl (Maarten de Rijke)
Subject:  AiML-ICTL 2000: First Call for Papers

2)
Date:  Thu, 21 Oct 1999 09:34:06 +0200 (MET DST)
From:  "Jan.Nuyts" <nuyts at uia.ua.ac.be>
Subject:  International Cognitive Typology Conference

-------------------------------- Message 1 -------------------------------

Date:  Thu, 21 Oct 1999 22:15:25 +0200 (MET DST)
From:  mdr at wins.uva.nl (Maarten de Rijke)
Subject:  AiML-ICTL 2000: First Call for Papers


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
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.

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

INVITED SPEAKERS
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)

PAPER SUBMISSION
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.

PUBLICATION DETAILS
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.

PROGRAM COMMITTEE
  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

PROGRAM CHAIR
  Heinrich Wansing,
  Dresden University of Technology,
  Institute of Philosophy,
  01062 Dresden, Germany,
  E-mail: <wansing at Rcs1.urz.tu-dresden.de>
  Phone: +49 351 463 5489
  Fax: +49 351 463 6068

LOCAL ORGANIZERS
  Frank Wolter, Leipzig            Holger Sturm, Leipzig

IMPORTANT DATES
  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

FURTHER INFORMATION
E-mail enquiries about AiML-ICTL 2000 should be directed to
<wolter at informatik.uni-leipzig.de>. Information about AiML can be obtained
on the World-Wide Web at http://www.illc.uva.nl/~mdr/AiML/


-------------------------------- Message 2 -------------------------------

Date:  Thu, 21 Oct 1999 09:34:06 +0200 (MET DST)
From:  "Jan.Nuyts" <nuyts at uia.ua.ac.be>
Subject:  International Cognitive Typology Conference

         Second (and final) call for papers

  INTERNATIONAL CONFERENCE ON 'COGNITIVE TYPOLOGY'

                  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,
     Nijmegen)

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
Belgium
fax: 0032/3/820.27.62
email: nuyts at uia.ua.ac.be

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
  INTERNATIONAL CONFERENCE ON 'COGNITIVE TYPOLOGY'
April 12-14, 2000 - University of Antwerp (UIA), Belgium


Name:
Address:

Phone/Fax:
Email:

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: nuyts at uia.ua.ac.be
Universiteitsplein 1
B-2610 Wilrijk - Belgium

---------------------------------------------------------------------------
LINGUIST List: Vol-10-1581