The seminar will be roughly half talks by participants and vistors on topics of their choosing, and half on classical and modern proof theory as practiced by Girard.