Thursday Afternoon

Program Verification Seminars

(TAPVES)

TAPVES is a seminar series held every Thursday Afternoon. The seminars are given by PhD students working with verification or related topics. Presentations may give a broad overview of the students research area, or go into details on some specific topic the student has worked on. The presentations should be accessible to any PhD student in computer science without reading any related research papers. Of course, anyone is welcome to attend, including PhD students, senior researchers, and undergraduate students near finishing.

For more information, google tapves

This week

	Speaker: ***FILL IN*** Title: ***FILL IN***
	Time: Thursday, ***MONTH DAY***, 13:30
	Room: ***FILL IN***
	Abstract: ***FFFFFIIIIILLLLLLLLLL IIIIINNNNN*** ***FFFFFIIIIILLLLLLLLLL IIIIINNNNN*** ***FFFFFIIIIILLLLLLLLLL IIIIINNNNN*** ***FFFFFIIIIILLLLLLLLLL IIIIINNNNN*** ***FFFFFIIIIILLLLLLLLLL IIIIINNNNN***

2006-10-31T13:34:18