Appel: TAPD-2000

[Philippe Blache]

From: "Miguel A. Alonso Pardo" <alonso at dc.fi.udc.es>

======================================================================
                        Final CALL FOR PAPERS
----------------------------------------------------------------------
                              TAPD 2000
        2nd Workshop on 'Tabulation in Parsing and Deduction'
----------------------------------------------------------------------

                         September 19-21 2000
                             Vigo, Spain

                  Sponsored by University of Vigo

                        with the support of

                        Caixa Vigo e Ourense

                      Logic Programing Associates

               http://coleweb.dc.fi.udc.es/tapd2000/


Following TAPD'98 in Paris (France) next TAPD event will be held in
Vigo (Spain) in September, 2000. The conference will be previous to
SEPLN 2000 (http://coleweb.dc.fi.udc.es/sepln2000/), the conference
of the Spanish Society for Natural Language Processing.

MOTIVATIONS:

Tabulation techniques are becoming a common way to deal with highly
redundant computations occurring, for instance, in Natural Language
Processing, Logic Programming, Deductive Databases, or Abstract
Interpretation, and related to phenomena such as ambiguity,
non-determinism or domain ordering.

Different approaches, including for example Chart Parsing, Magic-Set
rewriting, Memoization, and Dynamic Programming, have been proposed
whose key idea is to keep traces of computations to achieve
computation sharing and loop detection. Tabulation also offers more
flexibility to investigate new parsing or proof strategies and to
represent ambiguity by shared structures.

The first objective of this workshop is to compare and discuss these
different approaches. The second objective is to present tabulation
and tabular systems to potential users in different application
areas such as natural language processing, picture parsing, genome
analysis, or complete deduction techniques.

TOPICS (not exclusive):

 -- Tabulation Techniques:
    Chart Parsing, Tabling, Memoization, Dynamic Programming,
    Magic Set, Generic Fix-Point Algorithms
 -- Applications:
    Parsing, Generation, Logic Programming, Deductive Databases,
    Abstract Interpretation, Deduction in Knowledge Bases, Theorem Proving
 -- Static Analysis:
    Improving tabular evaluation
 -- Parsing or resolution strategies.
 -- Efficiency issues:
    Dealing with large tables (structure sharing, term indexing),
    Execution models, Exploiting the domain ordering (subsumption).
 -- Shared structures (parse or proof forest):
    Formal analysis, representation and processing.

WORKSHOP FORMAT:

The workshop will be a 3-day event that provides a forum for
individual presentations of the accepted contributions as well as
group discussions.

INVITED SPEAKERS:

  Bharat Jayaraman       -- Univ. of New York at Buffalo,  US
  I.V. Ramakrishnan      -- Univ. New York at Stony Brook, US

SUBMISSION PROCEDURE:

Authors are invited to submit before April 28 a 4-page position
paper or abstract concerning a theoretical contribution or a system to
be presented. Due to tight time constraints, submission and reviewing
will be handled exclusively electronically (LaTeX, PostScript, dvi or
ascii format). Submission should include the title, authors' names,
affiliations, addresses, and e-mail.

The submissions must be sent to David S. Warren (warren at cs.sunysb.edu) in
gziped encoded postscript.

SCHEDULE:

    Submission of contributions:            April 28, 2000
    Notification of acceptance:             June 1,   2000
    Final versions due:                     June 30,  2000

PROGRAM COMMITTEE CHAIR:

  David S. Warren        -- Univ. New York at Stony Brook, US

PROGRAM COMMITTEE:

  Francois Bry           -- Univ. Munich,                  Germany
  Manuel Carro           -- Univ. Polit. Madrid,           Spain
  Eric de la Clergerie   -- INRIA,                         France
  Veronica Dahl          -- Univ. Simon Fraser,            Canada
  Baudouin Le Charlier   -- Univ. Namur,                   Belgium
  Mark Jan Nederhof      -- DFKI,                          Germany
  Luis M. Pereira        -- Univ. Nova de Lisboa,          Portugal
  Martin Rajman          -- EPFL,                          Switzerland
  Domenico Sacca         -- Univ. della Calabria,          Italy
  Kostis Sagonas         -- Univ. Uppsala,                 Sweden
  David Shasha           -- Univ. New York,                US
  Terrance Swift         -- Univ. New York at Stony Brook, US
  Manuel Vilares         -- Univ. Vigo,                    Spain
  David Weir             -- Univ. Sussex,                  UK

ORGANIZING COMMITTEE CHAIR:

  Manuel Vilares         -- Univ. Vigo,                    Spain

ORGANIZING COMMITTEE:

  Miguel A. Alonso       -- Univ. Coruna,                  Spain
  Eric de la Clergerie   -- INRIA,                         France
  David Cabrero          -- Univ. Vigo,                    Spain
  Victor M. Darriba      -- Univ. Coruna,                  Spain
  David Olivieri         -- Univ. Vigo,                    Spain
  Francisco J. Ribadas   -- Univ. Coruna,                  Spain
  Leandro Rodriguez      -- Univ. Vigo,                    Spain

PUBLICATION:

Papers accepted by the Program Committee must be presented at the
conference and will appear in a proceedings volume.  The format for
camera-ready manuscripts will be available from the web page of the
event.

LOCATION:

Auditorio del Centro Cultural Caixavigo e Ourense
Marques de Valladares
Vigo, Spain

FURTHER INFORMATION:

For further details consult http://coleweb.dc.fi.udc.es/tapd2000/,
or contact

TAPD'2000 Secretariat
Escuela Superior de Ingeniería Informática
Campus as Lagoas, s/n
32004 Ourense
Spain

E-mail: tapd-secret at ei.uvigo.es
Fax: +34 988 387001

___________________________________________________________________
Message diffusé par la liste Langage Naturel <LN at cines.fr>
Informations, abonnement : http://www.biomath.jussieu.fr/LN/LN-F/
English version          : http://www.biomath.jussieu.fr/LN/LN/
Archives                 : http://web-lli.univ-paris13.fr/ln/