The DoCS Seminar
The DoCS seminars take place roughly once a month. Our seminars can feature both internal and external speakers and cover all research areas of the Division of Computer Systems.
The goal of the seminar is to bring together all researchers and teachers in DoCS on a regular basis, foster exchange of ideas and increased collaboration.
If you are interested in presenting in the seminar series, or have a visitor who could present, please contact Philipp Rümmer.
Course credits: PhD students have the possibility to earn course credits by regularly attending the DoCS seminars: 10 seminars correspond to 3 credits. For this purpose we keep track of which PhD students are attending the seminars; however, note that the decision and responsibility to award credits lies with the PhD advisor.
Upcoming Seminars (2018)
|Friday April 27||14:15 - 15:00||1245||Dilian Gurov||Deductive Verification of Automotive Embedded C-code|
|Friday Jun 1||14:15 - 15:00||1245||Philipp Ruemmer||SMT solving for strings and security: an overview|
Previous Seminars (2018)
|Friday Jan 26||14:15 - 15:00||ITC 1111||Stefanos Kaxiras||Speculative Side Channel Attacks: Meltdown and Spectre (Videos)|
Previous Seminars (2017)
Previous Seminars (2016)
|Friday Dec. 9||14:15 - 15:00||ITC 1211||David Black-Schaffer||Making Memory Systems Efficient|
|Friday Nov. 11||14:15 - 15:15||ITC 1111||Morteza Mohaqeqi||Finding Optimal Harmonic Periods: Recent Results and Open Problems|
|Friday Oct. 7||14:15 - 15:15||ITC 1211||Arnold Neville Pears||The Rise and Fall of MOOC: What Can we Learn About the Education of the Future?|