∀X.Xπ 2014 – All about Proofs, Proofs for All
July 18, 2014 · Vienna, Austria
Aims and Scope
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 and of interest to experienced researchers from other communities as well.
Paper Submissions
There is no paper submission. All tutorials will be given by invited speakers.
Program Committee
- David Delahaye (Cedric/Cnam/Inria, Paris) - chair
- Bruno Woltzenlogel Paleo (Vienna University of Technology) - chair