Univ. of Vigo

TAPD 2000

Vigo, Spain
September, 19-21, 2000



TAPD 2000

  • Motivations
  • Topics
  • CFP
  • Format
  • Submission
  • Dates
  • More info

    Committee

  • Program
  • Organizing

    Camera Ready

    Invited Talks

  • Bharat Jayaraman
  • I.V. Ramakrishnan

    Program

  • Overview
  • Tuesday, 19
  • Wednesday, 20
  • Thursday, 21

    Registration Form

    Other Information

  • Conference Site
  • How to arrive at Vigo
  • Hotels
  • Tourism

    Page updating dates





    • Tabulation in Parsing and Deduction

    Vigo, Spain
    September, 19-21, 2000
    Organized by University of Vigo
    with the support of Caixa Vigo e Ourense & Logic Programing Associates & Xunta de Galicia

    Program

    Overview
    Tuesday, 19
    Wednesday, 20
    Thursday, 21

    Overview

    Tuesday, 19 Wednesday, 20 Thursday, 21
    8:30 Registration
    9:30 Welcome
    		 Registration
    10:00 Invited Talk
    I. V. Ramakrishnan    		 Invited Talk
    Bharat Jayaraman
    10:30 Registration
    11:00 Session on Model Checking
    		 Session on Parsing (I)
    		 Session on Tabling Implementations
    12:00 Coffee-break Coffee-break Coffee-break
    12:30 Session on Abstract Interpretation
    		 Session on Parsing (II)
    		 Session on Shared Forests
    13:30 Lunch Lunch Closing


    16:00 Session on Distribution and Parallelism Excursion


    22:00 Conference dinner

    Tuesday, 19 September 2000

    8:30 Registration
    9:30 Welcome
    10:00 Invited Talk
    Applications of Tabled Logic Programming
    I. V. Ramakrishnan
      Session on Model Checking
    Chair:
    11:00 Logic Programming Optimizations for Faster Model Checking
    Y. Dong and C. R. Ramakrishnan
    11:30 Model Checking Linear Temporal Logic Using Tabled Logic Programming
    R. Pokorny and C.R. Ramakrishnan
    12:00 Coffee-break
      Session on Abstract Interpretation
    Chair:
    12:30 Symbolic Bisimulation using Tabled Constraint Logic Programming
    M. Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan and R. Verma
    13:00 Improving Constructive Synthesizers by Tabulation Techniques and Domain Ordering
    F. J. Galan and J. M. Canete
    13:30
    Lunch
      Session on Distribution and Parallelism
    Chair:
    16:00 An Architecture for Multi-Threaded Tabled Engine
    R. Marques, T. Swift and J. Cunha
    16:30 A Distributed Tabling System
    C. Damasio
    17:00 YapTab: A Tabling Engine Designed to Support Parallelism
    R. Rocha, F. Silva and V. Santos

    Wednesday, 20 September 2000

    9:30 Registration
    10:00 Invited Talk
    Bharat Jayaraman
    Chair:
      Session on Parsing (I)
    Chair:
    11:00 Comparing Tabular Parsers for Tree Adjoining Grammars
    V. J. Diaz and M. A. Alonso
    11:30 A formal definition of Bottom-Up Embedded Push-Down Automata and Their Tabulation Technique
    M. A. Alonso, E. de la Clergerie and M. Vilares
    12:00 Coffee-break
      Session on Parsing (II)
    Chair:
    12:30 Syntactic Dependency Graph: A Compact representation of Alternative Dependency Structures
    T. Obrebski
    13:00 A Proposal on Error Repair
    M. Vilares, V. M. Darriba and F. J. Ribadas
    13:30
    Lunch
    16:00
    Excursion
    22:00
    Conference dinner

    Thursday, 21 September 2000

    10:30 Registration
      Session on Tabling Implementations
    Chair:
    11:00 A New Tabling Scheme with Dynamic Ordering of Alternatives
    Hai-Feng Guo and Gopal Gupta
    11:30 Interfacing a Tabled-WAM to a Dual-Mode Tabling Subsystem
    E. Johnson
    12:00 Coffee-break
      Session on Shared Forests
    Chair:
    12:30 Shared Forest can Guide Parsing
    F. Barthelemy, P. Boullier, P. Deschamp and E. de la Clergerie
    13:00 Pattern Matching as Dynamic Facility to get Aboutness
    M. Vilares, F. J. Ribadas and V. M. Darriba
    13:30 Closing

    [Server root] [Cole Home] Report Bug
    Original URL of this page: http://coleweb.dc.fi.udc.es/tapd2000/program.html
    Last modified: Tuesday, October 03, 2000

    Return to main page