CS 786R: Readings in Model Checking

Main | Two papers to read from SPIN 2005 »

August 16, 2005

How class will work

We are going to use a modified lecture style for 786R. The goal is to encourage individual critical thinking about the readings through small group discussions in my office. We will meet once a week for a "normal" lecture. The class will be divided into two groups. Each group will meet with me in my office once a week for an hour and a half. You will bring a response paper with you to the small group meetings. During the group meetings, we will discuss the reading from the previous full-class meeting and your responses to those readings. You will be graded on: your ability to articulate your response and intelligently discuss the reading, the apparent depth of your response and your response paper. I would expect that you will need 3 hours of study to prepare for the full-class paper presentation and another 7-10 hours or more to study the paper and do "enough other stuff" to formulate a well-thought out and justified response and write the response paper. In addition, there will be a semester-long research project in which you identify a project, do it and prepare a final report.

The full-class meeting will be held Friday at 10 am in 341 MCKB. We will schedule the small group discussions based on our mutual convenience. The full-class meetings will consist of paper presentations by myself and class members.

During the first week we will meet Monday, Wednesday and Friday. We will identify papers to read during the semester (in which you suggest the papers), divide into small groups, schedule small group meetings and schedule the papers. The first paper will be presented Friday of the first week and we will start small group meetings the next week.

Posted by jones at August 16, 2005 09:59 PM

Comments

Post a comment