His talk, entitled “Automated Amortised Analysis of Skew Heaps and Leftist Heaps”, will present recent work on fully automated amortised analysis of purely functional data structures and type-based techniques for inferring precise and optimal cost bounds.
The seminar will take place at 16:10 (UTC+2) in IF G.03 and is held in person.
The LFCS Seminar is a series of research seminars featuring visiting speakers and covering a broad range of topics in theoretical computer science. The talks are aimed at the entire LFCS community and are open to all, providing a forum for researchers and students to exchange ideas across different areas of theoretical computer science.