12.2925, Calls: Discourse Anaphora,M4M-2 Methods for Modalities

LINGUIST List linguist at linguistlist.org
Sun Nov 25 03:44:52 UTC 2001 

LINGUIST List:  Vol-12-2925. Sat Nov 24 2001. ISSN: 1068-4875.

Subject: 12.2925, Calls: Discourse Anaphora,M4M-2 Methods for Modalities

Moderators: Anthony 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 (reviews at linguistlist.org):
	Simin Karimi, U. of Arizona
	Terence Langendoen, U. of Arizona

Editors (linguist at linguistlist.org):
	Karen Milligan, WSU 		Naomi Ogasawara, EMU
	Jody Huellmantel, WSU		James Yuells, WSU
	Michael Appleby, EMU		Marie Klopfenstein, WSU
	Ljuba Veselinova, Stockholm U.	Heather Taylor-Loring, EMU
	Dina Kapetangianni, EMU		Richard Harvey, EMU
	Karolina Owczarzak, EMU		Renee Galvis, WSU

Software: John Remmers, E. Michigan U. <remmers at emunix.emich.edu>
          Gayathri Sriram, E. Michigan U. <gayatri at linguistlist.org>

Home Page:  http://linguistlist.org/

The LINGUIST List is funded by Eastern Michigan University, Wayne
State University, and donations from subscribers and publishers.



Editor for this issue: Dina Kapetangianni <dina 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:  Mon, 19 Nov 2001 15:05:03 +0000
From:  Antonio Branco <daarc2002 at di.fc.ul.pt>
Subject:   Discourse Anaphora and Anaphor Resolution (DAARC2002)

2)
Date:  Tue, 20 Nov 2001 16:18:49 +0100
From:  Methods for Modalities <m4m at science.uva.nl>
Subject:  M4M-2: Call for Participation

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

Date:  Mon, 19 Nov 2001 15:05:03 +0000
From:  Antonio Branco <daarc2002 at di.fc.ul.pt>
Subject:   Discourse Anaphora and Anaphor Resolution (DAARC2002)


                   FIRST CALL FOR PAPERS

              The 4th International Conference on
          Discourse Anaphora and Anaphor Resolution
                        (DAARC2002)

          University of Lisbon, Faculty of Sciences
                  September 18 - 20, 2002


   Organisers: Antonio Branco, Tony McEnery and Ruslan Mitkov

Following the success of the previous international colloquia
on Discourse Anaphora and Anaphor Resolution at Lancaster
in 1996, 1998 and 2000, the next colloquium in the series will
take place in Lisbon in 2002.

DAARC2002 aims to continue the trend set by the previous DAARC
events, which brought together a wide variety of research on
discourse anaphora and anaphor resolution. Our goal will be
to review this diverse field and consider the results obtained
in recent years.

The DAARC2002 colloquium will take place on the 18-20th September
2002 in Lisbon, Portugal. We would like to invite anyone currently
researching in the areas of discourse anaphora and anaphor
resolution, from any methodological perspective or framework,
to submit a paper for DAARC2002. The closing date for submission
is 1/4/02. Notification of acceptance will be sent by 13/5/02.
Selected papers are expected by 15/6/02 to be included in the
proceedings.

Please send abstracts of no more than 200 words to the DAARC2002
organisers at the following email address:

daarc2002 at di.fc.ul.pt

If you prefer to send an abstract by surface mail, please send
a paper copy of your abstract to the following address:

Prof Antonio Branco,
DAARC2002
Universidade de Lisboa
Faculdade de Ciencias
Departmento de Informatica
Campo Grande
1700 Lisboa
Portugal



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

Date:  Tue, 20 Nov 2001 16:18:49 +0100
From:  Methods for Modalities <m4m at science.uva.nl>
Subject:  M4M-2: Call for Participation


FINAL CALL FOR PARTICIPATION

METHODS FOR MODALITIES 2 (M4M-2)

Institute for Logic, Language and Computation
University of Amsterdam
November 29-30, 2001
http://www.science.uva.nl/~m4m

THEME
The workshop Methods for Modalities (M4M) aims to bring together
researchers interested in developing proof tools and reasoning methods for
modal logic broadly conceived, including description logic, hybrid logics,
feature logic, temporal logic, etc.

SPECIAL FEATURES
To stimulate interaction and transfer of expertise, M4M will be centered
around a number of long presentations by leading researchers; these
presentations aim to provide both the general background and inside
information in a number of key areas.  To complement these, we are inviting
submissions of short, focussed presentations aimed at highlighting new
developments and applications, and submissions of system demonstrations.
M4M-2 is the second installment of this bi-anual workshop series.

PROGRAM
The following people have agreed to give long presentations:
 * Ed Brinksma (on applications of formal methods)
 * Marta Cialdea Mayer (on quantified modal logic and tableaux methods)
 * Enrico Franconi (on tools for knowledge engineering)
 * Joe Halpern (to be announced)
 * Fabio Massacci (on testing of automated deduction systems)
 * Wolfgang Thomas (on automata theory and model checking)

In addition, there will be demonstration sessions, and short presentations
of contributed papers. The complete program is available at
http://turing.wins.uva.nl/~m4m/M4M2/program.html

REGISTRATION
The early registration fee for M4M is 125 Dutch guilders;
the fee includes 2 lunches, coffee and tea services as well as a copy
of the informal workshop proceedings. To register, please visit the
registration page.  To register for the workshop, please visit the
registration page at

   http://www.science.uva.nl/~m4m/M4M2/registration.html

The deadline for early registrations is November 21st, 2001. After this date
the registration fee will be doubled. Information about
accommodation is available on the registration page; you're advised to
arrange accommodation asap---affordable rooms are very hard to get.


PROGRAM COMMITTEE
The program committee for M4M consists of
  Carlos Areces, ILLC, The Netherlands (co-chair),
  Stephane Demri, LSV, ENS de Cachan and Lab. LEIBNIZ, France,
  Joseph Halpern, Cornell University, USA,
  Ian Horrocks, University of Manchester, United Kingdom,
  Joost-Pieter Katoen, University of Twente, The Netherlands,
  Maarten de Rijke, ILLC, The Netherlands (co-chair),
  Holger Schlingloff, University of Bremen, Germany,
  Renate Schmidt, University of Manchester, United Kingdom.

IMPORTANT DATES
 * Deadline for early registration: November 21, 2001
 * Workshop dates: November 29-30, 2001

FURTHER INFORMATION
Please visit http://www.science.uva.nl/~m4m for further information about M4M.

-



---------------------------------------------------------------------------
LINGUIST List: Vol-12-2925

More information about the LINGUIST mailing list