Thursday Afternoon Program Verification Seminars (TAPVES)
The TAPVES is a seminar series held every Thursday Afternoon. The seminars are given by people working with verification or related topics. Presentations may give a broad overview of the person's research area, or go into details on some specific topic the student has worked on. The presentations should be accessible to anyone who is at least a 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.
The purpose of the seminar is to meet every Thursday Afternoon and learn what people in related areas are doing. It is necessary for any researcher to make presentations, and this is a great opportunity to train your presentation skills in a context that is more relaxed than a big conference. Your colleagues want to know what you are doing, and you can get PhD course credits ( disclaimer ) for making a presentation.
After the first seminar, there was a discussion on form of TAPVES.