Eric Villemonte de la Clergerie (Eric.De_La_Clergerie@inria.fr)
Tue, 10 Feb 1998 14:58:01 +0100
(Please, accept our apologies if you receive this message more than once.) PLEASE, DISTRIBUTE WIDELY PRELIMINARY PROGRAM AND REGISTRATION INFORMATION -- --------------------------------------------------------- Tabulation in Parsing and Deduction TAPD'98 April 2-3, 1998 Paris, France Organized by INRIA in collaboration with CEDRIC of CNAM INFORMATION: http://pauillac.inria.fr/~clerger/tapd.html or Eric.De_La_Clergerie@inria.fr The first workshop on "Tabulation in Parsing and Deduction" will take place in Paris at "Conservatoire National des Arts et Metiers" (CNAM). 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). INVITED SPEAKERS: Mark Johnson -- Brown University (USA) David S. Warren -- Stony Brook University of New York (USA) REGISTRATION: Please use either the WEB form found at the conference home page or send or email the ascii form at the end of this message. -- --------------------------------------------------------- PRELIMINARY PROGRAM Thursday 2nd April -- --------------- 08h30 - 9h15 Registration 09h15 - 09h30 Welcome 09h30 - 10h30 Invited Talk Memoization in Constraint Logic Programming Mark Johnson, Brown University (USA) 11h00 - 12h30 Session ``Parsing TAGs'' Linear Indexed Automata and Tabulation of TAG Parsing M.-J. Nederhof Elementary Tree Representation V. Diaz, V. Carrillo, M. Toro Grammar Compaction and Computation Sharing in Automata-based Parsing J. Carroll, N. Nicolov, M. Smets, O. Shaumyan, D. Weir 14h00 - 16h00 Session ``Generation & Systems'' Parsing and Generation with Tabulation and Compilation K. Hasida, T. Miyata A Method for Preserving Ambiguities in Chart Generation H. Shemtov GALENA: Tabular DCG Parsing for Natural Languages M. Vilares Ferro, M.A. Alonso Pardo, J. Grana Gil, D. Cabreno Souto Partial Parsing, Deduction and Tabling V. Rocio, J. G. Lopes 16h15 - 18h00 System Session 20h00 Banquet Friday 3rd April -- ------------- 09h00 - 10h00 Invited Talk Programming with Tabling in XSB David S. Warren, University of New York at Stony Brook (USA) 10h30 - 12h30 Session ``Deduction'' Scheduling in SLG Revisited J. Freire, T. Swift, D. S. Warren A General Tabulation Procedure for Extended Constraint Logic Programs C. Viegas Damasio, L. Moniz Pereira Tabling Abduction J. J. Alferes, L. Moniz Pereira Tabulation-based Induction Proofs with Application to Automated Verification A. Roychoudhury, C.R. Ramakrishnan, I.V. Ramakrishnan, S.A. Smolka 12h30 - 13h00 Discussion 14h30 - 16h00 Session ``New frontiers in Parsing'' A Chart-like Parser for Context Sensitive Grammars A.G. Manousopoulou, G. Papakonstantinou, P. Tsanakas Bounded Fixed-Point Definability and Tabular Recognition of Languages H. Leiss Linear Categorial Deduction via First-order Compilation M. Hepple 16h15 - 17h45 Session ``Abstract Interpretation & Probabilities'' On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems G. Janssens, K. Sagonas A Tabular Method of finding the Optimal Word String together with its Dependency Structure K. Ozeki A Generalized CYK Algorithm for Parsing Stochastic CFG J.-C. Chappelier, M. Rajman -- --------------------------------------------------------- TAPD'98 Registration form Please, send this form to: INRIA Rocquencourt Relations Exterieures / Cours-Colloques Claudie Thenault BP 105 - 78153 Le Chesnay Cedex (France) email: symposia@inria.fr or register via the TAPD homepage: http://pauillac.inria.fr/~clerger/tapd.html Name: ________________________________________ First name: ________________________________________ Title: ________________________________________ Company: ________________________________________ Address: ________________________________________ State: ________________________________________ Country: ________________________________________ Telephone: ________________________________________ Fax: ________________________________________ E-mail: ________________________________________ Registration fee (20,6% VAT included) (_) Non students 800 FF (approx. US$ 130) (_) Students 400 FF (approx. US$ 65) (_) Banquet ticket(s) 250FF (approx. US$ 40) The registration fees include the proceedings and coffee-breaks. Meals and accommodation are not included. Payment of registration fees is to be made in French currency only and either (_) By order form (1) (_) By check (2) (_) By bank transfer (3) (_) By credit card on site only (VISA/EUROCARD/MASTERCARD) (1) The purchase order should be enclosed with the registration form. (2) Check in French Francs, made payable to the Agent comptable de l'INRIA, and enclosed with the registration form. (3) Bank transfer (with your name and mention of TAPD'98), to: Tresorerie Generale des Yvelines 16, avenue de St Cloud 78018 Versailles Cedex Account: 10071-78000-00003003958-80 Bank code: 10071 Branch code: 78000 Account number: 00003003958; Key: 80 Cancellation: Registration fees will not be reimbursed in case of late cancellation, i.e. after Mars 20 1998. -- ---------------------------------------------------------
This archive was generated by hypermail 2.0b3 on Fri Dec 18 1998 - 20:38:17 PST