The DoCS/CSD Seminar
The DoCS/CSD seminars take place roughly once a month. Our seminars can feature both internal and external speakers and cover all research areas Computer Systems and Science.
The goal of the seminar is to bring together all researchers and teachers in DoCS/CSD on a regular basis, foster exchange of ideas and increased collaboration.
Course credits: PhD students have the possibility to earn course credits by regularly attending the DoCS/CSD 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)
|Thursday Sep 20||10:15 - 11:00||ITC 1111||Andrey Mokhov||Distributed Drug Discovery|
|Friday Oct 12||14:15 - 15:00||tba||Philipp Ruemmer||SMT solving for strings and security: an overview|
|Friday Oct 19||14:15 - 15:00||tba||Martin Monperrus||tba|
|Friday Oct 26||14:15 - 15:30||tba||Joachim Parrow||tba|
|Oct, tba||tba||tba||Pavel Krcal||Algorithmic Challenges in Safety Assessment of Technical Utilities|
Previous Seminars (2018)
|Friday Sept 7||14:15 - 15:00||ITC 1245||Marjan Sirjani||Building Dependable Cyberphysical Systems|
|Wednesday May 30||15:15 - 16:00||ITC 1212||Roberto Castañeda Lozano||Combinatorial Register Allocation and Instruction Scheduling|
|Friday April 27||14:15 - 15:00||ITC 1245||Dilian Gurov||Deductive Verification of Automotive Embedded C-code|
|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?|