Thursday Afternoon Program Verification Seminars (TAPVES)
Scope
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.
How it works
To sign up for making a presentation on a Thursday Afternoon, edit this wiki page
and add your name, or send an email to one or all of Frédéric Haziza or Jonathan Mörndal.
More information for presenters and for organizers.
Schedule
| Date | Time | Room | Speaker | Title (link to abstract, co-authors, slides, etc) |
|---|---|---|---|---|
| 2008-10-02 | 13:00 | 1213 | Jakob Engblom, VirtuTech AB |
Multicore software development and tools -- industry experience |
If you want to present, please sign up by editing this page.