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.

Upcoming Seminars (2020)

Date Time Place Speaker Title
Friday Jan 17 14:15 - 15:00 ITC 1211 Martin Stigge tba

Previous Seminars (2019)

Date Time Place Speaker Title
Friday Nov 29 14:15 - 15:00 ITC 1211 Magnus Norgren Impact from research using intellectual property rights
Friday Nov 22 14:15 - 15:00 ITC 1311 Luca Mottola Mobile Drone Computing
Friday Oct 18 14:15 - 15:00 ITC 1311 Luca Mottola The What and What Not of Intermittent Computing
Friday Oct 11 14:15 - 15:00 ITC 1311 Sam Hylamia Two-tier Authentication and Key Distribution for Wearable Devices
Friday Sep 27 14:15 - 15:00 ITC 1211 Vera van Zoest Using urban sensor network data for spatio-temporal modelling of air quality risks
Friday Sep 20 14:15 - 15:00 ITC 2446 Parosh Abdulla On Program Verification under the Release-Acquire Semantics
Monday Sep 9 13:15 - 14:00 ITC 4308 Dines Bjørner Domain Analysis & Description: A Philosophy Basis?
Wednesday Jun 12 15:15 - 16:00 ITC 1211 Joost-Pieter Katoen On Probabilistic Termination
Friday Apr 12 14:15 - 15:00 ITC 1245 Alberto Ros Non-Speculative and Invisible Reordering of Memory Operations
Friday Mar 1 14:15 - 15:00 ITC 1111 Andreas Johnsson Intelligent performance management in the world of 5G
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-12-05 13:09:09 by Philipp Rümmer.