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, 24th of October 2019, 12:00 – 1:00n/a
- Thursday, 31st of October 2019, 12:00 – 1:00Artificial intelligence for theorem proving in Isabelle/HOL
- Thursday, 7th of November 2019, 12:00 – 1:00n/a
- Thursday, 14th of November 2019, 12:00 – 1:00n/a
- Thursday, 21st of November 2019, 12:00 – 1:00n/a
- Thursday, 28th of November 2019, 12:00 – 1:00n/a
- Thursday, 5th of December 2019, 12:00 – 1:00n/a
- Thursday, 12th of December 2019, 12:00 – 1:00n/a
- Thursday, 9th of January 2020, 12:00 – 1:00n/a
- Thursday, 16th of January 2020, 12:00 – 1:00n/a
- Thursday, 23rd of January 2020, 12:00 – 1:00n/a
- Thursday, 30th of January 2020, 12:00 – 1:00n/a
Previous Events!
- Thursday, 3rd of October 2019, 12:00 – 1:00Celerity: High-level C++ for accelerator clusters
- Thursday, 10th of October 2019, 12:00 – 1:00Self-organization of behavior in autonomous robot development
- Thursday, 17th of October 2019, 12:00 – 1:00Robot motion planning with stable dynamical systems: Incremental learning and human-aware execution