(Version francaise en seconde partie de ce message) ====================================================================== CALL FOR PAPERS ---------------------------------------------------------------------- TAPD'98 1st Workshop on 'Tabulation in Parsing and Deduction' ---------------------------------------------------------------------- April 2-3, 1998 Paris, France Sponsored by INRIA WEB page: http://pauillac.inria.fr/~clerger/tapd.html GENERAL TOPIC 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 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 Eric de la Clergerie at Eric.Clergerie@inria.fr 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 at Munich, Germany Eric de la Clergerie -- INRIA, France Marc Dymetman -- Xerox, France Mark Johnson -- Brown University, US Baudouin Le Charlier -- University at Namur, Belgium Mark Jan Nederhof -- University at Groningen, NL David Rosenblueth -- University at Mexico, Mexico Manuel Vilares -- University at La Coruna, Spain David S. Warren -- University at Stony Brook, US 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 ORGANISATION: The organisation of the workshop is still subject to modification. Up-to-date information will be provided on request and be available at http://pauillac.inria.fr/~clerger/tapd.html For any information related to the organisation, 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 ====================================================================== Appel à Communications ---------------------------------------------------------------------- TAPD'98 Premier colloque 'Tabulation en Analyse Syntaxique et Déduction' (Tabulation in Parsing and Deduction) 2-3 Avril 1998 Paris, France ---------------------------------------------------------------------- Sous le patronage scientifique de l'INRIA Page WEB: http://pauillac.inria.fr/~clerger/tapd.html THEME GENERAL: Les techniques de tabulation deviennent d'emploi courant pour gérer les calculs hautement redondants que l'on rencontre, par exemple, lors du traitement des langues naturelles, de programmes logiques, bases de données déductives ou en interprétation abstraite et qui relèvent de phénomènes tels que l'ambiguïté, le non-déterminisme ou l'utilisation de domaines de calcul ordonnés. Les analyseurs à charte (Chart Parsing), les transformations Magic-Set, la ``mémoization'' ou la programmation dynamique sont quelques approches possibles de la tabulation. Leur caratéristique première consiste à garder des traces des calculs pour partager les calculs et détecter les boucles. La tabulation apporte également plus de flexibilité pour étudier de nouvelles stratégies d'analyse syntaxique ou de preuve et permet de capturer les ambiguïtés au sein de structures partagées (forêts d'analyse ou de preuve). Le premier objectif de cette rencontre est de comparer et discuter les différentes approches. Le second objectif est de présenter l'idée de tabulation et des systèmes tabulaires aux utilisateurs intéressés. Le principal domaine d'application concerne le traitement des langues naturelles. La tabulation y est connue depuis longtemps (chartes, CKY) mais doit faire face à l'évolution actuelle vers des formalismes linguistiques complexes (unification, contraintes, complexité structurelle). Nous encourageons aussi toute contribution portant sur d'autres domaines d'application, comme l'analyse d'images, l'analyse du génome ou nécessitant des techniques complètes de déduction. THEMES (non limitatif) -- Techniques de Tabulation: Chart Parsing,``Tabling'', Memoization, Programmation Dynamique, Magic Set, Point-Fixes Génériques -- Applications: Analyse Syntaxique, Programmation Logique, Bases de Données Déductives, Interprétation Abstraite, Déduction pour les Bases de Connaissances, Démonstration Automatique -- Analyse Statique: Améliorer la tabulation -- Stratégies d'analyse ou de résolution -- Mise en Oeuvre Gestion de tables (partage de structures, indexation de termes), Modèles d'exécution Exploitation de domaines ordonnés (subsumption) -- Structures partagées (forêts d'analyse ou de preuve): Analyse formelle, représentation, traitement. FORMAT DE LA RENCONTRE: La rencontre d'une durée de deux jours consistera en des présentations individuelles des contributions retenues et des discussions de groupe. PROCEDURE DE SOUMISSION: Les auteurs sont invités à soumettre avant le 12 Décembre un résumé de 4 pages concernant soit une contribution théorique ou un système à présenter. Vu nos contraintes serrées de calendrier, les soumissions seront exclusivement gérées électroniquement (formats LaTeX, PostScript, dvi ou ascii). Les soumissions devront inclure titre, noms des auteurs, affiliations, adresses courriers et électroniques, et être envoyées à Eric de la Clergerie (Eric.Clergerie@inria.fr) CALENDRIER: Soumission des contributions 12 Décembre 1997 Notification d'acceptation 26 Janvier 1998 Réception des versions finales 20 Février 1998 COMITE DE LECTURE Bernard Lang (président) -- INRIA, France Francois Bry -- Université de Munich, Germany Eric de la Clergerie -- INRIA, France Marc Dymetman -- Xerox, France Mark Johnson -- Brown University, US Baudouin Le Charlier -- Université de Namur, Belgique Mark Jan Nederhof -- Université de Groningen, NL David Rosenblueth -- Université de Mexico, Mexique Manuel Vilares -- Université de La Corogne, Espagne David S. Warren -- Université de Stony Brook, US COMITE D'ORGANISATION Francois Barthelemy -- CNAM, Paris, France Eric de la Clergerie -- INRIA, Rocquencourt, France Bernard Lang -- INRIA, Rocquencourt, France Manuel Vilares -- Université de La Corogne, Espagne ORGANISATION: L'organisation de cette rencontre est encore sujet à modification. Des mises à jours seront disponibles sur http://pauillac.inria.fr/~clerger/tapd.html Pour toute demande d'information concernant l'organisation de cette rencontre, vous pouvez aussi contacter: 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