Eric Villemonte de la Clergerie (Eric.Clergerie@inria.fr)
Fri, 07 Nov 1997 14:14:18 +0100
(Please, accept our apologies if you receive this message more than once.) PLEASE, DISTRIBUTE WIDELY ---------------------------------------------------------------------- TAPD'98 1st Workshop on 'Tabulation in Parsing and Deduction' ---------------------------------------------------------------------- April 2-3, 1998 Paris, France Organized by INRIA in collaboration with CEDRIC of CNAM WEB page: http://pauillac.inria.fr/~clerger/tapd.html 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. In addition, tabulation also offers more flexibility to investigate new parsing or proof strategies and to represent ambiguity by shared structures (Shared Proof or Parse Forest). 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. One major area of application is Natural Language Processing, where tabulation has been known for a long time (CKY, Earley, chart parsing). However, sophisticated tabulation techniques are required for the more and more complex grammatical formalisms now used in NLP (unification, constraints, structural complexity). Contributions in other areas, such as picture parsing, genome analysis, or complete deduction techniques, are also encouraged. 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 2-day event that provides a forum for individual presentations of the accepted contributions as well as group discussions. SUBMISSION PROCEDURE: Authors are invited to submit before December 12, 1997 a 4-page position paper or abstract concerning a theoretical contribution or a system to be presented. Due to tight time constraints, submissions will be handled exclusively electronically (LaTeX, PostScript, dvi or ascii format). Submissions should include the title, authors' names, affiliations, addresses, and e-mail. Submissions must be sent to Eric.Clergerie@inria.fr The collection of selected papers will be available at the workshop. After the workshop, authors are invited to submit a full paper for publication in a special issue of the Journal of Logic Programming oriented towards Natural Language Processing. The authors should note that this second submission will be treated according to the standards of the Journal of Logic Programming. SCHEDULE: Submission of contributions: 12 December 1997 Notification of acceptance: 26 January 1998 Final versions due: 20 February 1998 PROGRAM COMMITTEE: Bernard Lang (chairman) -- INRIA, France Francois Bry -- University of Munich, Germany Eric de la Clergerie -- INRIA, France Marc Dymetman -- Xerox, France Mark Johnson -- Brown University, USA Baudouin Le Charlier -- University of Namur, Belgium Mark Jan Nederhof -- University of Groningen, NL David Rosenblueth -- University of Mexico, Mexico Manuel Vilares -- University of La Coruna, Spain David S. Warren -- University of New York at Stony Brook, USA ORGANIZING COMMITTEE: Francois Barthelemy -- CNAM, Paris, France Eric de la Clergerie -- INRIA, Rocquencourt, France Bernard Lang -- INRIA, Rocquencourt, France Manuel Vilares -- University of La Coruna, Spain LOCAL ORGANIZATION: Claudie Thenault -- INRIA, Relations Exterieures, France ORGANIZATION: Up-to-date information will be available at http://pauillac.inria.fr/~clerger/tapd.html For request, please contact: Eric de la Clergerie INRIA Rocquencourt Tel: +33 1 39 63 54 10 Domaine de Voluceau - BP 105 Fax: +33 1 39 63 53 30 78153 Le Chesnay Cedex E-mail: Eric.Clergerie@inria.fr
This archive was generated by hypermail 2.0b3 on Fri Dec 18 1998 - 20:36:10 PST