PSC 2014 ABSTRACTS: EDITOR'S PREFACE

This volume contains the papers presented at PSC 2014: Proof, Structure and Computation held on 17-18 July 2014 in Vienna.

There were 12 submissions. The programme committee decided to accept 10 papers. The program also includes 2 invited talks.