Atlas home || Conferences | Abstracts | about Atlas

Workshop on Proof Theory and Algorithms

March 24-28, 2003

Edinburgh, Scotland

Mathematics

Host: International Centre for Mathematical Sciences
Sponsor: The Engineering and Physical Sciences Research Council
Homepage: http://www.ma.hw.ac.uk/icms/meetings/2003/proof/
Email: icms@maths.ed.ac.uk

Organizers: Gianluigi Bellin (bellin@dcs.qmul.ac.uk) Martin Hyland (m.hyland@dpmms.cam.ac.uk) Ulrich Kohlenbach (kohlenb@brics.dk) Angus Macintyre (angus@maths.ed.ac.uk)

Description:
The aim of the Workshop is to promote interaction between traditional proof-theory and a more structural mathematical proof theory. The Organisers hope to encourage the application-oriented to consider their tools more abstractedly and those with foundational leaning to focus on possible applications.

The meeting is by invitation only (numbers are strictly limited).

Submitted by: Madeleine Shepherd
Date received: December 16, 2002

© 2008 Atlas Conferences Inc.