====================================================================== 2nd 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 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. 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@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@ei.uvigo.es Fax: +34 988 387001