Ecole d'ete (esslli97@ura1507.univ-paris13.fr)
Fri, 4 Jul 1997 09:02:11 +0100 (WET DST)
---> We apologize if you receive multiple copies of this announcement <--- Please Post FORMAL GRAMMAR Linguistic Aspects of Logical and Computational Perspectives on Language August 9-10, 1997 Aix-en-Provence, France PROGRAM/CALL FOR PARTICIPATION In August 1997, the Ninth European Summer School in Logic, Language and Information (ESSLLI'97) will be held in Aix-en-Provence, France, from August 11 until 22. The ESSLLI Summer Schools have become a forum for work on formal grammar, encompassing the overlapping interests of work in formal linguistics, computational linguistics, and the role of logic and grammar formalisms. As at ESSLLI'96 last year in Prague, a conference on Formal Grammar will be held the weekend before the summer school. The conference will consist of presentations, as well as invited lectures by: ** Richard Oehrle (U. of Arizona, Tucson), Binding as Deduction ** Shalom Lappin and Howard Gregory (SOAS, U. of London), A Computational Model of Ellipsis Resolution ** Nicholas Asher (U. of Texas, Austin), Formal Pragmatics and Computational Issues Involving Ambiguity Themes of interest include formal and computational syntax, semantics, and pragmatics; model-theoretic and proof-theoretic methods in linguistics; and foundational, methodological and architectural issues in grammar. The Programme Committee of FORMAL GRAMMAR is: Bob Carpenter (CMU) Shalom Lappin (London) John Coleman (Oxford) Glyn Morrill (Barcelona) Mary Dalrymple (Xerox Parc) Anton Nijholt (Twente) Jack Hoekseman (Groningen) Gertjan van Noord (Groningen) Bob Kasper (Ohio State) Richard Oehrle (Arizona) Andreas Kathol (UC Berkeley) Carl Pollard (Ohio State) Manfred Krifka (Austin) Susan Steele (Arizona) Geert-Jan Kruijff (Prague) Below, a detailed program of the conference is provided. Registration for the conference should be done via the ESSLLI'97 secretariat. The conference fee amounts 250FF, which includes a copy of the proceedings, a copy of the ESSLLI CD ROM, a buffet on Saturday evening, and lunch on Sunday. Accommodation is not included, but can be arranged via ESSLLI'97. Note that ESSLLI'97 participants have free access to the technical program of the conference. For more information on ESSLLI'97, visit their website at http://www.lpl.univ-aix.fr/~esslli97/. or contact the ESSLLI'97 secretariat at esslli97@lpl.univ-aix.fr =========================================================================== PROGRAM FORMAL GRAMMAR 1997 Saturday August 9,1997 13:00 Opening 13:00 - 14:00 Formal Pragmatics and Computational Issues Involving Ambiguity - Nicholas Asher (University of Texas-Austin), invited lecture 14:00 - 14:30 Towards a Theory of Discourse Processing - *Flashback* Sequences Described by D-Tree - Frank Schilder (Universit\"at Hamburg) 14:30 - 15:00 Complement Anaphora and Monotonicity - Rodger Kibble (University of London) 15:00 - 15:30 break 15:30 - 16:00 Efficient Parsing of Fixed-Mode DCGs - M. Vilares Ferro, M.A. Alonso Pardo, D. Cabrero Souto (La Coruna) 16:00 - 16:30 How Linguistic Constraints on Movement Conspire to Yield Languages Analyzable With a Restricted Form of LIGs - Jens Michaelis, Christian Wartena (Universit\"at Potsdam) 16:30 - 16:45 break 16:45 - 17:15 Adjunction as Substitution: An Algebraic Formulation of Regular, Context-Free and Tree Adjoining Languages - Uwe M\"onnich (Universit\"at T\"ubingen) 17:15 - 17:45 A Syntax-Semantics Interface Using Synchronous TDGs - Laura Kallmeyer (Universit\"at T\"ubingen) 19:00 - .... Buffet Sunday August 10, 1997 9:30 - 10:30 A Computational Model of Ellipsis Resolution Shalom Lappin/Howard Gregory (University of London),invited talk 10:30 - 10:45 break 10:45 - 11:15 Using Lexical Principles in HPSG to Generalize over Valence Properties - Detmar Meurers (Universit\"at T\"ubingen) 11:15 - 11:45 Parsing as Tree Construction in a Labelled Deductive System (LDS-NL) - Wilfried Meyer Viol, Ruth Kempson (University of London) 11:45 - 12:15 Generalisation and Coordination in Categorial Grammar - Dirk Heylen 12:15 - 14:00 lunch 14:00 - 15:00 Binding as Deduction - Richard Oehrle (University of Arizona-Tucson), invited lecture 15:00 - 15:30 A Type-Logical Perspective on Minimalist Derivations - Tom Cornell (Universit\"at T\"ubingen) 15:00 - 15:30 break 15:30 - 16:00 A Type Reduction from Proof-Conditional to Dynamic Semantics - Tim Fernando (Universit\"at Stuttgart) 16:00 - 16:30 Unbounded Dependencies in Noncommutative Linear Logic - Claudia Casadio (Universit\'a di Chieti) 16:30 - 17:00 The Logic of Tune - Herman Hendriks (Rijksuniversiteit Utrecht) 17:00 Closing =========================================================================== \documentclass[fullpage]{article} \usepackage{tabularx} \setlength{\textwidth}{16true cm} \setlength{\topmargin}{1cm} \pagestyle{empty} \begin{document} \begin{center} {\em Please Post}\\[.5cm] {\huge {\bf FORMAL GRAMMAR}}\\[.2cm] {\large {\bf Linguistic Aspects of Logical and \\ Computational Perspectives on Language}}\\[.6cm] {August 9--10, 1997}\qquad Aix-en-Provence, France\\[2ex] \Large{\bf PROGRAM/CALL FOR PARTICIPATION} \end{center} \medskip \begin{center} \begin{tabular}{@{}p{.31\textwidth}|p{.66\textwidth}@{}} %\small\ixpt\setlength{\baselineskip}{9pt} \footnotesize \begin{flushleft} {\bf Programme Committee} \end{flushleft} \begin{tabular}{l@{}} Bob Carpenter (CMU)\\ John Coleman (Oxford)\\ Mary Dalrymple (Xerox PARC)\\ Jack Hoeksema (Groningen)\\ Bob Kasper (Ohio State)\\ Andreas Kathol (UC Berkeley)\\ Manfred Krifka (Austin)\\ Geert-Jan Kruijff (Prague)\\ Shalom Lappin (London)\\ Glyn Morrill (Barcelona)\\ Anton Nijholt (Twente)\\ Gertjan van Noord (Groningen)\\ Dick Oehrle (Arizona)\\ Carl Pollard (Ohio State)\\ Susan Steele (Arizona)\\ \end{tabular} \medskip {\bf Important Dates} \smallskip \begin{tabular}{l@{}} {\bf Deadline: May 7, 1997}\\ Notification: June 6, 1997\\ Final versions: June 30, 1997\\ Conference: August 9-10, 1997\\ \end{tabular} \medskip {\bf Addresses:\quad} \smallskip \begin{tabular}{l@{}} ESSLLI'97: \\ $\ldots$ \texttt{www.lpl.univ-aix.fr/~esslli97}\\ $\ldots$ \texttt{esslli97@lpl.univ-aix.fr}\\ Formal Grammar: \\ $\ldots$ \texttt{fg@ufal.mff.cuni.cz}\\ \end{tabular} & \setlength{\parskip}{2pt} \Huge{I}\normalsize{}n August 1997, the Ninth European Summer School in Logic, Language and Information (ESSLLI'97) will be held in Aix-en-Provence, France, from August 11 until 22. The ESSLLI Summer Schools have become a forum for work on formal grammar, encompassing the overlapping interests of work in formal linguistics, computational linguistics, and the role of logic and grammar formalisms. As at ESSLLI'96 last year in Prague, a conference on Formal Grammar will be held the weekend before the summer school. The conference will consist of presentations, as well as invited lectures by: \begin{itemize} \setlength{\itemsep}{0pt}\setlength{\parskip}{0pt} \item Nicholas Asher (University of Texas, Austin), Formal Pragmatics and Computational Issues Involving Ambiguity \item Shalom Lappin and Howard Gregory (University of London), A Computational Model of Ellipsis Resolution \item Richard Oehrle (University of Arizona, Tucson), Binding as Deduction \end{itemize} Themes of interest include formal and computational syntax, semantics, and pragmatics; model-theoretic and proof-theoretic methods in linguistics; and foundational, methodological and architectural issues in grammar. On the next page, a detailed program of the conference is provided. Registration for the conference should be done via the ESSLLI'97 secretariat. The conference fee amounts 250FF, which includes a copy of the proceedings, a copy of the ESSLLI CD ROM, a buffet on Saturday evening, and lunch on Sunday. Accommodation is not included, but can be arranged via ESSLLI'97. Note that ESSLLI'97 participants have free access to the technical program of the conference. For more information on ESSLLI'97, visit their website at \texttt{http://www.lpl.univ-aix.fr/\~ esslli97/}. \end{tabular} \end{center} \newpage \begin{center} \large{\textbf{Program FORMAL GRAMMAR '97}} \end{center} \begin{center} \textbf{Saturday August 9,1997}\\[.5em] \end{center} \small{ \begin{tabularx}{\linewidth}{lX} 13:00 & Opening \\ 13:00 - 14:00 & \emph{Formal Pragmatics and Computational Issues Involving Ambiguity}\\ & Nicholas Asher (University of Texas-Austin), invited lecture\\[.1em] 14:00 - 14:30 & \emph{Towards a Theory of Discourse Processing - *Flashback* Sequences}\\ & \emph{Described by D-Tree}\\ & Frank Schilder (Universit\"at Hamburg)\\[.1em] 14:30 - 15:00 & \emph{Complement Anaphora and Monotonicity}\\ & Rodger Kibble (University of London)\\[.1em] 15:00 - 15:30 & \textbf{break}\\[.1em] 15:30 - 16:00 & \emph{Efficient Parsing of Fixed-Mode DCGs}\\ & M. Vilares Ferro, M.A. Alonso Pardo, D. Cabrero Souto (La Coruna)\\[.1em] 16:00 - 16:30 & \emph{How Linguistic Constraints on Movement Conspire to Yield}\\ & \emph{Languages Analyzable With a Restricted Form of LIGs}\\ & Jens Michaelis, Christian Wartena (Universit\"at Potsdam)\\[.1em] 16:30 - 16:45 & \textbf{break}\\[.1em] 16:45 - 17:15 & \emph{Adjunction as Substitution: An Algebraic Formulation of Regular,}\\ & \emph{Context-Free and Tree Adjoining Languages}\\ & Uwe M\"onnich (Universit\"at T\"ubingen)\\[.1em] 17:15 - 17:45 & \emph{A Syntax-Semantics Interface Using Synchronous TDGs}\\ & Laura Kallmeyer (Universit\"at T\"ubingen)\\[.1em] 19:00 - \ldots & \textbf{Buffet} \end{tabularx} }\normalsize \begin{center} \textbf{Sunday August 10, 1997} \end{center} \small{ \begin{tabularx}{\linewidth}{lX} 9:30 - 10:30 & \emph{A Computational Model of Ellipsis Resolution}\\ & Shalom Lappin and Howard Gregory (University of London), invited talk\\[.1em]10:30 - 10:45 & \textbf{break}\\[.1em] 10:45 - 11:15 & \emph{Using Lexical Principles in HPSG to Generalize over Valence Properties}\\ & Detmar Meurers (Universit\"at T\"ubingen) \\[.1em] 11:15 - 11:45 & \emph{Parsing as Tree Construction in a Labelled Deductive System (LDS-NL)}\\ & Wilfried Meyer Viol, Ruth Kempson (University of London)\\[.1em] 11:45 - 12:15 & \emph{Generalisation and Coordination in Categorial Grammar}\\ & Dirk Heylen\\[.1em] 12:15 - 14:00 & \textbf{lunch}\\ 14:00 - 15:00 & \emph{Binding as Deduction}\\ & Richard Oehrle (University of Arizona-Tucson), invited lecture\\[.1em] 15:00 - 15:30 & \emph{A Type-Logical Perspective on Minimalist Derivations}\\ & Tom Cornell (Universit\"at T\"ubingen) \\[.1em] 15:00 - 15:30 & \textbf{break}\\ 15:30 - 16:00 & \emph{A Type Reduction from Proof-Conditional to Dynamic Semantics}\\ & Tim Fernando (Universit\"at Stuttgart)\\[.1em] 16:00 - 16:30 & \emph{Unbounded Dependencies in Noncommutative Linear Logic}\\ & Claudia Casadio (Universit\'a di Chieti)\\[.1em] 16:30 - 17:00 & \emph{The Logic of Tune}\\ & Herman Hendriks (Rijksuniversiteit Utrecht)\\[.1em] 17:00 & Closing \end{tabularx}} \end{document}
This archive was generated by hypermail 2.0b3 on Fri Dec 18 1998 - 20:36:08 PST