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 and when the Lunchtime Seminar takes place on-site. Talks start at 12:15 and last 30 minutes, leaving 15 minutes for Q&A.
For online Seminars use this link and sign in with your real name.
Upcoming Events!
- Thursday, 25th of April 2024, 12:00 – 1:00Landscape more secure than portrait? Zooming into the directionality of digital images with security implications
- Thursday, 2nd of May 2024, 12:00 – 1:00n/a
- Thursday, 16th of May 2024, 12:00 – 1:00Expanding symmetric key cryptographic primitives and their application
- Thursday, 23rd of May 2024, 12:00 – 1:00Equational narrowing and multiset narrowing and their formalization in Isabelle/HOL
- Thursday, 6th of June 2024, 12:00 – 1:00Dynamic workflow scheduling in the edge-cloud continuum: Optimizing runtimes under budget constraints
- Thursday, 13th of June 2024, 12:00 – 1:00Digital twin engineering
- Thursday, 20th of June 2024, 12:00 – 1:00n/a
- Thursday, 27th of June 2024, 12:00 – 1:00Hybrid amortized cost analysis
Previous Events!
- Thursday, 5th of October 2023, 12:00 – 1:00Cyclic unification: a step towards cyclic automated reasoning
- Thursday, 12th of October 2023, 12:00 – 1:00Virtual payment channel networks in cryptocurrencies
- Thursday, 19th of October 2023, 12:00 – 1:00Resource-aware time-critical application scheduling in the edge-cloud continuum
- Thursday, 9th of November 2023, 12:00 – 1:00Runtime monitoring and safety assurance for cyber-physical systems
- Thursday, 16th of November 2023, 12:00 – 1:00New approaches in symmetric cryptography for privacy preserving computation
- Thursday, 23rd of November 2023, 12:00 – 1:00Undecidability of polynomial termination
- Thursday, 30th of November 2023, 12:00 – 1:00Machine-translation of Ladin
- Thursday, 7th of December 2023, 12:00 – 1:00Unmasking GNN recommenders: A comparative study of counterfactual and adversarial examples
- Wednesday, 13th of December 2023, 12:00 – 1:00Learning and processing events in context
- Thursday, 11th of January 2024, 12:00 – 1:00Web image formats: Assessment of their real-world usage and performance across popular web browsers
- Thursday, 18th of January 2024, 12:00 – 1:00Automatic hint generation
- Thursday, 25th of January 2024 12:00 – 1:00Ethereum's proposer-builder separation: Promises and Realities
- Thursday, 14th of March 2024, 12:00 – 1:00Deep learning in the legal domain
- Thursday, 11th of April 2024, 12:00 – 1:00Continual learning for robot manipulators
- Thursday, 18th of April 2024, 12:00 – 1:00Retrieval augmented generation and knowledge graphs