Program/Time Schedule (Final Version)

Wednesday 6 December 1995

13:00
registration
14:10
opening: Giuseppe Scollo
14:15
Teodor Rus (Iowa City, IA, USA)
Algebraic Processing of Programming Languages
15:00
Eelco Visser (Amsterdam, NL)
Polymorphic Syntax Definition
15:45
break
16:15
J.C. Ramalho, J.J. Almeida & P.R. Henriques (Portugal)
Algebraic Specification of Documents
17:00
break
17:15
Teodor Rus (Iowa City, IA, USA) & James S. Jones
Multi-layered Pipeline Parsing
18:00
reception


Thursday 7 December

09:00
Klaas Sikkel (Sankt Augustin, D)
Parsing Schemata and Correctness of Parsing Algorithms
09:45
Francois Barthélemy (Paris, F)
Systematic Tabular Simulation of Stack-Based Parsers
10:15
Frederic Tendeau (INRIA, Rocquencourt, F)
Parsing algebraic power series using dynamic programming
10:45
break
11:15
Michael Moortgat (Utrecht, NL)
Categorial Grammar: A State of the Art Survey
12:00
Robert Berwick (MIT, USA)
Computational Minimalism: The Convergence of the Minimalist Syntactic Program and Categorial Grammar

12:45
lunch

15:00
Grzegorz Rozenberg (Leiden, NL)
Theory of Texts
15:45
break
16:15
Jan Rekers (Leiden, NL) & A. Schuerr (Aachen, D)
A Graph Grammar Approach to Graphical Parsing

17:00
meeting adjourned


Friday 8 December

09:00
Vincenzo Manca (Pisa, I)
A Logical Formalism for Intergrammatical Representations
09:45
Vladimir A. Fomichov (Moscow, Russia)
A Variant of a Universal Metagrammar of Conceptual Structures. Algebraic Systems of Conceptual Syntax
10:30
break
11:00
Theo M.V. Janssen (Amsterdam, NL)
The Method of Rosetta, Natural Language Translation Using Algebras
11:45
C.M. Vide, J. Miquel-Verges & Gh. Paun (Tarragona, E)
Contextual Grammars with Depth-First Derivation

12:30
lunch

14:15
Pál Dömösi (Kossuth University, Debrecen, Hungary) & Jürgen Duske (University of Hannover, Germany)
Subword Membership Problem for Linear Indexed Languages
15:00
closing


The following papers could not be presented, but are included in the Proceedings:
--
Annius V. Groenink (Amsterdam, NL)
A Simple Uniform Semantics for Concatenation-Based Grammar
--
S`andor Horvath (Budapest, H)
Strong Interchangeability and Nonlinearity of Primitive Words
--
Wojciech Buszkowski (Poznan, P)
Algebraic Methods in Categorial Grammar
--
C. Rico Perez & J.S. Granda (Madrid, E)
Algebraic Methods for Anaphora Resolution




Last update: January 9, 1996, by Giuseppe Scollo (scollo@cs.utwente.nl)