\documentclass[12pt]{article}
\usepackage{fullpage}

%\documentstyle[12pt]{article}
%\documentclass[times-roman12]{article}

\begin{document}
\begin{center}
{\large \bf 11-722: Grammar Formalisms}\\
{\large \bf Spring Term 2009}\\
{\large \bf Language Technologies Institute}\\
{\large \bf Carnegie Mellon University}\\[8pt]
{\bf Course Syllabus}\\[18pt]
\end{center}

\vspace{1in}

\begin{tabular}{ll}
{\bf Time and Place:} & \\ 
T-Th, 3:00-4:30 & Wean Hall 5304\\
\end{tabular}

\vspace{.5in}

\begin{tabular}{ll}
{\bf Instructors:}& \\
& \\
Lori Levin & Associate Research Professor\\
& Language Technologies Institute\\
& Newell-Simon Hall 4631\\
& 412-268-6193\\
& {\tt lsl@cs.cmu.edu}\\[10pt]

Alan Black & Associate Professor\\
& Language Technologies Institute\\
& 4525 Newell-Simon Hall \\
& 412-268-6299\\
& {\tt awb@cs.cmu.edu}\\
%% & \\
%% {\bf Teaching Assistant} & \\
%% Rashmi Gangadharaiah & Ph.D. Student\\
%% & Language Technologies Institute\\
%% & {\tt rgangadh@andrew.cmu.edu}\\
\end{tabular}

\vspace{.3in}

\noindent {\bf Prerequisites:} Permission of instructors, or
background in linguistics, computational linguistics, language
technologies, or psycholinguistics.

\vspace{10pt}

\noindent
{\bf Requirements:}  three grammars (LFG, HPSG, and CCG) and a term
project. 

\newpage

\noindent
{\bf Course Description:}\\[10pt] 
The goal of this course is to familiarize students with grammar
formalisms (and the underlying linguistic theories) that are commonly
used for research in computational lingusitics, language technologies,
and lingusitics.  We hope to have students from a variety disciplines
(linguistics, computer science, psychology, modern languages,
philosophy) in order to cover a broad perspective in class
discussions.  Comparison of formalisms and the underlying theories
will lead to a deeper understanding of human language, which can be of
benefit in the design of corpus based methods as well as knowledge
based methods.  \\[8pt]

\noindent
The formalisms will include: Head Driven Phrase Structure Grammar,
Lexical Functional Grammar, Tree Adjoining Grammar, and Categorial
Grammar.  We will also cover Penn Treebank, Prague
Treebank, CCG treebank, and other treebanks as time permits. If time
permits we will also cover grammar induction from treebanks.  \\[8pt]

\noindent 
We will cover the treatment of basic syntactic and semantic
phenomena in each formalism. The phenomena include: transitivity
alternations, clause complementation, long distance dependencies, and
coordinate structures. \\[8pt]

\noindent
We will use both "toy" sentences (artificially constructed to
illustrate the phenomena) and real sentences from treebanks and other
sources.  

\vspace{0.3in}

\noindent
{\bf Texts:}
\begin{itemize}
\item {\it Syntactic Theory: A Formal Introduction\/} by Ivan Sag, Thomas
Wasow, and Emily Bender
\item {\it Implementing Typed Feature Grammars\/}, Ann Copestake, CSLI, 2002.
\item {\it Grammar Writer's Cookbook\/}, Miriam Butt et al., CSLI, 1999
\item {\it Lexical Functional Syntax\/}, Joan Bresnan, Blackwell, 2000.
\item {\it Lexical-Functional Grammar\/}, (Syntax and Semantics, Volume 34)
by Mary Dalrymple, Academic Press.
\item Readings on CCG to be announced.
\end{itemize}

\newpage



\end{document}
