Department of Information Technology

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.

If you are interested in presenting in the seminar series, or have a visitor who could present, please contact Philipp Rümmer or Kostis Sagonas.

Course credits: The possibility exists to count the DoCS/CSD seminars as a PhD course, and PhD students can earn course credits by regularly attending the seminars. The responsibility to award credits lies with the PhD advisor, as does the decision how many credits attending seminars on a regular basis corresponds to. Interested PhD students are invited to discuss this with their PhD advisers.

Previous Seminars (2019)

Date Time Place Speaker Title
Friday Feb 8 14:15 - 15:00 ITC 1311 Peter J. Stuckey Multi-Agent Path Finding

Previous Seminars (2018)

Date Time Place Speaker Title
Wednesday Dec 12 9:15 - 10:00 ITC 2446 Pavel Krcal Algorithmic Challenges in Safety Assessment of Technical Utilities
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)

Date Time Place Speaker Title
Friday Nov 24 14:15 - 15:00 ITC 1245 Bengt Jonsson Model Learning: Generating Automata Models from Tests
Monday Nov 6 14:15 - 15:00 ITC 2345 Dan Wang Interdiscipline Research in Smart Buildings/Smart Cities: A Perspective from Computer Science
Friday Oct 20 13:15 - 14:00 ITC 1211 Adnan Al-Anbuky Software Defined Wireless Sensor Network Systems: Towards CPS Intelligence
Friday Sept 8 14:15 - 15:00 ITC 1111 Wang Yi Customisable Embedded Real-Time Systems
Friday Jun 2 14:15 - 15:00 ITC 1245 Stefanos Kaxiras Non-Speculative Load-Load Reordering in TSO
Friday May 12 14:15 - 15:00 ITC 1146 Mats Daniels Openness in Education
Wednesday May 10 15.30 - 16.30 ITC 1245 Panagiotis Papadimitratos Secure communication in wireless networks: scalable protocols and fundamental limits
Friday Mar. 24 14:15 - 15:00 ITC 1145 Parosh Abdulla Dual Semantics for Total Store Order
Friday Feb. 24 14:15 - 15:00 ITC 1211 Chenyang Lu Towards Real-Time Cloud Computing
Friday Jan. 13 14:15 - 15:00 ITC 1211 Per Gunningberg The Factory-in-the Cloud project: Providing industrial product services in the cloud and fog.
Updated  2019-02-13 15:25:02 by Philipp Rümmer.