Lunchtime Seminar
The Lunchtime Seminar series is intended as a forum for internal presentations of recently completed and ongoing research. It takes place between 12 and 1 PM during term. A light buffet lunch is offered to all attendants who arrive in time. Talks start at 12:15 and last 30 minutes, leaving 15 minutes for Q&A.
Upcoming Events!
- Thursday, 2nd of May 2019, 12:00 – 1:00Verification of the LLL basis reduction algorithm
- Thursday, 9th of May 2019, 12:00 – 1:00Action representations in robotics: A taxonomy and systematic classification
- Thursday, 16th of May 2019, 12:00 – 1:00n.n.
- Thursday, 23rd of May 2019, 12:00 – 1:00Compiler generated progress estimation for parallel programs
- Thursday, 6th of June 2019, 12:00 – 1:00n.n.
- Thursday, 13th of June 2019, 12:00 – 1:00n.n.
- Thursday, 27th of June 2019, 12:00 – 1:00n.n.
Previous Events!
- Thursday, 7th of March 2019, 12:00 – 1:00Rewrite-Based Analysis of Expression Simplifications, or: Why Your LLVM Compiler May Not Terminate
- Thursday, 14th of March 2019, 12:00 – 1:00Budget-Constrained Workflow Scheduling in IaaS Cloud
- Thursday, 21st of March 2019, 12:00 – 1:00Detecting token systems on Ethereum
- Thursday, 4th of April 2019, 12:00 – 1:00IT governance, risk & compliance – Theory and practice
- Thursday, 11th of April 2019, 12:00 – 1:00Enhancing visual rendering for interactive AR
- Archive WiSe 2018/19Archive WiSe 2018/19
- Archive SoSe 2018Archive SoSe 2018
- Archive WiSe 2017/18Archive WiSe 2017/18
- Archive SoSe 2017Archive SoSe 2017
- Archive WiSe 2016/17Archive WiSe 2016/17
- Archive SoSe 2016Archive SoSe 2016