CS708 SEMINAR IN COMPUTER SCIENCE
SPRING 2009
Professor: James F. Lynch
Office: SC-381
Telephone: 268-2374
email: jlynch@clarkson.edu
Office hours: TuTh 10:00AM–11:00AM, 12:15PM–1:00PM,
2:15PM–3:00PM
Seminar hours: MWF 11:00AM–12:00PM, SC-342
COURSE ORGANIZATION
All students are required to:
- Give a
lecture of 25 or 50 minutes based on some research topic that they have
prepared with the approval and guidance of a faculty advisor. They must inform me of their
advisor and provide me with an abstract before I will schedule their
talk. Talks will be scheduled
on a first-come-first serve basis, with two 25 minute talks or one 50
minute talk per class period.
- Attend
all seminar talks. I will ask
all students in the audience to write anonymous critiques of the
speaker. I will give
typewritten transcriptions of the critiques to the speaker to preserve
total anonymity. The originals
will be destroyed, will not be seen by anyone else, and will not affect
the speaker’s grade for the course.
- Attend
all colloquium talks that are relevant to computer science. Students will be notified by email
when there is a colloquium that they are required to attend.
SCHEDULE OF TALKS
Friday, April 10:
Jim Owens, Automated Security Protocol
Analysis with AVISPA
Monday, April 13:
Zhiqiang Liu, Unsound Theorem Proving
Monday, April 20: Eric
McGregor, PI-Res and Spectrum: A First Order Logic Inference System and Implementation
Wednesday, April 22: Mike
Opperman
Wednesday, April 22: Wen-Ruei Wu
Friday, April 24: Wenjin Hu
Friday, April 24: Pat Wilbur