This page shows all presentations from this conference published in EasyChair Smart Slide.
An introduction to deep inference
Willem Heijltjes