\documentstyle[12pt]{article}
%\documentclass[times-roman12]{article}
\begin{document}
\begin{center}
{\bf Course Syllabus}\\[8pt]
{\Large \bf 11-722: Grammar Formalisms}\\
{\Large \bf Spring Term 2004}\\
{\Large \bf Language Technologies Institute}\\
{\Large \bf Carnegie Mellon University}\\[18pt]
\end{center}

\noindent
{\bf Time:} T-Th 3:00-4:30 \\
{\bf Place:} OSC 202
\vspace{10pt}
\noindent

\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]

Alon Lavie & Associate Research Professor\\
& Language Technologies Institute\\
& Newell-Simon Hall \\
& 412-268-5655\\
& {\tt alavie@cs.cmu.edu}\\[10pt]

Alan Black & Associate Research Professor\\
& Language Technologies Institute\\
& 4525 Newell-Simon Hall \\
& 412-268-6299\\
& {\tt awb@cs.cmu.edu}\\[10pt]

Carolyn Ros\'{e} & Research Computer Scientist\\
& Language Technologies Institute\\
& 4531 Newell-Simon Hall \\
& 412-268-7130\\
& {\tt cprose@cs.cmu.edu}\\
\end{tabular}

\newpage
\noindent
{\bf Prerequisites:}\\[10pt]
Permission of instructors, or background in linguistics, computational
linguistics, language technologies, or psycholinguistics.\\
\vspace{10pt}

\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 and natural
language processing algorithms.

\noindent
The formalisms will include: Head Driven Phrase Structure Grammar,
Lexical Functional Grammar, Tree Adjoining Grammar, and Categorial
Grammar.  If time permits, we will cover Penn Treebank, dependency
grammar, and Construction Grammar.

\noindent
We will cover the treatment of basic syntactic and semantic phenomena
in each formalism, and will also discuss algorithms for parsing and
generating sentences for each formalism.  If time permits, we may
discuss formal language theory and generative capacity.

\vspace{1cm}
\noindent
{\bf Requirements:}  Four problem sets (30\%), a term project (60\%),
and class attendance and participation (10\%).

\newpage

\noindent
{\bf Texts:}

\begin{itemize}
\item Lexical Functional Syntax, Joan Bresnan, Blackwell, 2000.

\item Lexical-Functional Grammar (Syntax and Semantics, Volume 34)
by Mary Dalrymple, Academic Press.

\item Syntactic Theory: A Formal Introduction by Ivan A. Sag and Thomas
Wasow (Author), CSLI, 1999.

\item Other texts will be added.
\end{itemize}

\vspace{1cm}

\noindent
{\bf Schedule and Reading Assignments:}\\[10pt]
\noindent
{\bf Part One: Introduction}\\[10pt]

\begin{tabular}{lll}
Jan. 13 & Review syllabus and schedule & Black, Lavie, Levin, Ros\'{e}\\
Jan. 15 & History of grammar formalisms & Levin\\
Jan. 20 & Syntax checklist & Levin\\
Jan. 22 & Lambda calculus and first order logic & Black\\
Jan. 27 & Semantics checklist & Black\\
Jan. 29 & Parsing & Lavie\\
\end{tabular}

\newpage

\noindent 
{\bf Part Two: The Formalisms}\\[10pt]

\begin{tabular}{lll}
Feb. 3 & Tree Adjoining Grammar & Lavie\\
Feb. 5 & Tree Adjoining Grammar & Lavie\\
Feb. 10 & Tree Adjoining Grammar & Lavie\\
Feb. 12 & Tree Adjoining Grammar & Lavie\\
Feb. 17 & Categorial Grammar & Black \\
Feb. 19 & Categorial Grammar & Black \\
Feb. 24 & Categorial Grammar & Black \\
Feb. 26 & Categorial Grammar & Black \\
Mar. 2 & Lexical Functional Grammar & Levin\\
       & Architecture of the theory & \\
       & Formalism for co-description & \\
Mar. 4 & Lexical Functional Grammar & Levin \\
       & Parsing & \\
Mar. 9 & Spring Break: No Class & \\
Mar. 11 & Spring Break: No Class & \\
Mar. 16 & Lexical Functional Grammar & Levin \\
        & Syntax checklist & \\
Mar. 18 & Lexical Functional Grammar & Levin \\
        & Syntax checklist & \\
Mar. 23 & Lexical Functional Grammar & Levin \\
        & Glue Semantics & \\
Mar. 25 & Lexical Functional Grammar & Levin \\
        & Principles, universals, and diversity & \\
Mar. 30 & Parsing with Unification Based Grammars & Ros\'{e} \\
Apr. 1 & Parsing with Unification Based Grammars & Ros\'{e} \\
Apr. 6 & Head Driven Phrase Structure Grammar & Levin \\
       & Syntax & \\
Apr. 8 & Head Driven Phrase Structure Grammar & Levin \\
       & Syntax & \\
Apr. 13 & Head Driven Phrase Structure Grammar & To be announced \\
Apr. 15 & Head Driven Phrase Structure Grammar & To be announced \\
\end{tabular}

\newpage

\noindent
{\bf Part Three: Student Presentations}\\[10pt]

\begin{tabular}{ll} 
Apr. 20 & Student Presentations \\
Apr. 22 & Student Presentations \\
Apr. 27 & Student Presentations \\
Apr. 29 & Student Presentations \\
\end{tabular}


\end{document}






