FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

A General Equational Framework for Static Profiling of Parametric Resource Usage

Pedro López-García, Maximiliano Klemen, Umer Liqat and Manuel V. Hermenegildo

Static Prediction of Heap Space Usage for First-Order Functional Programs -- A Retrospective on my First Paper with Martin Hofmann

Steffen Jost

Feasibly constructive proofs of succinct weak circuit lower bounds

Moritz Müller and Ján Pich

Traversal-invariant definability and Logarithmic-space computation

Steven Lindell and Scott Weinstein

My Journey through Observational Equivalence Research with Martin Hofmann

Vivek Nigam

Superfluity in the Second Level of the Polynomial Time Hierarchy

Edwin Pin
Total: 6 presentations.