Workshop on Efficient and Natural Proof Systems, Bath, December 15th-16th, 2015.

Dear colleagues,

I am pleased to announce that there will be a proof theory workshop in 
Bath this December (CFP below). Please do let us know as soon as 
possible if you are interested in participating or contributing a talk!

Best regards,
Anupam


=====================================

CALL FOR ABSTRACTS AND PARTICIPATION


Workshop on EFFICIENT AND NATURAL PROOF SYSTEMS
University of Bath
December 15th-16th, 2015
<http://www.cs.bath.ac.uk/ag/ENPS/wenps2015.html>


The Mathematical Foundations group at the Department of Computer 
Science, University of Bath, will host a two-day workshop on structural 
proof theory this December.

We are seeking talks on ongoing or completed work on 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

There will be no fee or formal registration for the workshop and anyone 
is welcome to attend. There is some funding for students and postdocs 
(please ask).

Informal enquiries can be made to <mailto:wenps2015-bC77Qfv0vuxrovVCs/[email protected]>.


CONFIRMED SPEAKERS

Arnold Beckmann (Swansea)
Roy Dyckhoff (St Andrews)
Alessio Guglielmi (Bath)
Dale Miller (Inria)
Michel Parigot (PPS, Paris)

(more TBA)


DEADLINES AND AUTHOR INSTRUCTIONS

We ask potential contributors to submit an extended abstract (at most 
two pages in any style) at the following submission page: 
<https://easychair.org/conferences/?conf=wenps2015>.

Deadline for submission: 4th October 2015
Notification to authors: 25th October 2015

There will be no proceedings.


ORGANISING AND PROGRAMME COMMITTEE

Paola Bruscoli (Bath)
Anupam Das (ENS Lyon)
Etienne Duchesne (Bath)
Willem Heijltjes (Bath)
Lutz Straßburger (Inria)


CHILDCARE

The University of Bath is committed to a supportive and inclusive 
working environment. Childcare will be provided to workshop participants 
or their children if required. If you need this service, please contact 
us at <mailto:wenps2015-bC77Qfv0vuxrovVCs/[email protected]>.


ACCESSIBILITY

If you have requests concerning accessibility or dietary requirements, 
please contact us at <mailto:wenps2015-bC77Qfv0vuxrovVCs/[email protected]> and we will do all 
we can to assist.


FUNDING

EPSRC Project EP/K018868/1 'Efficient and Natural Proof Systems' 
<http://www.cs.bath.ac.uk/ag/ENPS/>.