[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
2nd AND FINAL CALL FOR PARTICIPATION Workshop on EFFICIENT AND NATURAL PROOF SYSTEMS University of Bath 14-16 December, 2015 The Mathematical Foundations group at the Department of Computer Science, University of Bath, will host a 2.5-day workshop on structural proof theory, starting in the afternoon of 14 December. The workshop will focus on the various aspects of structural proof theory, including but not limited to the following topics: - deep inference proof theory - algebraic, combinatorial and geometric representations of proofs - proof compression - normalisation of proofs - proof checking - proof search - complexity of proofs - computational interpretations of proofs PROGRAMME Both the programme and the current list of participants can be found here: <http://www.cs.bath.ac.uk/ag/ENPS/wenps2015.html> PARTICIPATION There is no fee or formal registration for the workshop and anyone is welcome to attend. However, at this stage, we ask that anyone who intends to attend (and hasn't contacted us already) informs us as soon as possible (deadline was 20 November), so that we may accordingly plan the local organisation. Enquiries can be sent to <wenps2...@easychair.org> or to the Bath's organisers. COURSE ON DEEP INFERENCE *Change of time*: 14 December 11:00 to 13:00. (Due to the high quality and number of contributions received by the committee, we have decided to replace the previously advertised course on deep inference by an abridged version preceding the workshop.) Deep inference is a modern proof theory offering a better understanding of proofs and extending the range of applications of traditional Gentzen proof theory. This course will offer a brief introduction to deep inference. CHILDCARE The Department of Computer Science and the University of Bath are committed to a supportive and inclusive working environment. Childcare will be provided to workshop participants and their children if required. If you need this service, please contact us as soon as possible at <wenps2...@easychair.org>. ORGANISING AND PROGRAMME COMMITTEE Paola Bruscoli (Bath) Anupam Das (ENS Lyon) Willem Heijltjes (Bath) Lutz Strassburger (Inria) FUNDING EPSRC Project EP/K018868/1 "Efficient and Natural Proof Systems" <http://www.cs.bath.ac.uk/ag/ENPS/>.