Subject: TAPD'98 -- Call for Participation
From: Eric Villemonte de la Clergerie <Eric.De_La_Clergerie@inria.fr>
To: elsnet-list@let.ruu.nl
Date: 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.
-- ---------------------------------------------------------