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)
|Wednesday Dec 12||9:15 - 10:00||ITC 2446||Pavel Krcal||Algorithmic Challenges in Safety Assessment of Technical Utilities|
Previous Seminars (2018)
|Thursday Nov 22||15:15 - 16:00||ITC 1113||Marc Brockschmidt||Learning from Programs with Graphs|
|Friday Nov 23||14:15 - 15:00||ITC 1113||Murali Annavara||Distributed Machine Learning at the Edge|
|Friday Nov 30||14:15 - 15:00||ITC 1111||Pierre Flener||Solving Combinatorial Problems Without Knowing How to Solve Them|
|Friday Oct 26||14:15 - 15:30||1211||Joachim Parrow||What's in a Name? Nominal Modal Logic for Complete Expressiveness|
|Friday Oct 19||14:15 - 15:00||1146||Martin Monperrus||Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs|
|Friday Oct 12||14:15 - 15:00||1213||Philipp Ruemmer||SMT solving for strings and security: an overview|
|Thursday Sep 20||10:15 - 11:00||ITC 1111||Andrey Mokhov||Distributed Drug Discovery|
|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?|