11.1330, Confs: Tabulation in Parsing and Deduction (TAPD 2000)
The LINGUIST Network
linguist at linguistlist.org
Thu Jun 15 00:32:54 UTC 2000
LINGUIST List: Vol-11-1330. Wed Jun 14 2000. ISSN: 1068-4875.
Subject: 11.1330, Confs: Tabulation in Parsing and Deduction (TAPD 2000)
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: Ljuba Veselinova, Stockholm U. <ljuba at linguistlist.org>
Scott Fults, E. Michigan U. <scott at linguistlist.org>
Jody Huellmantel, Wayne State U. <jody at linguistlist.org>
Karen Milligan, Wayne State U. <karen at linguistlist.org>
Assistant Editors: Lydia Grebenyova, E. Michigan U. <lydia at linguistlist.org>
Naomi Ogasawara, E. Michigan U. <naomi at linguistlist.org>
James Yuells, Wayne State U. <james at linguistlist.org>
Software development: John Remmers, E. Michigan U. <remmers at emunix.emich.edu>
Sudheendra Adiga, Wayne State U. <sudhi at linguistlist.org>
Qian Liao, E. Michigan U. <qian at linguistlist.org>
Home Page: http://linguistlist.org/
The LINGUIST List is funded jointly by Eastern Michigan University,
Wayne State University, and donations from subscribers and publishers.
Editor for this issue: Jody Huellmantel <jody at linguistlist.org>
==========================================================================
Please keep conferences announcement as short as you can; LINGUIST
will not post conference announcements which in our opinion are
excessively long.
=================================Directory=================================
1)
Date: Wed, 14 Jun 2000 11:46:43 +0200
From: "Miguel A. Alonso Pardo" <alonso at udc.es>
Subject: 2nd Workshop on Tabulation in Parsing and Deduction (TAPD 2000)
-------------------------------- Message 1 -------------------------------
Date: Wed, 14 Jun 2000 11:46:43 +0200
From: "Miguel A. Alonso Pardo" <alonso at udc.es>
Subject: 2nd Workshop on Tabulation in Parsing and Deduction (TAPD 2000)
======================================================================
CALL FOR PARTICIPATION
- --------------------------------------------------------------------
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
and Logic Programing Associates
http://coleweb.dc.fi.udc.es/tapd2000/
Following TAPD'98 in Paris (France), TAPD 2000 will be held in Vigo
(Spain), from September 19 to September 21. The workshop will be
previous to SEPLN 2000 http://coleweb.dc.fi.udc.es/sepln2000/ , the
conference of the Spanish Society for Natural Language Processing.
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. The workshop will include talks on
a number of topics, including:
-- 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 and 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.
as well as presentations by our invited speakers:
-- Bharat Jayaraman (State Univ. of New York at Buffalo, USA)
-- I.V. Ramakrishnan (State Univ. of New York at Stony Brook, USA)
(See program below.)
Information about participation and registration and an online
registration form are available at
http://coleweb.dc.fi.udc.es/tapd2000/
- ----------------------------------------------------------------------
PRELIMINARY PROGRAM:
In addition to the invited talks
- "Applications of Tabled Logic Programming"
by I.V. Ramakrishnan
- "Preference Logic Grammars"
by Bharat Jayaraman
the following accepted papers will be presented by authors:
- "A Distributed Tabling System"
by C. Damasio
- "A formal definition of Bottom-Up Embedded Push-Down Automata and
their tabulation technique"
by M.A. Alonso, E. de la Clergerie and M. Vilares
- "A New Tabling Scheme with Dynamic Ordering of Alternatives"
by Hai-Feng Guo and Gopal Gupta
- "A Proposal on Error Repair"
by M. Vilares, V.M. Darriba and F.J. Ribadas
- "An Architecture for Multi-Threaded Tabled Engine"
by R. Marques, T. Swift and J. Cunha
- "Comparing Tabular Parsers for Tree Adjoining Grammars"
by V.J. Diaz and M.A. Alonso
- "Improving Constructive Synthesizers by Tabulation Techniques and
Domain Ordering"
by F.J. Galan and J.M. Canete
- "Interfacing a Tabled-WAM to a Dual-Mode Tabling Subsystem"
by E. Johnson
- "Logic Programming Optimizations for Faster Model Checking"
by Y. Dong and C.R. Ramakrishnan
- "Pattern Matching as Dynamic Facility to get Aboutness"
by M. Vilares, F.J. Ribadas and V.M. Darriba Bilbao
- "Shared Forest can Guide Parsing"
by F. Barthelemy, P. Boullier, P. Deschamp and E. de la Clergerie
- "Symbolic Bisimulation using Tabled Constraint Logic Programming"
by M. Mukund, C.R. Ramakrishnan, I.V. Ramakrishnan and R. Verma
- "Syntactic Dependency Graph: A Compact representation of
Alternative Dependency Structures"
by T. Obrebski
- "YapTab: A Tabling Engine Designed to Support Parallelism"
by R. Rocha, F. Silva and V. Santos
- ----------------------------------------------------------------------
PROGRAM COMMITTEE:
David S. Warren (chair) -- Univ. New York at Stony Brook, USA
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, USA
Terrance Swift -- Univ. New York at Stony Brook, USA
Manuel Vilares -- Univ. Vigo, Spain
David Weir -- Univ. Sussex, UK
- ----------------------------------------------------------------------
PREVIOUS TAPD WORKSHOPS:
TAPD'98 (Paris, France) http://atoll.inria.fr/~clerger/tapd.html
- ----------------------------------------------------------------------
FOR MORE 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
---------------------------------------------------------------------------
LINGUIST List: Vol-11-1330
More information about the LINGUIST
mailing list