In this course, we plan to discuss papers in Formal Verification, mainly to increase one’s awareness of who else is doing what. This goal can be achieved in one of two ways, both approaches being welcome as a seminar presentation: (i) by discussing one paper in depth and presenting its main ideas lucidly, or (ii) discussing a whole set of papers in a topic area or published in a few key conferences, and trying to present and contrast the ideas in these papers. Whichever approach you choose, you are required to provide a bibliography entry for the paper(s), and present the paper either with the help of slides, or by neatly writing out the ideas in the paper on the whiteboard.
In this seminar we may also choose to discuss issues covered in the CS 6100 course in more depth. Because I believe in learning the fundamentals well, rather than the multiply the number of topics we get into, it is best to tie any loose ends or undiscussed items stemming from CS 6100 in this seminar. Also, since our main focus is our own research success, this seminar will also serve as an occasion to update each other on the progress of our respective research efforts.
Reasonable accommodation will gladly be provided to the known disabilities of students in the class. Please let the instructor know the situation as soon as possible. If you wish to qualify for exemptions under the Americans with Disabilities Act (ADA), you should also notify the Center for Disabled Students Services, 160 Union Building.
This document was translated from LATEX by HEVEA.