APPA 2014 - All about Proofs, Proofs for All (APPA 2014)

Many of us, logicians, work towards the improvement of proofs, proof systems, proof formats, interactive proof script languages, proof search methods... But what makes a proof (system|format|search-method|...) better than another? Logicians from different communities will give radically different answers to this question! The principles behind their answers may be unknown to outsiders; they may even sound obscure, ungrounded or in apparent contradiction to the principles of other communities.
The Vienna Summer of Logic presents a unique opportunity to promote a conversation between all the communities on questions related to proofs. ∀X.XΠ will promote a fruitful knowledge exchange by organizing short tutorials given by prominent speakers from various communities. These tutorials shall be accessible to young researchers as well as to experienced researchers from other communities.