LCC PROGRAM
Friday, July 13th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:30-10:30 Session 84B: LCC Invited Talk: Mikolaj Bojanczyk
Chair:
Location: Maths L5
09:30 | On polynomial time for infinite structures (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 86F: LCC: Contributed Talks
Chair:
Location: Maths L5
11:00 | Traversal-invariant definability and Logarithmic-space computation (abstract) |
11:15 | A recursion-theoretic characterisation of the positive polynomial-time functions (abstract) |
11:30 | Feasibly constructive proofs of succinct weak circuit lower bounds (abstract) |
11:45 | Computability over locally finite structures from algebra (abstract) |
12:00 | A General Equational Framework for Static Profiling of Parametric Resource Usage (abstract) |
12:15 | Completeness in the Second Level of the Polynomial Time Hierarchy through Syntactic Properties (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 87F: LCC: Martin Hofmann Memorial Session
Chair:
Location: Maths L5
14:00 | Characterizing Complexity Classes in Presence of Higher-Order Functions — How Martin Hofmann Contributed to Shaping ICC (abstract) |
15:00 | Static Prediction of Heap Space Usage for First-Order Functional Programs -- A Retrospective on my First Paper with Martin Hofmann (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 88D: LCC: Martin Hofmann Memorial Session
Chair:
Location: Maths L5
16:00 | My Journey through Observational Equivalence Research with Martin Hofmann (abstract) |
16:30 | Memories of Martin (abstract) |
19:00-21:30 Workshops dinner at Keble College
Workshops dinner at Keble College. Drinks reception from 7pm, to be seated by 7:30 (pre-booking via FLoC registration system required; guests welcome).
Location: Keble College