Announcements

June 11, 2008: Okay, that's it, everyone. Here are two reminders:

1. Project reports are due on June 11, 2008. Please email your reports to me as PDF documents. See the project homepage for some guidelines.
2. Please also email me your presentation slides.

June 8, 2008: Please also send me your presentation slides after your talks tomorrow.

June 6, 2008: Project presentations and reports, and oral exams:

• Project presentation schedule (in 1065 Kemper). For some advice on preparing oral presentations, please follow this link.
• Oral exam schedule (in 3011 Kemper)
• Project reports are due on June 11, 2008. Please email me your reports as PDF documents. See the project homepage for some guidelines.

May 26, 2008: OH this week moved to Thursday at 11-12am because of a qualifying exam.

May 8, 2008: Homework 3 has been assigned. Due: Thursday, May 22, 2008.

April 29, 2008: New due date for homework 2: May 10, 2008.

April 29, 2008: Homework 1 grading assignments are out. Due: May 6, 2008.

April 28, 2008: I give everyone some extra time for the project proposals. New due date: May 1, 2008.

April 26, 2008: Homework 2 has been assigned. Due: Tuesday, May 6, 2008.

April 12, 2008: See here for information on class projects. Proposals due: April 28 29, 2008.

April 11, 2008: I suggest that you typeset your solutions to the homeworks. For typesetting semantic rules in latex, please check out the following links:

• Didier Rémy's mathpartir package
• Others collected by Mitchell Wand

April 9, 2008: Homework 1 has been assigned. Due: April 22, 2008.

March 31, 2008: Welcome to ECS 240!